2021

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

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

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

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

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

Исследованы замкнутые классы функций четырехзначной логики, которые могут быть порождены системами элементарных операций характеристических матриц для таких языковых расширений логики FDE, которые являются одновременно максимально паранепротиворечивыми и максимально параполными. Найдены необходимые и достаточные условия, которым должны отвечать четырехзначные языковые расширения FDE, чтобы быть максимально паранепротиворечивыми и максимально параполными. Дано описание такого множества из 5 одноместных и 20 двухместных предикатов, что любой замкнутый класс функций, порожденный системой элементарных операций четырехзначной характеристической матрицы языкового расширения FDE, есть класс функций, сохраняющих одно из подмножеств данного множества. Описаны все 14 множеств предикатов, описывающих замкнутые классы, которые соответствуют четырехзначным характеристическим матрицам максимально паранепротиворечивых и параполных расширений FDE.

Исследован класс n-значных литеральных паранормальных логик, полученных методом комбинирования изоморфов классической логики. Паранормальные логики позволяют строить выводы в условиях противоречивых и неполных данных. Учитывая критерий неверифицируемости законов Дунса Скота и Клавия в паранормальных логиках, сформулированы требования для n-значной логической матрицы, определяющей паранормальную теорию. Доказано, что полученный класс n-значных матриц индуцирует ту же паранормальную теорию, что и четырехзначная логика V, представляющей собой реконструкцию воображаемой логики Н.А. Васильева.

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

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

Девяткин Л.Ю. О выразительных возможностях максимально паранепротиворечивых и максимально параполных четырехзначных расширений FDE // Логич. исслед. / Logical Investigations. 2021. T. 27. № 2. С. 66–92. ISSN 2074-1472. DOI: 10.21146/2074-1472-2021-27-2-66-92 (ВАК, Scopus)
Томова Н.Е. О критерии паранормальности для n-значных логических матриц // Логич. исслед. / Logical Investigations. 2021. T. 27. № 2. С. 121–132. ISSN 2074-1472. DOI: 66–92. DOI: 10.21146/2074-1472-2021-27-2-121-132 (ВАК, Scopus)
Шалак В.И. Логика в онтологии процессов // Логич. исслед. / Logical Investigations. 2021. Т. 27 № 2 . С. 48–65. DOI: 10.21146/2074-1472-2021-27-2-48-65. ISSN 2074-1472. (ВАК, Scopus)
Шалак В.И. Алгоритмическая модель социальных процессов // Философские проблемы информационных технологий и киберпространства. 2021. № 1. С. 46–62. DOI: 10.17726/philIT.2021.1.3. [Электронный ресурс] URL: https://cyberspace.pgu.ru/jour/article/view/220. (ERIH PLUS, RSCI, EBSCO, ВАК).