Доклад Анастасии Оноприенко "Совместная логика задач и высказываний"
3 марта в 18:00 состоится 76-е заседание научно-теоретического семинара "Формальная философия".
Анастасия Оноприенко
МГУ
выступит с докладом
«Совместная логика задач и высказываний»
Аннотация:
В комментарии 1985г. к своему собранию сочинений А. Н. Колмогоров сообщил, что его статья "К толкованию интуиционистской логики" (1932 г.) «писалась в надежде на то, что логика решения задач [т.е. интуиционистская логика] сделается со временем постоянным разделом курса логики. Предполагалось создание единого логического аппарата, имеющего дело с объектами двух типов — высказываниями и задачами.» В докладе будет рассказано о такой системе (а также её предикатной версии) - логике QHC, являющейся консервативным расширением как классического исчисления предикатов, так и интуиционистского исчисления предикатов. Аксиоматика логики QHC является результатом одновременной формализации двух известных альтернативных толкований интуиционистской логики: 1) задачной интерпретации Колмогорова (с известными уточнениями Гейтинга и Крайзеля) и 2) доказательной интерпретации Орлова и Гейтинга, прояснённой и расширенной Гёделем.
Мероприятие пройдет в гибридном формате по адресу Старая Басманная улица 21/4 ауд. А-408, с параллельной трансляцией в zoom.
Для получения ссылки на zoom, пожалуйста, заполните форму.
При возникновении вопросов пишите по адресу llfp@hse.ru