Uniting Normal and Non-Normal Modal Logics by One Axiomatic System of Philosophical Epistemology

Abstract

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.

Keywords

• normal-modal-logic; non-normal-modal-logic; a-priori-knowledge; a-posteriori-knowledge; universal-philosophical-epistemology; metaphysical-subsystem-of-artificial-intelligence-of-autonomous-robot.