Journal of Applied Mathematics and Computation

Proofs of Logic Consistency of A Formal Axiomatic Epistemology Theory , and Demonstrations of Improvability of The Formulae (Kq  q) and (q  q) in It

Date: November 5,2018 |Hits: 2951 Download PDF How to cite this paper

V.O. Lobovikov

Laboratory for Applied System Research, Ural Federal University, Yekaterinburg

*Corresponding author: V.O. Lobovikov

Email: vlobovikov@mail.ru

Abstract

Synthesizing some normal and non-normal modal logic systems by the formal axiomatic epistemology theory X is under investigation. New proofs of logic non-contradictoriness of the theory X are constructed. For the first time several proofs of improvability of (Kq ® q) and (ðq® q) in X are submitted. (Here “Kq” stands for “person knows that q”; “ðq”stands for “it is necessary that q”, and “q” stands for a proposition.) The logically formalized axiomatic epistemology system X is considered as a response to the critique of the classical epistemic modal logic by the empiricist-minded philosophers and representatives of the evolutionary epistemology. Some aspects of the system under discussion are graphically represented by the square and hexagon of conceptual opposition.

References

How to cite this paper

Proofs of Logic Consistency of A Formal Axiomatic Epistemology Theory X, and Demonstrations of Improvability of The Formulae (Kq ® q) and (q ® q) in It

How to cite this paper: Lobovikov, V.O. (2018) Proofs of Logic Consistency of A Formal Axiomatic Epistemology Theory X, and Demonstrations of Improvability of The Formulae (Kq ® q) and (q ® q) in It. Journal of Applied Mathematics and Computation, 2(10), 483-495.

DOI: 10.26855/jamc.2018.10.004

Volumes & Issues

Volume 7 (2023)

Volume 6 (2022)

Volume 5 (2021)

Volume 4 (2020)

Volume 3 (2019)

Volume 2 (2018)

Volume 1 (2017)

Free HPG Newsletters

Add your e-mail address to receive free newsletters from Hill Publishing Group.

More Journals

Contact us

Hill Publishing Group

8825 53rd Ave

Elmhurst, NY 11373, USA

E-mail: contact@hillpublisher.com