Выступление Михаила Смирнова и Анны Моисеевой на семинаре «Формальная философия»

Аннотация

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

Семинар пройдет в гибридном формате. Кнопка регистрации ниже.