Synthesizing Normal and Non-Normal Modal Logics in Philosophical Epistemology Axiomatic System Modeled by the Logic Square and Hexagon of Opposition

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

Цель статьи — решение трудной проблемы рационального объединения ошеломляюще огромного количества качественно различных модальных логик. Для достижения этой цели используются искусственные языки символической логики и методология аксиоматики. Поэтому систематически используется метод конструирования и изучения формальных логических выводов в исследуемой аксиоматической системе. Новым нетривиальным научным результатом этой работы является изобретение и детальная разработка до сих пор не исследованной аксиоматической системы эпистемологии, объединяющей нормальные и ненормальные логики. Важными областями приложения нетривиальных абстрактно-теоретических принципов, обоснованных в этой статье являются история философии и систематическая философия, формальная этика и формальная эстетика, философская эпистемология и аналитическая теология, философия права и философия науки. Используя вышеуказанные средства, автор пришел к следующему основному выводу. Знаменитые философские принципы утилитаризма, гедонизма, оптимизма, прагматизма, фидеизма, фальсифицируемости, верифицируемости, «Гильотина Юма», «анти-натурализм» … имеют не абсолютно неопределенную (неограниченную), а вполне определенную (ограниченную) сферу уместной применимости; точное формальное определение границы упомянутой сферы релевантности является аксиоматическим; оно представлено и обсуждается в данной статье. Этот общий вывод экземплифицируется в тексте серией частных выводов, касающихся уточнения и прояснения специфических философских идей и принципов, например, принципа калокагатии. В заключении автор делает вывод что, конструирование и исследование аксиоматических систем универсальной философской эпистемологии необходимо для адекватного представления человеческого знания в искусственных интеллектуальных системах, например, в автономных роботах с элементами искусственно интеллекта