Логические исследования. Выпуск 27/2022

Description

В номере представлены работы, относящиеся к философской и неклассической логикам, а также истории логики. М. Легейдо знакомит читателя с интенсиональными семантиками для некоторых систем позитивной силлогистики. В. Маркин обращает внимание на использование в прошлом суждений существования и анализирует их связь с силлогистикой. В. Шалак в продолжение работ по процессуальной онтологии выделяет ее элементы, которые могут быть использованы при построении соответствующей логики. Л. Девятки и Н. Томова публикуют новые результаты, касающиеся выразительных возможностей паранепротиворечивых и параполных логик, а также критериев паранормальности. Результат М. Рыбакова и Д. Шкатова заключается в доказательстве неразрешимости двух логик в языке с единственным одноместным предикатным символом, двумя переменными и временным оператором Until. Статья И. Аннелиса и В. Бажанова посвящена имиджу российской логики и логиков в глазах Запада во второй половине прошлого века. Заключает номер первая часть подробного аналитического обзора систем временной логики, составленного О. Григорьевым.