2022

Научный отчет за 2022 год

Сектор логики

Руководитель – доктор филос. наук В.И. Шалак

Проведен анализ того, как возможно сосуществование различных неклассических логик. В их основе лежат наиболее общие онтологические допущения об исследуемой предметной области. и наиболее общие эпистемические допущения о характере отношения языковых выражений к объектам внеязыковой реальности. Различные логики являются теориями этих принимаемых допущений, а не универсальными инструментами рассуждений, которые не зависят от характеристик исследуемой области и категорий языковых выражений.

Проведен сравнительный анализ различных переводов первой главы «Первой аналитики» Аристотеля с целью уточнить, как он понимал отношение субъекта и предиката в категорических атрибутивных суждениях. В одних переводах отношение субъекта и предиката трактуется интенсионально, как отношение между множествами признаков, а в других — экстенсионально, как отношение между объемами терминов. Интенсиональная трактовка неадекватна аристотелевскому изложению силлогистики.

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

Рассмотрены критерии паранепротиворечивости, которым должна удовлетворять логическая система для корректной работы в условиях противоречивой информации. Даны различные формулировки принципа «из противоречия следует все что угодно и соответствующие определения паранепротиворечивой логики. Изучены вопросы, связанные с паранепротиворечивым отрицанием, указаны свойства классического отрицания, несовместимые с отказом от принципа «из противоречия следует все что угодно». Приведены различные взгляды на необходимость неверифицируемости в паранепротиворечивых логиках принципа непротиворечия.

Плановая научная работа

Научные статьи

Шалак В.И. Минимальная логика для анализа технологий // Интеллектуальные системы. Теория и приложения. 2022. Т. 26. № 1. С. 436–439.
Шалак В.И. О проблеме адекватного перевода логических текстов Аристотеля // Логико-философские штудии. 2022. Т. 20. № 2. С. 76–88. DOI: 10.52119/LPHS.2022.40.97.005.
Шалак В.И. Об истоках множественности логик // Философский журнал. 2022. Т. 15. № 4. С. 88–97. DOI: 10.21146/2072-0726-2022-15-4-88-97.
Шалак В.И. Телеология и целенаправленное поведение: логический анализ // Логические исследования. 2022. Т. 28. № 2. С. 9–39. DOI: 10.21146/2074-1472-2022-28-2-9-39.
Девяткин Л.Ю. Неклассический взгляд на природу значений истинности // Логические исследования. 2022. Т. 28. № 2. С. 40–65. DOI: 10.21146/2074-1472-2022-28-2-40-65.
Девяткин Л.Ю. Референциально двузначные семантики для инференциально многозначных логик // После постпозитивизма. Материалы Третьего Межд. Конгресса Русского общества истории и философии науки / Науч. ред. и сост. И.Т. Касавин и др. М.: РОИФН, 2022. С. 497–500.
Томова Н.Е. К вопросу о критерии паранепротиворечивости логик // Логические исследования. 2022. Т. 28. № 2. С. 77–95. DOI: 10.21146/2074-1472-2022-28-2-77-95.
Томова Н.Е. Противоречие // Электронная филос. энциклопедия. 2022. Т. 14. URL: https://www.elenph.org.