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

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

For the first time in analytic philosophy the universal theory of knowledge is precisely formulated and defined as an axiomatic system Ξ. For formulating it four axiom schemes are used. Exploiting meta-language gave a possibility to make the axiomatic definition (of the system Ξ) more simple and compact (in comparison with the options submitted by the author before).The system Ξ under construction and definition consistently unites in one whole normal and non-normal modal logics; this gives a possibility consistently to synthesize in one conceptual scheme the rationalistic and empiricist paradigms of philosophizing about knowledge in general. Systematical constructing and investigating discrete mathematical models of philosophy of knowledge in general and further perfecting axiomatic systems of universal philosophical epistemology (in particular, studying the system Ξ) is indispensable for constructing adequate metaphysic sub-system of artificial intelligence of autonomous robots.

Полный текст>>