Journal of Siberian Federal University. Humanities & Social Sciences: Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System Modeled by the Logic Square and Hexagon of Opposition

Journal of Siberian Federal University. Humanities & Social Sciences / Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System Modeled by the Logic Square and Hexagon of Opposition

Full text (.pdf)

Issue: Journal of Siberian Federal University. Humanities & Social Sciences. 2019 12 (5)
Authors: Lobovikov, Vladimir O.
Contact information: Lobovikov, Vladimir O.: Institute of Pholosophy and Law of RAS(UB) 16 Sofya Kovalevskaya Str., Yekaterinburg, 620990, Russia;
Keywords: normal; non-normal; modal; universal; logic; a-priori; a-posteriori; knowledge; axiomatic-system; square-and-hexagon-of-opposition; a-priori; a-posteriori
Abstract: The paper aims at coping with the difficult problem of rationally uniting astonishingly huge amount of qualitatively different modal logics. For realizing this aim artificial languages of symbolic logic and the axiomatic methodology are used. Therefore, the method of constructing and studying formal logic inferences within the axiom system under investigation is exploited systematically. Inventing and elaborating a hitherto not-considered axiomatic system of epistemology uniting normal and not-normal modal logics is the new nontrivial scientific result of this work. History of philosophy and systematical philosophy, formal ethics and formal aesthetics, philosophical epistemology and analytical theology, philosophy of law and philosophy of science are among the important fields of application of the nontrivial abstract-theoretic principles demonstrated in this paper. Using the above-indicated machinery the author has arrived to the following main conclusion: the famous philosophical principles of utilitarianism, hedonism, optimism, pragmatism, fideism, falsifiability, verifiability, “Hume’s Guillotine”, “naturalistic fallacies” et al have not absolutely indefinite (unlimited) but quite definite (limited) sphere of relevant applicability; the precise formal definition of the border-line of mentioned sphere of relevance is the axiomatic one submitted and discussed in the paper. This general conclusion is instantiated in the text by several particular conclusions concerning explication and clarification of specific philosophical ideas and principles, for example, the one of kalokagathia. The author concludes that constructing and investigating the axiomatic systems of universal philosophical epistemology is indispensable for adequate representing human knowledge in artificial intellectual systems, for instance, in autonomous AI‑robots
Pages: 894–907
DOI: 10.17516/1997–1370–0336
Paper at repository of SibFU: https://elib.sfu-kras.ru/handle/2311/110306

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).