Логика. Краткий курс. Коллектив авторов

значимость.

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

2

      Известная пословица говорит: «Нет пророка в своем отечестве». Те, кого мы сегодня называем классиками, некогда стояли наравне со своими современниками, и последние не скупились на критику.

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

3

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

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

4

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

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

5

      В 1920-е гг. начали складываться также:

      – многозначная логика, предполагающая, что утверждения являются не только истинными или ложными, но и могут иметь другие истинностные значения;

      – деонтическая логика, изучающая логические связи нормативных понятий;

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

6

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

      В дальнейшем сложились и нашли приложение:

      – логика времени, описывающая логические