Лобовиков В.О.
Владимир Олегович Лобовиков, доктор философских наук, профессор, главный научный сотрудник, Институт философии и права Уральского отделения Российской академии наук, Екатеринбург, Россия, ORCID: https://orcid.org/0000-0001-8760-0452, е-mail: vlobovikov@mail.ru
https://dx.doi.org/10.17506/dipi.2017.27.2.163169
Впервые в аналитической философии универсальная теория знания точно формулируется и определяется как аксиоматическая система ?. Для ее формулировки используются четыре схемы аксиом. Использование метаязыка позволило сделать аксиоматическое определение системы ? философской эпистемологии значительно более простым и компактным (по сравнению с версиями, предложенными автором ранее). Конструируемая и обсуждаемая система ? непротиворечиво объединяет в одно целое нормальные и ненормальные модальные логики, что дает возможность непротиворечиво синтезировать в одной концептуальной схеме рационалистическую и эмпирицистскую парадигмы философствования о знании вообще. Систематическое конструирование и исследование дискретных математических моделей философии знания вообще и дальнейшее совершенствование аксиоматических систем универсальной философской эпистемологии (в частности, изучение системы ?) необходимо для построения адекватной метафизической подсистемы искусственного интеллекта автономных роботов.
Ключевые слова: нормальная-модальная-логика; ненормальная-модальная-логика; априорное- знание; апостериорное-знание; универсальная-философская-эпистемология; метафизическая-подсистема-интеллекта-автономного-робота.
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.
Скачать статью: PDF
