Логика в вопросах и ответах

С помощью приведенного символического языка строится формализованная логическая система.

История формирования логики

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

История свидетельствует, что отдельные логические проблемы возникают перед человечеством уже свыше 2,5 тыс. лет назад, прежде всего в Древней Индии. В индийской логике много внимания уделяется теории умозаключения, которое в ней отождествляется с доказательством. Давайте рассмотрим особенности индийской логики.

• Оригинальное учение о пятичленном силлогизме, в котором объединены понятия индукции и дедукции. Членами силлогизма являются: тезис, основание, пример, применение, вывод.

• Суждение не признается самостоятельным актом мышления, а является только членом умозаключения.

• Восприятие не является непосредственно данным нам, а заключает в себе акт «суждение – умозаключение». Иными словами, в основе нашего восприятия мира лежит приобретенный нами опыт.

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

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

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

Вторая причина – это развитие ораторского искусства и искусства спора.

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

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

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

Будучи гигантским обобщением предшествующей практики мышления, логика Аристотеля оказала огромное влияние и на другие сферы знания. Так, под сильным впечатлением от этой науки были написаны знаменитые «Начала» Евклида (начало III в. до н. э.). В них подведен итог развитию древнегреческой математики и впервые проявился на практике дедуктивный метод построения теории.

Логика Аристотеля оказала значительное влияние и на развитие ораторского искусства, особенно судебных речей. Так, один из теоретиков риторики, Гермагор, около середины II в. до н. э. разработал знаменитую «систему нахождения», которая явилась высшим достижением эллинской риторики. Суть данной системы сводилась к тому, что все многообразие судебных «казусов» (случаев) сведено к единой схеме видов и разновидностей («статутов»), которой пользовались ораторы в своих речах.

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

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

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

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

Огромный вклад в развитие формальной логики внесли русские ученые. Оригинальные логические концепции в России разрабатывались в XVIII в., и связаны прежде всего с именами М. В. Ломоносова и А. Н. Радищева. Расцвет же логических исследований в нашей стране относится к концу XIX в. Это прежде всего такие логики как М. Каринский, Л. Рутковский, С. Поварнин.

Подлинную революцию в логических исследованиях вызвало создание во второй половине XIX в. математической логики, которая получила название символической. Первой попыткой создания данного вида логики стала разработка символической формализованной системы, предпринятая Г. Лейбницем (1646–1716). Лейбниц по существу стал основателем символической логики. Он стремился изобрести универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку. Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Новое знание, по его мнению, будет результатом логического исчисления. Он различал два вида логических исчислений: исчисление высказываний и исчисление предикатов. При первом допускается отвлечение от понятийной структуры суждения, а при втором эта структура учитывается, и соответственно символический язык дополняется новыми знаками. Однако его труды не получили признания – символическая логика не получила широкого распространения.

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

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

Растущие потребности научно-технического прогресса обуславливают дальнейшее развитие современной логики.

Особенности современной логики

Непосредственным результатом революции, произошедшей в логике в конце XIX – начале XX вв., было возникновение логической теории, получившей со временем название «классическая логика». У ее истоков стоят ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В их работах была реализована идея переноса в логику тех методов, которые обычно применяются в математике. Классическая логика по-прежнему остается ядром современной логики, сохраняющим как теоретическую, так и практическую значимость. Таким образом, классическая логика продолжает традиции аристотелевского направления в развитии логики, используя при этом современный математический и категориальный аппарат.

Однако в начале XX в. началась критика классической логики. В результате возникло множество новых направлений, которые получили название неклассической логики.

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

Интуиционистская логика

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

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

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

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

Многозначная логика

В 20-е гг. начало складываться новое направление – многозначная логика. Особенностью классической логики является принцип, согласно которому каждое высказывание либо истинно, либо ложно. Это так называемый принцип двузначности. Ему противопоставляют многозначные системы. В них, наряду с истинными и ложными суждениями, допускаются неопределенные суждения, учет которых меняет всю картину рассуждения.

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

Подход Аристотеля уже в древности вызывал ожесточенные споры. Его высоко оценивал Эпикур, который допускал существование случайных событий. Другой древнегреческий логик Хрисипп, категорически отрицавший случайное, с Аристотелем не соглашался. Он считал принцип двузначности одним из основных положений не только всей логики, но и философии.

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

Но только в современной логике оказалось возможным реализовать сомнения в универсальности принципа двузначности в форме логических систем. Первые многозначные логики построили независимо друг от друга польский логик Я. Лукасевич в 1920 г. и американский логик Э. Пост в 1921 г.

Лукасевичем была предложена трехзначная логика, основанная на предположении, что высказывания бывают истинными, ложными и неопределенными. К последним были отнесены высказывания наподобие: «Студенты летом поедут в отпуск». Событие, описываемое данным высказыванием, сейчас никак не определено – ни позитивно, ни негативно. Значит, высказывание не является ни истинным, ни ложным, оно только возможно.

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

В отличие от Лукасевича Э. Пост подходил к построению многозначной логики чисто формально. Допустим, 1 обозначает истину, а 0 – ложь. Естественно допустить, что числа между единицей и нулем обозначает степени истины.

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

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

Релевантная логика

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

На эти так называемые «парадоксы импликации» еще в 1912 г. обратил внимание американский логик К. И. Льюис. Он разработал неклассическую теорию логического следования, в основе которой лежало понятие строгой импликации. Наиболее полное развитие данная концепция получила в релевантной логике, разработанной американскими логиками А. Р. Андерсоном и Н. Д. Белнапом.

Особенности логических законов и их связь с принципами мышления

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