Научный журнал "Дискурс-Пи"
ISSN: 1817-9568 (Print) РУС ENG

Главная / Архив журналов / №2 (27) / Объединение нормальных и ненормальных модальных логик в одной аксиоматической системе философской эпистемологии

Объединение нормальных и ненормальных модальных логик в одной аксиоматической системе философской эпистемологии

В.О. Лобовиков

https://dx.doi.org/10.17506/dipi.2017.27.2.163169

Впервые в аналитической философии универсальная теория знания точно формулируется и определяется как аксиоматическая система ?. Для ее формулировки используются четыре схемы аксиом. Использование метаязыка позволило сделать аксиоматическое определение системы ? философской эпистемологии значительно более простым и компактным (по сравнению с версиями, предложенными автором ранее). Конструируемая и обсуждаемая система ? непротиворечиво объединяет в одно целое нормальные и ненормальные модальные логики, что дает возможность непротиворечиво синтезировать в одной концептуальной схеме рационалистическую и эмпирицистскую парадигмы философствования о знании вообще. Систематическое конструирование и исследование дискретных математических моделей философии знания вообще и дальнейшее совершенствование аксиоматических систем универсальной философской эпистемологии (в частности, изучение системы ?) необходимо для построения адекватной метафизической подсистемы искусственного интеллекта автономных роботов. 
 
 

Ключевые слова: нормальная-модальная-логика; ненормальная-модальная-логика; априорное- знание; апостериорное-знание; универсальная-философская-эпистемология; метафизическая-подсистема-интеллекта-автономного-робота.

Лицензия Creative Commons
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.

Скачать статью: PDF