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