Классическая и неклассическая логика

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

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

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

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

Экстенсивный рост логики не завершился и сейчас.