Из истории неклассической логики

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

В 1908 г. Л. Брауэр, голландский математик и логик, подверг сомнению неограниченную приложимость в математических рассуждениях классических законов исключенного третьего, (снятия) двойного отрицания, косвенного доказательства. Одним из результатов анализа таких рассуждений явилось возникновение интуиционистской логики, сформулированной в 1930 г. А. Рейтингом и не содержащей указанных законов. Одновременно с Брауэром идею нсуниверсальности закона исключенного третьего отстаивал Н. А. Васильев.

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

На рубеже 20-х годов XX в. К. И. Льюисом и Я. Лукасевичем были построены первые в современной логике модальные логики, рассматривавшие понятия необходимости, возможности, случайности и т. п. Тем самым была возрождена тема модальностей, которой активно занимались еще Аристотель и средневековые логики.

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

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

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