2019

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

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

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

Осуществлено исследование новых направлений в области неклассических логик. Корни исторического развития логики уходят глубоко в античность, когда в философии начал доминировать субстанциальный взгляд на окружающий мир. Одновременно заявила о себе и процессуальная точка зрения, но она не получила дальнейшего развития. Анализ и выявление характеристик процессуальной онтологии может дать толчок исследованиям и развитию логик процессов. (Шалак В.И. О процессуальной логике // Вопр. философии. 2019. № 2. С. 35‒40; Шалак В.И. Онтология и логика процессов // Филос. науки. 2019. Т. 62. № 6. С. 138‒150).

Исследован класс многозначных паранепротиворечивых логик, в которых не имеет места закон непротиворечия и не выразим оператор непротиворечивости, а также класс многозначных параполных логик, в которых выполнимо отрицание закона исключенного третьего и не выразим оператор полноты. Установлены необходимые и достаточные условия принадлежности четырехзначных расширений логики FDE к указанным классам. (Девяткин Л.Ю. О подлинно паранепротиворечивых и подлинно параполных многозначных логиках // Логич. исслед. / Logical Investigations. 2019. № 2. С. 26‒45).

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

Проведен логический анализ имеющего важные онтологические и эпистемологические следствия редукционного тезиса Пирса – гипотезы о том, что любые отношения могут быть редуцированы к отношениям, местность которых не превышает трех. Найден ответ на вопрос верен ли этот тезис. (Шалак В.И. Тезис Пирса: логический анализ и онтологические следствия // Логич. исслед. / Logical Investigations. Т. 25. № 2. С. 138‒163).

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

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

Девяткин Л.Ю. (DevyatkinL.). Many-Valued Paraconsistent Extensions of Classical Positive Propositional Calculus // Journal of Applied Logics: IfCoLog Journal of Logics and their Applications. 2019. Vol. 6. № 2. P. 229‒254.
Девяткин Л.Ю. О подлинно паранепротиворечивых и подлинно параполных многозначных логиках // Логич. исслед. / Logical Investigations. 2019. № 2. С. 26‒45. DOI: 10.21146/2074‒1472‒2019‒25‒2‒26‒45.
Томова Н.Е. Логические связки // Электронная философская энциклопедия. 2019. Т. 3. URL: https://www.elenph.org/library/collection/elphilenc/document/HASH01edd88142ab076d045d0483.
Шалак В.И. Машина Тьюринга // Электронная философская энциклопедия. 2019. Т. 3. URL: https://www.elenph.org/library/collection/elphilenc/document/HASH01da89fe605d5da81ba2d0f9.
Шалак В.И. О процессуальной логике // Вопр. философии. 2019. № 2. С. 35‒40. DOI: 10.31857/S004287440003872‒4.
Шалак В.И. О статье А.В. Нехаева «Парадокс Ябло: Лжет ли нам бесконечный лжец?» // Epistemology & Philosophy of Science / Эпистемология и философия науки. 2019. Т. 56. № 3. С. 103‒109. DOI: 10.5840/eps201956352.
Шалак В.И. Онтология и логика процессов // Филос. науки. 2019. Т. 62. № 6. С. 138‒150. DOI: 10.30727/0235‒1188‒2019‒62‒6‒138‒150.
Шалак В.И. Тезис Пирса: логический анализ и онтологические следствия // Логич. исслед. / Logical Investigations. Т. 25. № 2. С. 138‒163. DOI: 10.21146/2074‒1472‒2019‒25‒2‒138‒163.