Логика как философское учение о мышлении. Возникновение логики как науки

Каждый день мы сталкиваемся с множеством задач, решение которых требует от нас способности к логическому мышлению. Логика как умение думать и рассуждать последовательно и непротиворечиво, требуется нам во многих жизненных ситуациях, начиная с решения сложных технических и бизнес- задач, заканчивая убеждением собеседников и совершением покупок в магазине.

Но несмотря на высокую потребность в этом умении мы часто совершаем логические ошибки, сами того не подозревая. Ведь среди многих людей бытует мнение, что правильно мыслить можно на основе жизненного опыта и так называемого здравого смысла, не пользуясь законами и специальными приемами «формальной логики». Для совершения простых логических операций, высказывания элементарных суждений и несложных выводов может подойти и здравый смысл, а если нужно познать или объяснить что-то более сложное, то здравый смысл нередко приводит нас к заблуждениям.

Причины этих заблуждений кроются в принципах развития и формирования основ логического мышления людей, которые закладываются еще в детстве. Обучение логическому мышлению не ведется целенаправленно, а отождествляется с уроками математики (для детей в школе или для студентов в университете), а также с решением и прохождением разнообразных игр, тестов, задач и головоломок. Но подобные действия способствуют развитию только малой доли процессов логического мышления. Кроме того достаточно примитивно объясняют нам принципы поиска решения заданий. Что касается развития словесно-логического мышления (или вербально-логического), умения правильно совершать мыслительные операции, последовательно приходить к умозаключениям, то этому нас почему-то не учат. Именно поэтому уровень развития логического мышления людей недостаточно высок.

Мы считаем, что логическое мышление человека и его способность к познанию должны развиваться системно и на основании специального терминологического аппарата и логического инструментария. На занятиях данного онлайн-тренинга вы узнаете о методиках самообразования для развития логического мышления, познакомитесь с основными категориями, принципами, особенностями и законами логики, а также найдете примеры и упражнения для применения полученных знаний и навыков.

Что такое логическое мышление?

Чтобы объяснить, что такое «логическое мышление», разделим это понятие на две части: мышление и логику. Теперь дадим определение каждой из этих составляющих.

Мышление человека — это психический процесс обработки информации и установления связей между предметами, их свойствами или явлениями окружающего мира. Мышление позволяет человеку находить связи между феноменами действительности, но чтобы найденные связи, действительно, отражали истинное положение дел, мышление должно быть объективным, правильным или, другими словами, логичным, то есть подчиненным законам логики.

Логика в переводе с греческого имеет несколько значений: «наука о правильном мышлении», «искусство рассуждения», «речь», «рассуждение» и даже «мысль». В нашем случае мы будем исходить из самого популярного определения логики как нормативной науки о формах, методах и законах интеллектуальной мыслительной деятельности человека. Логика изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания. Одна из главных задач логики - определить, как прийти к выводу из имеющихся предпосылок и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления.

Теперь мы можем дать определение самому логическому мышлению.

Это мыслительный процесс, при котором человек использует логические понятия и конструкции, которому свойственна доказательность, рассудительность, и целью которого является получение обоснованного вывода из имеющихся предпосылок.

Также выделяют несколько видов логического мышления, перечислим их, начиная с самого простого:

Образно-логическое мышление

Образно-логическое мышление (наглядно-образное мышление ) - различные мыслительные процессы так называемого «образного» решения задач, которое предполагает визуальное представление ситуации и оперирование образами составляющих её предметов. Наглядно-образное мышление, по сути, является синонимом слова «воображение», которое позволяет нам наиболее ярко и четко воссоздавать все многообразие различных фактических характеристик предмета или явления. Данный вид мыслительной деятельности человека формируется в детском возрасте, начиная, примерно, с 1,5 лет.

Чтобы понять, насколько у вас развит этот вид мышления, предлагаем вам пройти Тест на IQ «Прогрессивные матрицы Равена»

Тест Равена - это шкала прогрессивных матриц для оценки коэффициента интеллекта и уровня умственных способностей, а также логичности мышления, разработанная в 1936 году Джоном Равеном в соавторстве с Роджером Пенроузом. Данный тест может дать максимально объективную оценку IQ тестируемых людей, независимо от их уровня образования, социального сословия, рода деятельности, языковых и культурных особенностей. То есть можно с большой вероятностью утверждать, что данные, полученные в результате данного теста у двух людей из разных точек мира будут одинаково оценивать их IQ. Объективность оценки обеспечивается тем фактом, что основу этого теста составляют исключительно изображения фигур, а поскольку матрицы Равена относятся к числу невербальных тестов интеллекта, его задания не содержат текста.

Тест состоит из 60 таблиц. Вам будут предложены рисунки с фигурами, связанными между собой определенной зависимостью. Одной фигуры не хватает, она дается внизу картинки среди 6-8 других фигур. Ваша задача - установить закономерность, связывающую между собой фигуры на рисунке, и указать номер правильной фигуры, выбрав из предлагаемых вариантов. В каждой серии таблиц содержатся задания нарастающей трудности, в то же время усложнение типа заданий наблюдается и от серии к серии.

Абстрактно-логическое мышление

Абстрактно-логическое мышление - это совершение мыслительного процесса при помощи категорий, которых нет в природе (абстракций). Абстрактное мышление помогает человеку моделировать отношения не только между реальными объектами, но также и между абстрактными и образными представлениями, которые создало само мышление. Абстрактно-логическое мышление имеет несколько форм: понятие, суждение и умозаключение, о которых вы сможете подробнее узнать в уроках нашего тренинга.

Словесно-логическое мышление

Словесно-логическое мышление (вербально-логическое мышление )— один из видов логического мышления, характеризующийся использованием языковых средств и речевых конструкций. Данный вид мышления предполагает не только умелое использование мыслительных процессов, но и грамотное владение своей речью. Словесно-логическое мышление необходимо нам для публичных выступлений, написания текстов, ведения споров и в других ситуациях, где нам приходится излагать свои мысли при помощи языка.

Применение логики

Мышление с использованием инструментария логики необходимо практически в любой области человеческой деятельности, в том числе в точных и гуманитарных науках, в экономике и бизнесе, риторике и ораторском мастерстве, в творческом процессе и изобретательстве. В одних случаях применяется строгая и формализованная логика, например, в математике, философии, технике. В других случаях логика лишь снабжает человека полезными приемами для получения обоснованного вывода, например, в экономике, истории или просто в обычных «жизненных» ситуациях.

Как уже было сказано, часто мы пытаемся мыслить логически на интуитивном уровне. Кому-то это удается хорошо, кому-то хуже. Но подключая логический аппарат, лучше все-таки знать, какие именно мыслительные приемы мы используем, так как в этом случае мы можем:

Точнее подобрать нужный способ, который позволит прийти к правильному выводу;
Мыслить быстрее и качественнее - как следствие из предыдущего пункта;
Лучше излагать свои мысли;
Избежать самообмана и логических заблуждений,
Выявлять и устранять ошибки в умозаключениях других людей, справиться с софистикой и демагогией;
Применять нужную аргументацию для убеждения собеседников.

Часто применение логического мышления связывают с быстрым решением заданий на логику и прохождением тестов на определение уровня интеллектуального развития (IQ). Но это направление связано в большей степени с доведением мыслительных операций до автоматизма, что является весьма незначительной частью того, чем логика может быть полезна человеку.

Умение логически мыслить объединяет в себе множество навыков по использованию различных мыслительных действий и включает в себя:

Знание теоретических основ логики.
Умение правильно совершать такие мыслительные операции, как: классификация, конкретизация, обобщение, сравнение, аналогия и другие.
Уверенное использование ключевых форм мышления: понятие, суждение, умозаключение.
Способность аргументировать свои мысли в соответствии с законами логики.
Навык быстро и эффективно решать сложные логические задачи (как учебные, так и прикладные).

Конечно, такие операции мышления с применением логики как определение, классификация и категоризация, доказательство, опровержение, умозаключение, вывод и многие другие применяются каждым человеком в его мыслительной деятельности. Но используем мы их неосознанно и часто с погрешностями без отчетливого представления о глубине и сложности тех мыслительных действий, из которых состоит даже самый элементарный акт мышления. А если вы хотите, чтобы ваше логическое мышление было действительно правильным и строгим, этому нужно специально и целенаправленно учиться.

Как этому научиться?

Логическое мышление не дается нам с рождения, ему можно только научиться. Существует два основных аспекта обучения логике: теоретический и практический.

Теоретическая логика , которая преподается в университетах, знакомит студентов с основными категориями, законами и правилами логики.

Практическое обучение направлено на применение полученных знаний в жизни. Однако в действительности современное обучение практической логике обычно связано прохождением разных тестов и решением задач на проверку уровня развития интеллекта (IQ) и почему-то не затрагивает применение логики в реальных жизненных ситуациях.

Чтобы на самом деле освоить логику, следует совместить теоретические и прикладные аспекты. Уроки и упражнения должны быть направлены на формирование интуитивно понятного, доведенного до автоматизма логического инструментария и закрепление полученных знаний с целью их применения в реальных ситуациях.

По этому принципу и был составлен онлайн-тренинг, который вы сейчас читаете. Цель данного курса - научить вас логически мыслить и применять методы логического мышления. Занятия направлены на ознакомление с основами логического мышления (тезаурус, теории, методы, модели), мыслительными операциями и формами мышления, правилами аргументации и законами логики. Кроме того, каждый урок содержит в себе задания и упражнения для тренировки использования полученных знаний на практике.

Уроки логики

Собрав широкий спектр теоретических материалов, а также изучив и адаптировав опыт обучения прикладным формам логического мышления, мы приготовили ряд уроков для полноценного овладения данным навыком.

Первый урок нашего курса мы посвятим сложной, но очень важной теме - логическому анализу языка. Сразу стоит оговориться, что эта тема многим может показаться абстрактной, нагруженной терминологией, неприменимой на практике. Не пугайтесь! Логический анализ языка - это основа любой логической системы и правильного рассуждения. Те термины, которые мы здесь узнаем, станут нашим логическим алфавитом, без знания которого просто нельзя пойти дальше, но постепенно мы научимся пользоваться им с лёгкостью.

Логическое понятие — это форма мышления, отражающая предметы и явления в их существенных признаках. Понятия бывают разных видов: конкретные и абстрактные, единичные и общие, собирательные и несобирательные, безотносительные и соотносительные, положительные и отрицательные, и другие. В рамках логического мышления важно уметь отличать эти виды понятий, а также производить новые понятия и определения, находить отношения между понятиями и совершать специальные действия над ними: обобщение, ограничение и деление. Всему этому вы научитесь в данном уроке.

В первых двух уроках мы говорили о том, что задача логики - помочь нам перейти от интуитивного употребления языка, сопровождаемого ошибками и разногласиями, к более упорядоченному его использованию, лишённому двусмысленности. Умение правильно обращаться с понятиями представляет собой один из необходимых для этого навыков. Другой не менее важный навык - умение правильно давать определения. В этом уроке мы расскажем, как этому научиться и как избежать самых распространённых ошибок.

Логическое суждение - это форма мышления, в которой утверждается или отрицается что-либо об окружающем мире, предметах, явлениях, а также отношениях и связях между ними. Суждения в логике состоят из субъекта (о чем идет речь в суждении), предиката (что говорится о субъекте), связки (что соединяет субъект и предикат) и квантора (объема субъекта). Суждения могут быть различных видов: простые и сложные, категорические, общие, частные, единичные. Также отличаются и формы связок между субъектом и предикатом: равнозначность, пересечение, подчинение и совместимость. Кроме того, в рамках составных (сложных) суждений могут быть свои связки, которые определяют ещё шесть видов сложных суждений. Умение логически мыслить предполагает способность правильно строить различные виды суждений, понимать их структурные элементы, признаки, отношения между суждениями, а также проверять является суждение истинным или ложным.

Перед тем как перейти к последней третьей форме мышления (умозаключению), важно понять, какие существуют логические законы, или, другими словами, объективно существующие правила построения логического мышления. Их предназначение, с одной стороны, в помощи построения умозаключений и аргументации, а с другой - в предупреждении ошибок и нарушений логичности, связанных с рассуждениями. данном уроке будут рассмотрены следующие законы формальной логики: закон тождества, закон исключённого третьего, закон противоречия, закон достаточного основания, а также законы де Моргана, законы дедуктивных умозаключений, закон Клавия и законы деления. Изучив примеры и выполнив специальные упражнения, вы научитесь целенаправленно использовать каждый из этих законов.

Умозаключение — это третья форма мышления, в которой из одного, двух или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением или выводом. Умозаключения делятся на три вида: дедуктивные, индуктивные и умозаключения по аналогии. При дедуктивном умозаключении (дедукции) из общего правила делается вывод для частного случая. Индукция - это умозаключения, в которых из нескольких частных случаев выводится общее правило. В умозаключениях по аналогии на основе сходства предметов в одних признаках делается вывод об их сходстве и в других признаках. На этом занятии вы познакомитесь со всеми видами и подвидами умозаключений, научитесь строить разнообразные причинно-следственные связи.

Этот урок будет посвящён многопосылочным умозаключениям. Так же как и в случае однопосылочных умозаключений, вся необходимая информация в скрытом виде будет присутствовать уже в посылках. Однако, поскольку посылок теперь будет много, то способы её извлечения становятся более сложными, а потому и добытая в заключении информация не будет казаться тривиальной. Кроме того, нужно отметить, что существует много разных видов многопосылочных умозаключений. Мы с вами сосредоточимся только на силлогизмах. Они отличаются тем, что и в посылках и в заключении имеют категорические атрибутивные высказывания и на основании наличия или отсутствия каких-то свойств у объектов позволяют сделать вывод о наличии или отсутствии у них других свойств.

В предыдущих уроках мы поговорили о разных логических операциях, которые составляют важную часть любого рассуждения. Среди них были операции над понятиями, определения, суждения и умозаключения. Значит, на данный момент должно быть ясно, из каких компонентов рассуждения состоят. Однако мы ещё нигде не касались вопросов о том, каким образом может быть организовано рассуждение в целом и какими в принципе бывают типы рассуждений. Это и станет темой последнего урока. Начнём с того, что рассуждения делятся на дедуктивные и правдоподобные. Все виды умозаключений, рассмотренные в предыдущих уроках: умозаключения по логическому квадрату, обращения, силлогизмы, энтимемы, сориты, - представляют собой именно дедуктивные рассуждения. Их отличительный признак состоит в том, что посылки и заключения в них связаны отношением строгого логического следования, в то время как в случае правдоподобных рассуждений подобная связь отсутствует. Сначала поговорим подробнее о дедуктивных рассуждениях.

Как проходить занятия?

Сами уроки со всеми упражнениями можно пройти за 1-3 недели, усвоив теоретический материал и немного попрактиковавшись. Но для развития логического мышления важно заниматься системно, много читать и постоянно тренироваться.

Для максимального эффекта рекомендуем вам сначала просто прочитать весь материал, потратив на это 1-2 вечера. Затем проходите по 1 уроку ежедневно, выполняя необходимые упражнения и следуя предложенным рекомендациям. После того как вы освоите все уроки, займитесь эффективным повторением по , чтобы запомнить материал надолго. Далее старайтесь чаще применять приёмы логического мышления в жизни, при написании статей, писем, при общении, в спорах, в делах и даже на досуге. Подкрепляйте свои знания чтением книг и учебников, а также с помощью дополнительного материала, о котором речь пойдет ниже.

Дополнительный материал

Помимо уроков в данном разделе мы постарались подобрать много полезного материала по рассматриваемой тематике:

Логические задачи;
Тесты на логическое мышление;
Логические игры;
Самые умные люди России и мира;
Видеоуроки и мастерклассы.

А также книги и учебники, статьи, цитаты, вспомогательные тренинги.

Книги и учебники по логике

На данной странице мы подобрали полезные книги и учебники, которые помогут вам углубить свои знания в логике и логическом мышлении:

«Прикладная логика». Николай Николаевич Непейвода;
«Учебник логики». Георгий Иванович Челпанов;
«Логика: конспект лекций». Дмитрий Шадрин;
«Логика. Учебный курс» (учебно-методический комплекс). Дмитрий Алексеевич Гусев;
«Логика для юристов» (сборник задач). А.Д. Гетманова;

1)Что означает термин «логика»? Логика – это наука о способах рассуждения, о методах и законах правильного мышления.

2)Что составляет предмет логики? Что такое «логическая форма»? Перечислить законы классической формальной логики. первоначально законы и формы правильного мышления изучались в границах ораторского искусства,как одного из средств воздействия на умы людей, убеждения их в целесообразности определенного поведения. Так было в Древней Индии, Древнем Китае, Древней Греции,Древнем Риме, а также средневековой России. Однако в искусстве красноречия логический аспект представляет пока еще как подчиненный, ибо логические приемыслужат не столько цели достижения истины, сколько цели убеждения аудитории. Формальная логика - наука о законах и формах правильного мышления. Логической формой конкретной мысли является строение этой мысли, т.е. способ связи ее составных частей. Логическая Форма - способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название "формальная логика" подчеркивает, что эта логика интересуется только формой рассуждения.

1) Закон тождества - любая мысль (любое рассуждение) обязательно должна быть равна (тождественна) самой себе. этот закон запрещает путать и подменять понятия в рассуждении (т. е. употреблять одно и то же слово в разных значениях или вкладывать одно и то же значение в разные слова), создавать двусмысленность, уклоняться от темы и т п. Когда закон тождества нарушается непроизвольно, по незнанию, тогда возникают просто логические ошибки; но когда этот закон нарушается преднамеренно, с целью запутать собеседника и доказать ему какую-нибудь ложную мысль, тогда появляются не просто ошибки, а софизмы.

2) Закон непротиворечивости - это логический закон, согласно которому не могут быть одновременно истинными взаимно исключающие друг друга мысли: "В данный момент снег идет" и "В данный момент снег не идет" . С точки зрения логики объединение таких мыслей может быть только ложным, и ни в коем случае не истинным. Именно от его соблюдения зависит исходная согласованность наших мыслей, продолжающая линию закона тождества на устойчивость нашего мышления. Логика различает два типа несовместимости мыслей :

а). Формальную несовместимость, которая имеет место между некоторой мыслью и ее формальным отрицанием: "Снег идет" и "Снег не идет" , где одна мысль есть непосредственное формальное отрицание ("не", "нет") другой.

б) содержательную (предметную) несовместимость, которая имеет место в связи с несовместимостью самих признаков внутри соответствующих вещей: "Цветок - роза" и "Цветок - ромашка". Эта несовместимость определяется не по формально-логическим законам, а по законам развития самих вещей. Такая несовместимость устанавливается не логикой, а конкретными науками о соответствующих предметах и явлениях. Закон требуют, чтобы там, где противоречивость самого предмета выражается в форме формальных противоречий- "Вещь есть Р и не - Р одновременно" - была снята конкретным исследованием и выражена в формально-непротиворечивой форме. В противном случае логика не несет ответственности за ошибки в последующих рассуждениях и выводах относительно, таким образом, фиксируемых объектов.

3) Закон исключенного третьего - это закон традиционной формальной логики, согласно которому из двух формально противоречащих друг другу мыслей (мысли и ее формального отрицания, А и не - А) одна обязательно должна быть истинной, а вторая ложной. С точки зрения этого закона содержательно несовместимые мысли могут быть одновременно ложными. Хотя, по закону непротиворечия, они не могут быть одновременно истинными. Закон исходит из допущения, что всякий предмет, вещь могут либо обладать, либо не обладать некоторым признаком: быть или не быть человеком, цветком, розой, ромашкой и так далее.

4) Закон достаточного основания - это закон, согласно которому, чтобы считать некоторую мысль истинной или ложной, мы должны располагать некоторым строгим доказательством.

Под доказательством при этом понимается специальная процедура установления соответствия мысли действительности. Так, чтобы в данный момент убедиться, что мысль "На улице светит солнце" истинна, достаточно выглянуть на улицу. В отношении обоснования истинности (ложности) мыслей, прежде всего суждений, на первом месте стоит непосредственное обращение к содержанию тех или иных вещей, явлений путем применения соответствующих приемов наблюдения, измерения, эксперимента.

3) Как символически выразить закон противоречия или закон запрета на противоречия?
4) Как символически выразить закон тождества и закон исключенного третьего?

5) Что называется понятием? Дать определение понятия, соблюдая правило соразмерности.

Понятие есть выраженная отдельным словом или словосочетанием мысль о существенных и отличительных признаках какого-либо предмета или класса однородных предметов. Переход от чувственной ступени познания к познанию на уровне абстрактного мышления характеризуют как переход от отражения мира в форме ощущений, восприятий и представлений к отражению мира в понятиях и формулируемых на их основе суждениях, умозаключениях и, в конечном счёте, научных теориях. Понятие- это форма мышления, в которой обобщаются и выделяются предметы и явления того или иного класса по более или менее существенным признакам.

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ есть логическая операция, которая раскрывает содержание понятия либо устанавливает значение термина.

Что такое «слишком широкое» определение?

1)Назвать два логических свойства понятия. В каком отношении они находятся друг к другу? Содержание понятия - это то, что мыслится в понятии. Например, в понятии «сахар» мыслятся признаки: сладкий, белый, шероховатый, имеющий тяжесть.

Объём понятия есть то, что мыслится посредством понятия, т. е. объём понятия есть сумма тех классов, групп, родов, видов и т.п., к которым данное понятие может быть приложено. Например, объём понятия «животное»: птица, рыба, насекомое, человек и т. д.; объем понятия «элемент»: кислород, водород, углерод, азот и т. д.; объём понятия «четырёхугольник»: квадрат, прямоугольник, ромб, трапеция.

Таким образом, различие между объёмом понятия и содержанием понятия сводится к следующему: объём понятия означает ту совокупность предметов, к которым должно прилагаться данное понятие, а содержание обозначает те признаки, которые приписываются тому или другому понятию.

!!! По мере увеличения содержания понятия уменьшается его объём, и наоборот!!!

2. Где и как существует понятие? Что такое номинализм и реализм? …

Реализм - термин, употребляемый для обозначения направления, постулирующего существование реальности, независимой от познающего субъекта. (Определение предмета)

Номинализм - учение, согласно которому названия таких понятий, как «животное», - «эмоция» - это не собственные имена цельных сущностей, а общие имена, своего рода переменные, вместо которых можно подставлять имена конкретные. общие имена применяются не к классу вещей как к целому, а порознь к каждой отдельной вещи из этого класса. (Определение обозначающее предмет) С помощью Номинальных определений вводятся новые термины, Знаки заменяющие термины, раскрывается этимология термина.

3. Что такое атрибутивная и реляционная структура понятия?

Атрибутивная логика – это логика, которая основывается на категории свойства.

Атрибутивная структура – это понятие, которое рассматривается со стороны своего содержания.

Особенностью атрибутивной структуры явл, то, что допустима не только перестановка признаков, вкл в содержание понятия, но и их изменение в зависимости принятой точки зрения. Здесь отсутствует четкая упорядоченность в перечислении признаков понятия. Содержание понятия составляет сумма или набор свойств-признаков, которые составляют эту структуру. Как правило выводы в логике рассматриваются как результат умозаключения из суждений, которые являются посылками.

Реляционная структура. Двойственная природа понятия проявл в том, что содержание понятия тесно связано его объемом. Чем богаче содержание понятия, тем беднее его объем. Если содержание понятия может быть определено в категориях системно-параметрического метода как его атрибутивная структура, то соотношение понятий по объему может быть определено как его реляционная структура.

Реляционная структура понятия эксплицилуется отношением понятий по своему объему. В это отношение вх 2 и более понятий. Если понятие одно по числу, то его реляционная структура проявляется в его отношении самого к себе.

4. Что такое «единичные» или «индивидуальные» понятия? Привести примеры таких понятий .

Единичные - те понятия, которые относятся к предметам единичным, индивидуальным (в данном случае индивидуальные понятия совпадают с представлениями о единичных вещах), например: «британский посланник во Франции», «высочайшая гора в Америке», «автор «Мёртвых душ», «эта книга» . К числу единичных понятий относятся также и собственные имена, например: «Казбек», «Ньютон», «Рим» . понятия об отдельных предметах или явлениях, например: Северный полюс , Ломоносов, Москва, Московский институт физической культуры и др. Хотя эти понятия относятся к единичным предметам, они все же существенным образом отличаются от представлений. Последние отражают внешние формы предметов, тогда как единичные понятия - их сущность.

Введение
1. Зарождение и сущность логики как науки
2. Основные исторические этапы развития логики
2.1 Становление символической (математической) логики
2.2 Становление индуктивной логики
2.3 Становление диалектической логики
Заключение
Литература

Введение

Логика - одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышления, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логического учения можно обнаружить еще в Индии, в конце II тысячелетия до н. э. Однако, если говорить о возникновении логики как науки, то есть о более или менее систематизированной совокупности знаний, то справедливым будет считать родиной логики великую цивилизацию Древней Греции. Именно здесь в V-IV веках до н. э. в период бурного развития демократии и связанного с ним небывалого оживления общественно-политической жизни трудами Демокрита, Сократа и Платона были заложены основы этой науки. Родоначальником же, «отцом» логики, по праву считается величайший мыслитель древности, ученик Платона - Аристотель(384-322 гг. до н. э.). Именно он в своих трудах, объединенных общим названием «Органон» (орудие познания), впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений, а именно: формы выводов из так называемых категорических суждений - категорический силлогизм («Первая аналитика»), сформулировал основные принципы научных доказательств («Вторая аналитика»), дал анализ смысла некоторых видов высказываний («Об истолковании»), наметил основные подходы к разработке учения о понятии («Категории»). Серьезное внимание Аристотель уделял также разоблачению различного рода логических ошибок и софистических приемов в спорах («О софистических опровержениях»).

1. Зарождение и сущность логики как науки

Логика имеет долгую и богатую историю, неразрывно связанную с историей развития общества в целом.

Возникновению логики как теории, предшествовала уходящая в глубь тысячелетий практика мышления. С развитием трудовой, материально-производственной деятельности людей шло постепенное совершенствование и развитие их мыслительных способностей, прежде всего способности к абстракции и умозаключению. А это рано или поздно, но неизбежно должно было привести к тому, что объектом исследования стало само мышление с его формами и законами.

История свидетельствует, что отдельные логические проблемы возникают перед мысленным взором человека уже свыше 2,5 тыс. лет назад - сначала в Древней Индии и Древнем Китае. Затем они получают более полную разработку в Древней Греции и Риме. Лишь постепенно складывается более или менее стройная система логических знаний, оформляется самостоятельная наука.

Основных причин развития логики две. Одна из них - зарождение и первоначальное развитие наук, прежде всего математики. Этот процесс относится к VI в. до н. э. и получает наиболее полное развитие в Древней Греции. Рождаясь в борьбе с мифологией и религией, наука основывалась на теоретическом мышлении, предполагающем умозаключения и доказательства. Отсюда - необходимость исследования природы самого мышления как средства познания.

Логика и возникла, прежде всего, как попытка выявить и обосновать те требования, которым должно удовлетворять научное мышление, чтобы его результаты соответствовали действительности.

Другая, пожалуй, еще более важная причина, что особенно полезно знать юристам, - это развитие ораторского искусства, в том числе судебного, которое расцвело в условиях древнегреческой демократии. Величайший римский оратор и ученый Цицерон (106-43 гг. до н. э.), говоря о могуществе оратора, обладателя «божественного дара» - красноречия, подчеркивал: «Он может безопасно пребывать даже среди вооруженных врагов, огражденный не столько своим жезлом, сколько своим званием оратора; он может своим словом вызвать негодование сограждан и низвергнуть кару на виновного в преступлении и обмане, а невинного силою своего дарования спасти от суда и наказания; он способен побудить робкий и нерешительный народ к подвигу, способен вывести его из заблуждения, способен воспламенить против негодяев и унять ропот против достойных мужей; он умеет, наконец, одним своим словом и взволновать и успокоить любые людские страсти, когда этого требуют обстоятельства дела».

Помимо политических и торжественных речей развитию красноречия особенно способствовали множество, разнообразие и значительность судейских дел. В хорошо подготовленных судебных речах обнаруживалась огромная, потрясающая умы слушателей сила убеждения и в то же время великая принудительная сила. Она буквально заставляла их склоняться к тому или иному мнению, делать те или иные выводы.

Логика и возникла, как попытка раскрыть «тайну» этой принудительной силы речей, понять, в чем же именно заключается ее источник, на чем она основывается, и наконец, показать, какими свойствами должна обладать речь, чтобы убеждать слушателей и вместе с тем вынуждать их с чем-либо соглашаться или не соглашаться, признавать что-то истинным или ложным.

По словам Цицерона, Греция «поистине пылала страстью к красноречию и долгое время им славилась…». Не случайно, что именно Древняя Греция стала родиной логики как науки. Естественно также, что сам термин «логика» - древнегреческого происхождения.

Основателем логики - или, как иногда говорят, «отцом логики» - принято считать крупнейшего древнегреческого философа и ученого-энциклопедиста Аристотеля (384-322 гг. до н. э.).

Аристотелю принадлежит ряд трактатов по логике, объединенных позднее под названием «Органон» (от греч. organon - орудие, инструмент).

B фокусе всех его логических размышлений - теория выводного знания - дедуктивных умозаключений и доказательства. Она разработана с такой глубиной и тщательностью, что прошла сквозь толщу столетий и в основном сохранила свое значение до наших дней. Аристотель дал такжеклассификацию категорий - наиболее общих понятий и близкую к демокритовской классификацию суждений, сформулировал три фундаментальных закона мышления - закон тождества, закон противоречия и закон исключенного третьего. Логическое учение Аристотеля замечательно тем, что в зародыше оно содержит, по существу, все позднейшие разделы, направления и типы логики -индуктивной, символической, диалектической. Правда, сам Аристотель называл созданную им науку не логикой, а прежде всего аналитикой, хотя и употреблял термин «логическое». Сам же термин «логика» вошел в научный оборот несколько позднее, в III в. до н. э. Причем в соответствии с двуединым смыслом древнегреческого слова «logos» (и «слово», и «мысль») он объединил и искусство мыслить - диалектику, и искусство рассуждать - риторику. Лишь с прогрессом научных знаний этим термином стала обозначаться собственно логическая проблематика, а диалектика и риторика выделились в самостоятельные отрасли знания.

Логика получила дальнейшее развитие, как в Греции, так и в других странах, причем и на Западе и на Востоке. Это развитие вызывалось, с одной стороны, непрерывным совершенствованием и обогащением практики мышления (в котором все больший удельный вес занимало научное познание), а с другой - все более глубоким проникновением в сущность мыслительных процессов. А проявлялось оно не только во все более полном и точном истолковании сложившегося круга проблем, но и в последовательном расширении предмета логики за счет выдвижения и анализа все новых ее проблем. Первоначально это выразилось, например, в детализации и обобщении аристотелевской теории дедукции. Наряду с усиленной разработкой теории умозаключений из простых суждений исследовались и новые формы дедуктивного вывода - из сложных суждений.

Новый, более высокий этап в развитии логики начинается с XVII в. Этот этап органически связан с созданием в ее рамках наряду с дедуктивной логикой логики индуктивной. В ней нашли отражение многообразные процессы получения общих знаний на основе все более накапливавшегося эмпирического материала. Потребность в получении таких знаний наиболее полно осознал и выразил в своих трудах выдающийся английский философ и естествоиспытатель Ф. Бэкон (1561-1626). Он и стал родоначальником индуктивной логики. «… Логика, которая теперь имеется, бесполезна для открытия знаний», - вынес он свой суровый приговор. Поэтому как бы в противовес старому «Органону» Аристотеля Бэкон написал «Новый Органон…», где и изложил индуктивную логику. Главное внимание в ней он обратил на разработку индуктивных методов определения причинной зависимости явлений. В этом огромная заслуга Бэкона. Однако созданное им учение об индукции по иронии судьбы оказалось не отрицанием предшествующей логики, а ее дальнейшим обогащением и развитием. Оно способствовало созданию обобщенной теории умозаключений. И это естественно, ибо, как будет показано ниже, индукция и дедукция не исключают, а предполагают друг друга и находятся в органическом единстве.

Индуктивная логика была позднее систематизирована и развита английским философом и ученым Дж. Ст. Миллем (1806-1873) в его двухтомном труде «Система логики силлогистической и индуктивной». Она существенно повлияла на дальнейшее развитие научного познания, способствовала достижению им новых высот.

Потребности научного познания не только в индуктивном, но и в дедуктивном методе в XVII в. наиболее полно воплотил французский философ и ученый Рене Декарт (1596-1650). В своем главном труде «Рассуждение о методе…», основываясь на данных, прежде всего математики, он подчеркивал значение рациональной дедукции как основного метода научного познания. Последователи Декарта из монастыря в Пор-Рояле А. Арно и П. Николь создали труд «Логика, или Искусство мыслить». Он получил известность как «Логика Пор-Рояля» и долгое время использовался в качестве учебника по этой науке. В нем авторы вышли далеко за пределы традиционной логики и уделили главное внимание методологии научного познания, логике открытий. Логика рассматривалась ими как познавательное орудие всех наук. Создание подобных «расширенных логик» стало характерным в XIX-XX вв.

2. Основные исторические этапы развития логики

2.1 Становление символической (математической) логики

Подлинную революцию в логических исследованиях вызвало создание во второй половине XIX в. математической логики, которая получила еще название символической и обозначила новый, современный этап в развитии логики

Зачатки этой логики прослеживаются уже у Аристотеля, а также у его последователей, в виде элементов логики предикатов и теории модальных выводов, а также логики высказываний. Однако систематическая разработка ее проблем относится к гораздо более позднему времени.

Растущие успехи в развитии математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали две фундаментальные проблемы. С одной стороны, это применение логики для разработки теоретических оснований математики, а с другой - математизация самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646-1416) Тем самым он стал, по существу, зачинателем математической (символической) логики. Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Он стремился изобрести для этого универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку. Новое знание, по его мнению, будет результатом логической калькуляции - исчисления.

Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в.К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальныепроблемы ее обоснования. Английский ученый, математик и логик Дж. Буль (1815-1864) в своих работах, прежде всего, применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»). Немецкий логик и математик Г. Фреге (1848-1925) применил логику для исследования математики. Посредством расширенного исчисления предикатов он построил формализованную систему арифметики. Английский философ, логик и математик Б. Рассел (1872-1970) совместно с А. Уайтхедом (1861-1947) в трехтомном фундаментальном труде «Принципы математики» в целях ее логического обоснования попытался осуществить в систематической форме дедуктивно-аксиоматическое построение логики.

Так открылся новый, современный этап в развитии логических исследований. Пожалуй, наиболее важная отличительная особенность этого этапа состоит в разработке и использовании новых методов решения традиционных логических проблем. Это разработка и применение искусственного, так называемого формализованного языка - языка символов, т.е. буквенных и других знаков (отсюда и наиболее общее наименование современной логики - «символическая»).

2.2 Становление индуктивной логики

Опытно-индуктивный метод Бэкона состоял в постепенном образовании новых понятий путем истолкования фактов и явлений природы. Только посредством такого метода, по мнению Бэкона, возможно открыть новые истины, а не топтаться на месте. Не отвергая дедукцию, Бэкон так определял различие и особенности этих двух методов познания: «Два пути существуют и могут существовать для открытия истины. Один воспаряет от ощущений и частностей к наиболее общим аксиомам, и, идя от этих оснований и их непоколебимой истинности, обсуждает и открывает средние аксиомы. Этим путем и пользуются ныне. Другой же путь выводит аксиомы из ощущений и частностей, поднимаясь непрерывно и постепенно, пока наконец не приходит к наиболее общим аксиомам. Это путь истинный, но не испытанный».

Хотя проблема индукции и раньше ставилась предшествовавшими философами, только у Бэкона она приобретает главенствующее значение и выступает первостепенным средством познания природы. В противовес индукции через простое перечисление, распространенной в то время, он выдвигает на передний план истинную, по его словам, индукцию, дающую новые выводы, получаемые на основании не столько в результате наблюдения подтверждающих фактов, сколько в результате изучения явлений, противоречащих доказываемому положению. Один-единственный случай способен опровергнуть необдуманное обобщение. Пренебрежение к так называемым отрицательным инстанциям, по Бэкону, — главная причина ошибок, суеверий, предрассудков.

В индуктивный метод Бэкона необходимыми этапами входит собирание фактов, их систематизация. Бэкон выдвинул идею составления трех таблиц исследования — таблицы присутствия, отсутствия и промежуточных ступеней. Если, используя любимый Бэконом пример, кто-то хочет найти форму тепла, то он собирает в первой таблице различные случаи тепла, стремясь отсеять все то, что не имеет общего, т.е. то, что есть, когда тепло присутствует. Во второй таблице он собирает вместе случаи, которые подобны случаям в первой, но которые не обладают теплом. Например, в первой таблице могут быть перечислены лучи солнца, которые создают тепло, во вторую -включаться такие вещи, как лучи, исходящие от луны или звезд, которые не создают тепла. На этом основании можно отсеять все те вещи, которые наличествуют, когда тепло присутствует. Наконец, в третьей таблице собирают случаи, в которых тепло присутствует в различной степени. Используя эти три таблицы вместе, мы можем, согласно Бэкону, выяснить причину, которая лежит в основе тепла, а именно — по мысли Бэкона — движение. В этом проявляется принцип исследования общих свойств явлений, их анализ. В индуктивный метод Бэкона входит и проведение эксперимента.

Для проведения эксперимента важно варьировать его, повторять, перемещать из одной области в другую, менять обстоятельства на обратные, прекращать его, связывать у другими и изучать в немного измененных обстоятельствах. После этого можно перейти к решающему эксперименту. Бэкон выдвинул опытное обобщение фактов в качестве стержня своего метода, однако не был защитником одностороннего его понимания. Эмпирический метод Бэкона отличает то, что он в максимальной степени опирался на разум при анализе фактов. Бэкон сравнивал свой метод с искусством пчелы, которая, добывая нектар из цветов, перерабатывает его в мед собственным умением. Он осуждал грубых эмпириков, которые подобно муравью собирают все, что им попадается на пути (имея в виду алхимиков), а также тех умозрительных догматиков, которые как паук ткут паутину знания из себя (имея в виду схоластов). Предпосылкой реформы науки должно стать, по замыслу Бэкона, и очищение разума от заблуждений, которых он насчитывает четыре вида. Эти препятствия на пути познания он называет идолами: идолы рода, пещеры, площади, театра. Идолы рода — это ошибки, обусловленные наследственной природой человека. Мышление человека имеет свои недостатки, так как «уподобляется неровному зеркалу, которое, примешивая к природе вещей свою природу, отражает вещи в искривленном и обезображенном виде».

Человек постоянно истолковывает природу по аналогии с человеком, что находит свое выражение в телеологическом приписывании природе конечных целей, которые ей не свойственны. В этом и проявляется идол рода. Привычку ожидания большего порядка в явлениях природы, чем в действительности, можно найти в них, — это идолы рода. К идолам рода Бэкон относит и стремление человеческого ума к необоснованным обобщениям. Он указывал, что часто орбиты вращающихся планет считаются за круговые, что необоснованно. Идолы пещеры — это ошибки, которые свойственны отдельному человеку или некоторым группам людей в силу субъективных симпатий, предпочтений. Например, одни исследователи верят в непогрешимый авторитет древности, другие склонны отдавать предпочтение новому. «Человеческий разум не сухой свет, его укрепляют воля и страсти, а это порождает в науке желательное каждому. Человек скорее верит в истинность того, что предпочитает… Бесконечным числом способов, иногда незаметных, страсти пятнают и портят разум».

2.3 Становление диалектической логики

Если и традиционная (аристотелевская) и символическая (математическая) логика - это качественно различные ступени в развитии одной и той же формальной логики, то диалектическая логика - другая важнейшая составная часть современной логики как науки о мышлении. Обращаясь снова к истории логики, мы находим, что уже Аристотель поставил и попытался решить ряд фундаментальных проблем диалектической логики - проблему отражения реальных противоречий в понятиях, проблему соотношения отдельного и общего, вещи и понятия о ней и т. д. Элементы диалектической логики постепенно накапливались в трудах последующих мыслителей и особенно отчетливо проявились в работах Бэкона, Гоббса, Декарта, Лейбница. Однако как относительно самостоятельная логическая наука, качественно отличная от формальной логики своим подходом к мышлению, диалектическая логика стала оформляться лишь в конце XVIII - начале XIX в. И это также связано, прежде всего, с прогрессом наук. В их развитии все более четко обозначивался новый этап: из наук о сложившихся, «готовых» предметах они все более превращались в науки о процессах, о происхождении и развитии этих предметов, а также о той связи, которая объединяла их в одно великое целое.

Господствовавший до этого метафизический метод исследования и мышления, связанный с изолированным рассмотрением предметов и явлений действительности, вне их связи, изменения и развития, вступал во все более глубокое противоречие с достижениями наук. Велением времени становился новый, более высокий, диалектический метод, основанный на принципах всеобщей связи, изменения и развития. Этому способствовало также все более динамичное развитие общества, все рельефнее демонстрировавшее взаимосвязь и взаимодействие всех сторон общественной жизни, реальные противоречия между ними (вспомним в этой связи надвигавшуюся Великую французскую буржуазную революцию1789 г.).

В таких условиях во весь рост вставал вопрос о закономерностях диалектического мышления. Первым, кто попытался сознательно ввести диалектику в логику, был немецкий философ И. Кант (1724-1804). Обозревая многовековую историю развития логики, начиная с Аристотеля, он, прежде всего, подвел итоги этого развития. В отличие от некоторых своих предшественников Кант не отрицал ее достижений. Наоборот, считал философ, логика добилась известных успехов, и этими успехами она обязана «определенности своих границ», а сами ее границы обусловлены тем, что она есть «наука, обстоятельно излагающая и строго доказывающая одни только формальные правила всякого мышления…».

Но в этом несомненном достоинстве логики Кант обнаружил и ее основной недостаток - ограниченные возможности как средства действительного познания и проверки его результатов. Поэтому наряду с «общей логикой», которую Кант впервые в ее истории назвал также «формальной логикой» (и это название закрепилось за ней вплоть до настоящего времени), необходима специальная, или «трансцендентальная» логика (от лат. transcendens - выходящий за пределы чего-либо, в данном случае за пределы опыта). Главную задачу этой логики он усматривал в исследованиях таких, по его мнению, действительно основных форм мышления, как категории, т. е. предельно общие понятия. «Мы не можем мыслить ни одного предмета иначе как с помощью категорий…».

Они служат условием всякого опыта, поэтому носят априорный, доопытный характер. Таковы категории пространства и времени, количества и качества, причины и следствия, необходимости и случайности и другие диалектические категории, применение которых якобы не подчиняется требованиям законов тождества и противоречия. Кант впервые обнажил действительно противоречивый, глубоко диалектический характер человеческого мышления. В этой связи он стремился выработатьсоответствующие рекомендации ученым. Заложив, таким образом, принципы новой логики, центральной проблемой которой становилась проблема диалектического противоречия, Кант, однако, не дал ее систематического изложения. Он не раскрыл также ее действительного соотношения с формальной логикой, более того, попытался противопоставить одну другой.

Грандиозную попытку выработать целостную систему новой, диалектической логики предпринял другой немецкий философ - Г. Гегель (1770-1831). В своем основополагающем труде «Наука логики» он, прежде всего, раскрыл фундаментальное противоречие между наличными логическими теориями и действительной практикой мышления, которое к тому времени достигло значительных высот. Средством разрешения этого противоречия и стало создание им - правда, в своеобразной, религиозно-мистической форме - системы новой логики. В фокусе ее - диалектика мышления во всей его сложности и противоречивости. Гегель заново подверг исследованию природу мышления, его законы и формы. В этой связи он пришел к выводу, что «диалектика составляет природу самого мышления, что в, качестве рассудка оно должно впадать в отрицание самого себя, в противоречие».

Свою задачу мыслитель видел в том, чтобы найти способ разрешения этих противоречий. Гегель подверг жесточайшей критике прежнюю, обычную логику за ее связь с метафизическим методом познания.

Но в этой своей критике зашел так далеко, что отверг ее принципы, основанные на законе тождества и законе противоречия. Извратив действительное соотношение формальной логики и логики диалектической, он тем самым нанес первой тяжелый удар, существенно затормозил ее последующее развитие.

Заключение

В своем развитии логика прошла длительный период развития. Важнейшее обстоятельство, способствовавшее выделению логики в самостоятельную отрасль знания, носило ярко выраженный практический характер, поскольку логика в то время разрабатывалась в тесной связи с запросами ораторского искусства, то есть как часть практической риторики. Искусство публичной речи, умение вести полемику, убеждать людей ценилось у древних греков исключительно высоко и стало предметом специального анализа в школах так называемых софистов. Первоначально к ним относили мудрых, авторитетных в различных вопросах людей. Затем так стали называть людей, за плату производивших обучение искусству красноречия; они должны были научить умению убедительно защищать свою точку зрения и опровергать мнение своих оппонентов.

Фундаментальный характер логических изысканий Аристотеля проявляется в том, что его логическое учение, усовершенствованное в некоторых аспектах, а иногда и искаженное, просуществовало без особых принципиальных изменений до середины XIX века и получило название традиционной логики.

Выдающимся событием в истории логики в Новое время стало появление труда английского философа Ф. Бэкона «Новый органон», который, по его мнению, должен был заменить аристотелевский «Органон» в качестве орудия познания. Критически оценивая значимость форм выводов, в которых используется уже потовое знание, Ф. Бэкон стремился разработать приемы исследования самой природы. Он положил начало разработке методов установления причинно-следственных связей в объективной действительности. Его учение об этих методах приобрело относительно завершенный характер в работах Дж. Фр. Гершеля и Дж. Ст. Милля. Результаты этих разработок вошли в историю логики под названием «Индуктивные методы установления причинных связей». Вопросами логики занимались и внесли определенный вклад в ее развитие многие видные ученые Нового времени: Р. Декарт, Г. Лейбниц, И. Кант и другие. Примечательно, что Г. Лейбниц выдвинул ряд идей фундаментального характера, получивших интенсивное развитие в современной логике. Начало нового этапа в развитии логики было положено трудами Дж. Буля, О. де Моргана, русского логика П.С. Порецкого. Принципиальное отличие этого этапа состояло в применении методов математики к исследованию логических связей, что привело к созданию специального раздела логики - алгебры логики, получившей завершение в трудах Э. Шредера. В дальнейшем усилиями Г. Фреге, Б. Рассела - А. Уайтхэда сложился особый метод исследования логических отношений и форм выводов - метод формализации. Суть этого метода состоит в употреблении для описания структур высказываний, законов логики и правил вывода специально созданного в рамках логики формализованного языка. Применение этого метода открыло новые возможности этой науки и положило начало ее интенсивному развитию под названием «символическая логика».

В настоящее время логика представляет собой весьма разветвленную и многоплановую науку, результаты и методы которой активно используются во многих областях теоретического познания, в том числе и непосредственно связанных с рядом современных направлений практической деятельности. Она находит применение в философии, математике, психологии, кибернетике, лингвистике и др. С самой общей точки зрения в современной логике, как мы уже говорили, выделяют три больших раздела: символическую («формальную») логику, логическую семиотику и методологию.

Список использованной литературы

Брюшинкин В.Н. Логика: Учеб. для ВУЗов. – 3-е изд.; испр, доп. – М.: Гардарики, 2001.
Дегтярев М.Г. Логика: Учеб. пособие для ВУЗов. – М.: ПЕРСЭ, 2003.
Гетманова А. Д. Учебник по логике. – М., 1995.
Ерышев А. А. и др. Логика: Курс лекций / А. А. Ерышев, Н. П. Лукашевич, Е. Ф. Сластенко. - Киев: МАУП, 2000.
Ивин А.А. Логика. – М.: Высшая школа, 2002.
Кириллов В.И., Старченко А.А. Логика. — М., 2000.
Логика. Учебник / Под ред. Иванова Е.И. – М., 2000.

ЛОГИКА

В настоящее время логика представляет собой разветвленную и многоплановую науку, которая содержит в своем составе следующие основные разделы: теорию рассуждений (в двух вариантах: теорию дедуктивных рассуждений и теорию правдоподобных рассуждений), металогику и логическую методологию. Исследования во всех этих областях на нынешнем этапе развития логики гл. о. и по преимуществу осуществляются в рамках логической семиотики.

В последней языковые выражения рассматриваются как объекты, находящиеся в т. н. знаковой ситуации, включающей в себя три типа предметов - само языковое (знак), обозначаемый им предмет (значение знака) и интерпретатора знаков. В соответствии с этим языка может вестись с трех относительно самостоятельных точек зрения: исследования логического синтаксиса языка, т. е. отношения знака к знаку; исследования логической семантики языка, т. е. отношения знака к обозначаемому им объекту; и исследования логической прагматики, т. е. отношения интерпретатора к знаку.

В логическом синтаксисе язык и строящиеся на его основе логические теории изучаются с формальной (структурной) их стороны. Здесь определяются алфавиты языков логических теорий, задаются правила построения из знаков алфавита различных сложных языковых конструкций - термов, формул, выводов, теорий и т. д. Осуществляется синтаксическое членение множества языковых выражений на функторы и аргументы, постоянные и переменные, определяется понятие логической формы выражения, определяются понятия логического подлежащего и логического сказуемого, осуществляется построение различных логических теорий и анализ способов оперирования в них.

В логической семантике язык и логические теории изучаются с содержательной их стороны; Так как ЯЗЫКОВЫЕ конструкции не только обозначают, но и нечто описывают (имеют ), в логической семантике различают теорию значения и теорию смысла. В первой решается вопрос, какие объекты обозначают знаки и как именно они это делают. Аналогично в теории смысла решается вопрос о том, что является смысловым содержанием языковых выражений и каким образом они описывают это содержание.

Для логики как науки особое значение имеют как раз логические термины, так как вся процедурная сторона нашей интеллектуальной работы с информацией в конечном счете определяется смыслом (значением) данных терминов. К числу логических терминов относятся связки и операторы. Среди первых выделяются предицирующие связки “есть” и “не есть” и пропозициональные (логические связки): союзы - “и” (“а”, “но”), “или” (“либо”), “если, то”, словосочетания - “неверно, что”, “если и только если” (“тогда и только тогда”, “необходимо и достаточно”) и другие. Среди вторых выделяют высказывание образующие - “все” (“каждый”, “любой”), “некоторый” (“существует”, “какой-либо”), “необходимо”, “возможно”, “случайно” и т. д. и имяобразующие операторы - “множество предметов таких, что”, “тот предмет, который” и др.

Центральным понятием логической семантики является понятие истины. В логике оно подвергается тщательному анализу, так как без него невозможно в четкой форме проинтерпретировать логическую теорию, а следовательно, и ее детально исследовать и понять. Сейчас уже очевидно, что мощное развитие современной логики во многом было определено детальной разработкой понятия истины. С понятием истины тесно связано и другое важное семантическое понятие - понятие интерпретации, т. е. процедуры приписывания с помощью особой интерпретирующей функции языковым выражениям значений, ассоциированных с некоторьм классом предметов, называемым универсумом рассуждения. Возможной реализацией языка называется строго фиксированная пара , где Ü - рассуждения, а I - интерпретирующая , ставящая в соответствие именам элементы универсума, я-местным предикаторам - множества упорядоченных я-ок элементов универсума, л-местным предметным функторам - я-местные функции, отображающие я-ки элементов универсума в элементы универсума. Выражениям, относящимся к формулам, ставятся в соответствие два значения - “истина” или “ложь” - в соответствии с условиями их истинности.

С одним и тем же классом предложений могут связываться различные их возможные реализации. Те реализации, на которых каждое , входящее в множество предложений Г, принимает значение “истина”, называется моделью для Г. Понятие модели особо исследуется в специальной семантической теории - моделей теории. При этом различают модели разного типа - алгебраические, теоретико-множественные, теоретико-игровые, теоретико-вероятностные и др.

Понятие интерпретации имеет для логики наиважнейшее значение, так как посредством него определяются два центральных понятия этой науки - понятия логического закона (см. Закон логический) и логического следования (см. Следование логическое).

Логическая семантика является содержательной частью логики, а ее понятийный аппарат широко используется для теоретического оправдания тех или иных синтаксических, чисто формальных построений. Причина этого состоит в том, что совокупное содержание мысли делится на логическое (выражаемое логическими терминами) и (выражаемое дескриптивными терминами), а потому, выделяя логическую форму выражений, мы отвлекаемся, вообще говоря, не от любого содержания. Такое отвлечение, т. е. рассмотрение формальной стороны мыслей, представляет собой лишь способ вычленения в чистом виде логического их содержания, которое и исследуется в логике. Это обстоятельство делает неприемлемым идущее от Канта логики как сугубо формальной дисциплины. Напротив, логика является глубоко содержательной наукой, в которой каждая логическая процедура получает свое теоретическое оправдание посредством содержательных соображений. В этой связи “формальная логика” в его применении к современной логике является неточным. В подлинном смысле слова можно говорить лишь о формальном аспекте исследования, но не о формальной логике как таковой.

При рассмотрении тех или иных логических проблем во многих случаях необходимо учитывать также и намерения интерпретатора, который использует языковые выражения. Напр., рассмотрение такой логической теории, как теория аргументации, спора, дискуссии, невозможно без учета целей и намерений участников диспута. Во многих случаях применяемые здесь приемы полемики зависят от желания одной из спорящих сторон поставить своего противника в неудобное положение, сбить его с толку, навязать ему определенное обсуждаемой проблемы. Рассмотрение всех этих вопросов составляет содержание особого подхода к анализу языка - “логической прагматики”. Наиболее фундаментальным разделом логики является теория дедуктивных рассуждений. В настоящее время этот раздел в своей аппаратной (синтаксической, формальной) части представлен в виде разнообразных дедуктивных теорий - исчислений. Построение такого аппарата имеет двоякое значение: во-первых, теоретическое, так как позволяет выделить некоторый законов логики и форм правильных рассуждений, исходя из которых можно обосновать все другие возможные законы и формы правильных рассуждений в данной логической теории; во-вторых, чисто практическое (прагматическое), так как разработанный аппарат может быть использован и используется в современной практике научного познания для точного построения конкретных теорий, а также для анализа философских и общенаучных понятий, приемов познания и т. д.

В зависимости от глубины анализа высказываний выделяют исчисления высказываний (см. Логика высказываний) и кванторные теории - исчисления предикатов (см. Логика предикатов). В первых анализ рассуждений ведется с точностью до выделения простых предложений. Иначе говоря, в исчислениях высказываний мы не интересуемся внутренней структурой простых предложений. В исчислениях предикатов анализ рассуждений осуществляется с учетом внутренней структуры простых предложений.

В зависимости от типов квантифицируемых переменных различают исчисления предикатов различного порядка. Так, в исчислении предикатов первого порядка единственными квантифицируемыми переменных являются индивидные переменные. В исчислении предикатов второго порядка вводятся и начинают квантифицироваться переменные для свойств, отношений и предметных функций разной местности. Соответственно строятся исчисления предикатов третьего и более высокого порядка.

Еще одно важное членение логических теорий связано с использованием для представления логического знания языков с различной категориальной сеткой. В этой связи можно говорить о теориях, построенных на языках фреге-расселовского типа (многочисленные варианты исчисления предикатов), силлогистического (разнообразные силлогистики, а также Лесневского, являющаяся современной формой сингулярной силлогистики) или алгебраического (различные алгебры логики и алгебры классов - Булева алгебра, алгебра Жегалклна, алгебра де Моргана, алгебра Хао Вана и др.). Для многих теорий, построенных на языках с различной категориальной сеткой, показана их взаимная переводимость. В последнее время в логических исследованиях начинает активно использоваться теоретико-категорный язык, основанный на новом математическом аппарате - теории категорий.

В зависимости от способа построения выводов и доказательств (см. Вывод логический), применяемых в логических теориях, последние делятся на аксиоматические исчисления, исчисления натурального вывода и секвенциальные исчисления (см. Исчисление секвенций). В аксиоматических системах принципы дедукции задаются списком аксиом и правил вывода, позволяющих переходить от одних доказанных утверждений (теорем) к другим доказанным утверждениям. В системах натурального (естественного) вывода принципы дедукции задаются списком правил, позволяющих переходить от одних гипотетически принятых утверждений кдругим утверждениям. Наконец, в секвенциальных исчислениях принципы дедукции задаются правилами, позволяющими переходить от одних утверждений о выводимости (они называются секвенциями) к Другим утверждениям о выводимости.

Построение в логике того или иного исчисления составляет формальную строну логических исследований, которую всегда бывает желательно дополнить содержательными соображениями, т. е. построением соответствующей ей семантики (интерпретации). Для многих логических исчислений такие семантики имеются. Они представлены семантиками различного типа. Это могут быть таблицы истинности, т. н. аналитические таблицы, таблицы Бета (см. Семантические таблицы), различного рода алгебры, возможных миров семантики, описания состояний и т. д. Напротив, в том случае, когда логическая система первоначально строится семантически, встает вопрос о формализации соответствующей логики, напр., в виде аксиоматической системы.

В зависимости от характера высказываний, а в конечном счете от типов отношений вещей, которые изучаются в логике, логические теории делятся на классические и неклассические. В основе такого членения лежит принятие при построении соответствующей логики определенных абстракций и идеампаций. В классической логике применяются, напр., следующие абстракции и идеализации: а) принцип двузначности, согласно которому каждое высказывание является либо истинным, либо ложным, б) принцип экстенсиональности, т. е. разрешение для выражений, имеющих одно и то же зна

чение, свободной их замены в любых контекстах, что говорит о том, что в классической логике интересуются только значением выражений, а не их смыслом, в) актуальной бесконечности, который позволяет рассуждать о существенно неконструктивных объектах, г) принцип экзистенциальности, согласно которому универсум рассуждения должен быть непустым множеством, а каждое собственное должно иметь референт в универсуме.

Эти абстракции и идеализации образуют ту точку зрения, тот ракурс, под которым мы видим и оцениваем объективную . Однако никакая совокупность абстракций и идеализации не может охватить ее в полной мере. Последняя всегда оказывается более богатой, более подвижной, чем наши теоретические построения, что и делает оправданным свободное варьирование исходных Принципов. В этой связи полный или частичный отказ от любого из указанных принципов выводит нас В область неклассических логик. Среди Последних выделяют: многозначные логики , в частности вероятностные и нечеткие, в которых происходит отказ от принципа двузначности; интуиционистские логики и конструктивные логики, в которых исследуются рассуждения в рамках абстракции потенциальной осуществимости; модальные логики (алетические, временные, деонтические, эпистемические, аксиологические и др.), релевантные логики, паранепротиворечивые логики, логики вопросов, в которых рассматриваются высказывания с неэкстенсиональными (интенсиональными) логическими константами; логики, свободные от экзистенциальных допущений, в которых происходит отказ от принципов экзистенциальности, и многие другие.

Сказанное показывает, что логика как наука, дающая теоретическое законов мышления, не есть нечто раз и навсегда . Наоборот, каждый раз с переходом к исследованию новой области объектов, требующих принятия новых абстракций и идеализации, при учете новых факторов, которые влияют на процесс рассуждения, сама эта теория изменяется. Т. о. логика является развивающейся наукой. Но сказанное демонстрирует и нечто большее, а именно, что в состав логики определенной теории законов мышления напрямую связано с принятием определенных онтологических допущений. С этой точки зрения логика является не только теорией мышления, но и теорией бытия (теорией онтологии).

Важным разделом современной логики является . В последней исследуются различные проблемы, относящиеся к логическим теориям. Основными здесь являются вопросы о тех свойствах, которыми обладают логические теории: о непротиворечивости, полноте, наличии разрешающих процедур, независимости исходных дедуктивных принципов, а также о различных отношениях между теориями и т. д. В этом смысле металогика является как бы саморефлексией логики относительно своих построений. Все метатеоретические исследования проводятся на специальном метаязыке, в качестве которого используется обычный естественный язык, обогащенный специальной терминологией и метатеоретическими дедуктивными средствами.

Логическая методология является еще одним разделом современной логики. Обычно методологию подразделяют на общенаучную, в рамках которой изучаются познавательные приемы, применяемые во всех областях научного знания, а также методологию отдельных наук: методологию дедуктивных наук, методологию эмпирических наук, а также методологию социального И гуманитарного знания. Во всех этих разделах логическая методология участвует в качестве специфического аспекта исследования. Так, в общей методологии к числу логических аспектов относится исследование таких познавательных приемов, как выработка и формулировка понятий, установление их видов и различных способов оперирования с понятийными конструкциями (деление , классификация), определения терминов и т. д.

Особенно большие успехи достигнуты в области методологии дедуктивных наук. Это было обусловлено как построением самой логики в форме дедуктивного аппарата, так и использованием этого аппарата для обоснования такой дедуктивной дисциплины, как . Все это потребовало разработки существенно новых познавательных методов и введения новых методологических понятий. В холе проводившейся здесь работы удалось, напр., так обобщить понятие функций, что оно перешло фактически в разряд общеметодологических, теоретико-познавательных понятий. Мы теперь имеем возможность рассматривать не только числовые функции, но и функции любой другой природы, что позволило сделать функциональный анализ языка ведущим методом исследования языковых выражений. Удалось со всей тщательностью и строгостью отработать такие важные методы познания, как метод аксиоматизации и формализации знания. Впервые удалось в четкой и, главное, разнообразной форме задать теоретико-доказательные (дедуктивные) методы познания, разработать теорию выразимости и определимости одних терминов через другие в составе теорий, определить различными способами понятие вычислимой функции.

В настоящее время активно разрабатывается логическая проблематика методологии эмпирических наук. К этой области относятся исследования по построению и проверке гипотез (в частности, гипотетико-дедукгивному методу), анализу различных видов правдоподобных рассуждений (индукции и аналогии), теории измерения. Здесь получены интересные результаты по вопросам соотношения эмпирического и теоретического уровней знания, процедурам объяснения и предсказания, операциональным определениям. Строятся различные модели эмпирических теорий, призванные прояснить их логическую структуру.

К числу общих методолого-логических принципов относятся и те законы и принципы познания, которые исследуются в рамках диалектической логики. Во многих случаях они выступают как некоторые предупредительные знаки о том, с какими неожиданностями мы можем встретиться на пути познания. В области методологии эмпирического, а также социального и гуманитарного познания большое значение имеет абсолютной и относительной истины; в области исторического познания существенным становится требование о совпадении исторического и логического, что фактически означает обычное требование адекватности познания, перенесенное в сферу исторических дисциплин. В последнее время делаются попытки построения дедуктивных систем, в которых формализуются отдельные особенности диалектической логики.

На протяжении тысячелетий логика была обязательной дисциплиной школьного и университетского образования, т. е. выполняла свою общекультурную задачу - пропедевтики мышления. Современная логика в полном объеме сохранила за собой эту дидактическую и учебно-методическую функцию. Однако развитие в последнее время мощного аппарата современной логики позволило ей и важной прикладной дисциплиной. В этой связи укажем на существенное ис

Сводная энциклопедия афоризмов