Home Journals Books For Authors and Reviewers Online Submission News About Us Contact Us
Search
magazinelogo

Journal of Applied Mathematics and Computation

ISSN Print: 2576-0645 Downloads: 126125 Total View: 1655973
Frequency: quarterly ISSN Online: 2576-0653 CODEN: JAMCEZ
Email: jamc@hillpublisher.com
Search articles within this journal Submit an article

Journal Menu

Volumes & Issues

Current Issue

Download PDF

How to cite this paper

4354

TOTAL VIEWS

More Articles

Article 10.26855/jamc.2018.10.004

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

V.O. Lobovikov

Laboratory for Applied System Research, Ural Federal University, Yekaterinburg
*Corresponding author: V.O. Lobovikov
Email: vlobovikov@mail.ru
Published: November 5,2018

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

Home　|　Journals　|　Books　|　For Authors and Reviewers　|　Online Submission　|　Contact Us　|　About Us

Copyright © 2023 Hill Publishing Group Inc. All Rights Reserved.