назад
Научный отчет за 2021 годСектор логикиРуководитель – доктор филос. наук В.И. Шалак Проведен сравнительный анализ субстанциальной и процессуальной онтологий, выделены основные понятия процессуальной онтологии, предложена ее формальная реконструкция. Показано, как определить в процессуальной онтологии понятия, соответствующие понятиям индивида и свойства субстанциальной онтологии. (Шалак В.И. Логика в онтологии процессов // Логические исследования. 2021. Т. 27 № 2 . С. 48–65.) В настоящее время активно развивается идея вычислительной Вселенной, все процессы которой имеют алгоритмический характер. В этой связи проведен сравнительный анализ физических процессов, описываемых в терминах законов природы, и физических процессов, имеющих выраженный алгоритмический характер, с целью выделения их отличительных признаков. (Шалак В.И. Алгоритмическая модель социальных процессов // Философские проблемы информационных технологий и киберпространства. 2021. № 1. С. 46–62.) Исследованы замкнутые классы функций четырехзначной логики, которые могут быть порождены системами элементарных операций характеристических матриц для таких языковых расширений логики FDE, которые являются одновременно максимально паранепротиворечивыми и максимально параполными. Найдены необходимые и достаточные условия, которым должны отвечать четырехзначные языковые расширения FDE, чтобы быть максимально паранепротиворечивыми и максимально параполными. Дано описание такого множества из 5 одноместных и 20 двухместных предикатов, что любой замкнутый класс функций, порожденный системой элементарных операций четырехзначной характеристической матрицы языкового расширения FDE, есть класс функций, сохраняющих одно из подмножеств данного множества. Описаны все 14 множеств предикатов, описывающих замкнутые классы, которые соответствуют четырехзначным характеристическим матрицам максимально паранепротиворечивых и параполных расширений FDE. (Девяткин Л.Ю. О выразительных возможностях максимально паранепротиворечивых и максимально параполных четырехзначных расширений FDE // Логич. исслед. / Logical Investigations. 2021. T. 27. № 2. С. 66–92.) Исследован класс n-значных литеральных паранормальных логик, полученных методом комбинирования изоморфов классической логики. Паранормальные логики позволяют строить выводы в условиях противоречивых и неполных данных. Учитывая критерий неверифицируемости законов Дунса Скота и Клавия в паранормальных логиках, сформулированы требования для n-значной логической матрицы, определяющей паранормальную теорию. Доказано, что полученный класс n-значных матриц индуцирует ту же паранормальную теорию, что и четырехзначная логика V, представляющей собой реконструкцию воображаемой логики Н.А. Васильева. (Томова Н.Е. О критерии паранормальности для n-значных логических матриц // Логич. исслед. / Logical Investigations. 2021. T. 27. № 2. С. 121–132.)
Плановая научная работа
Научные статьи
|
|||||
|
 |
|
    |
|
