magazinelogo

Journal of Applied Mathematics and Computation

ISSN Online: 2576-0653 Downloads: 170705 Total View: 1953159
Frequency: quarterly ISSN Print: 2576-0645 CODEN: JAMCEZ
Email: jamc@hillpublisher.com
Article Open Access http://dx.doi.org/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

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

[1] Adler, M.J. Six Great Ideas. New York: Simon & Schuster Inc., 1997, 256 p.

[2] Béziau J-Y. The New Rising of the Square of Opposition, J.-Y. Beziau, D. Jacqette, eds. Around and Beyond the Square of Opposition, Basel, Birkhäuser, 2012a, pp. 3-19.

[3] Béziau J-Y. “The Power of the Haxagon”, Logica Universalis, 2012b, vol. 6, no. 1-2, pp. 1-43.

[4] Blanché, R. Structures intellectuelles. Essai sur l’organisation systématique des concepts, Paris, Vrin, 1966, 151 p.

[5] Bull, R., Segerberg, K. “Basic Modal Logic,” in D. Gabbay, F. Guenthner (eds.). Handbook of Philosophical Logic, vol. II: Extensions of Classical Logic. Dordrecht: D. Reidel Publishing Company, 1984, рp. 1-88.

[6] Campbell, D.T. “Natural selection as an epistemological model”, in Raoul Naroll and Ronald Cohen (Eds.), A handbook of method in cultural anthropology, New York: National History Press, 1970, pp. 51-85.

[7] Campbell, D.T. “Evolutionary Epistemology”, in: P. A. Schilpp (ed.) The philosophy of Karl R. Popper, LaSalle, IL: Open Court, 1974, pp. 412—463.

[8] Campbell, D.T. “Evolutionary epistemology”, in: Evolutionary epistemology, rationality, and the sociology of knowledge, 1987, pp. 47-89.

[9] Campbell, D.T. “Epistemological roles for selection theory”, in: Evolution, cognition, and realism: Studies in evolutionary epistemology, 1990, pp. 1-19.

[10] Curley, E., Walski, G. “Spinoza's Necessitarianism Reconsidered // R. Gennaro and C. Huenemann (eds.). New Essays on the Rationalists. Oxford: Oxford University Press, 1999, pp. 241–62.

[11] Feyerabend P. Against method: outline of an anarchist theory of knowledge, London: NLB; Atlantic Highlands: Humanities Press, 1975, 339 p.

[12] Hilpinen, R. (ed.). Deontic Logic: Introductory and Systematic Readings. Dordrecht: D. Reidel, 1971. 184 p.

[13] Hintikka, J. Knowledge and belief. An introduction to the logic of the two notions. Ithaca: Cornell university press, 1962. 179 p.

[14] Hintikka, J. Knowledge and the known. Historical perspectives in epistemology. Dordrecht-Boston: D. Reidel, 1974. 243 p.

[15] Hintikka, J., Hintikka M.B. The logic of epistemology and the epistemology of logic. Selected essays. Dordrecht, etc.: Kluwer, 1989. 245 p.

[16] Hume, D. “A Treatise of Human Nature being an Attempt to Introduce the Experimental Method of Reasoning into Moral Subjects.” Ed. T.H. Green and T.H. Grose. The Philosophical Works of David Hume in Four Volumes. Vol. II. London: Longmans, Green, and Co., 1874, pp. 1-374.

[17] Hume, D. “An Enquiry Concerning Human Understanding,” in: Mortimer J. Adler (Ed.). Great Books of the Western World. V. 33. Chicago; London: Encyclopedia Britannica, Inc. 1994, pp. 451- 509.

[18] Kalinowski, G. La Logique des norms, Paris: Presses Universitaires de France, 1972. 218 p.

[19] Koistinen, O. “Spinoza's Proof of Necessitarianism,” Philosophy and Phenomenological Research. 2003. V. 66. N. 2, pp. 283–310.

[20] Kostyuk, V.N. Ehlementy modal'noj logiki [Elements of modal logic]. Kiev: Naukova dumka, 1978, 180 p. (in Russian)

[21] Kripke, S.A. “Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi,” Zeitschrift fur mathematische Logik und Grundlagen der Mathematik, 1963. Volume 9, Issue 5-6, pp. 67–96.

[22] Kripke, S.A. “Semantical Analysis of Modal Logic II: Non-Normal Modal Propositional Calculi,” in: The Theory of Models (Proceedings of the 1963 International Symposium at Berkley). Amsterdam: North-Holland, 1965, pp. 206–220.

[23] Kuhn T.S. The Structure of Scientific Revolutions. Chicago; London: The University of Chicago Press, 2012, 217 p.

[24] Leibniz, G.W. Generales Inquisitiones de Analysi Notionum et Veritatum, In: Couturat, L. Opuscules et Fragments Inédits de Leibniz: extraits de la Bibliothèque royale de Hanovre, Paris: Alcan, 1903. pp. 356-399.

[25] Leibniz, G.W. Theodicy: essays on the goodness of God, the freedom of man, and the origin of evil. London: Routledge & K. Paul, 1952. 448 p.

[26] Leibniz, G.W. “Elementa Juris Naturalis”, in: G.W. Leibniz. Philosophishe Schriften. Erster Band (1663-1672). Berlin: Akademie-Verlag, 1971. S. 431-485.

[27] Leibniz, G.W. New essays on human understanding. Cambridge [Eng.]; New York: Cambridge University Press, 1981. 402 p.

[28] Lobovikov, V.O. “An Axiomatic Definition of the Domain of Adequateness of the Rationalistic Optimism of G.W. Leibniz, D. Gilbert, and K. Gödel,” The Siberian Journal of Philosophy. 2016a. Vol. 14. No 4. pp. 69-81.

[29] Lobovikov, V.O. “An Axiomatization of Philosophical Epistemology,” Journal of Tomsk State University. Series: Phi-losophy, Sociology, Political Studies, 2016b. Vol. 36. No 4, pp. 69-78. DOI: 10.17223/1998863X/36/7

[30] Lobovikov, V.O. “Square and Hexagon of Opposition of ‘A-Priori Knowledge’ and ‘Empirical One’ (Eliminating an Im-pression of Logic Contradiction between Leibniz’ and Gödel’s Statements),” in: Jean-Yves Beziau, Arthur Buchsbaum, and Manuel Correia (Eds.). Handbook of Abstracts of 5th World Congress on the Square of Opposition (November 11-15, 2016, Easter Island – Rapa Nui, Chile). Santiago, Chile: Pontifical Catholic University, Chile, 2016c, pp. 33-34.

[31] Lobovikov, V.O. “A Formal Deductive Proof of Equivalence of Evaluative Modalities of Moral Goodness, Utility and Pleasure within an Axiomatic System of Epistemology from the Assumption of A-priori-ness of Knowledge (An Axiomatic Definition of the Scope of Relevant Applying G. Moore’s Doctrine of the Naturalistic Fallacies in Ethics),” Journal of Tomsk State University. Series: Philosophy, Sociology, Political Studies. 2017a. Vol. 39. No 3, pp. 30-39. DOI: 10.17223/1998863X/39/4.

[32] Lobovikov, V.O. “Uniting normal and non-normal modal logics by one axiomatic system of philosophical epistemology,” Scientific Journal “Discourse-P”, 2017b, Vol. 14, No 2, pp. 163-169.

[33] Lobovikov, V.O. “Evolutionary epistemology and non-normal modal logic of knowledge,” Journal of Tomsk State Uni-versity. Series: Philosophy, Sociology, Political Studies, 2018a. Vol. 41. No. 1, pp. 5-14. DOI: 10.17223/1998863Х/41/1

[34] Lobovikov, V.O. “Moving from the Opposition of Normal and Not-Normal Modal Logics to Universal Logic: Synthesizing T, S4, Tr, Verum and Falsum systems by the Square and Hexagon,” In: Jean-Yves Beziau, Arthur Buchsbaum, and Christophe Rey (eds). Handbook of the 6th World Congress and School on Universal Logic, June 16-26, 2018 Vichy, France: Université Clermont Auvergne, 2018b, pp. 449-450. UNILOG’2018 https: / / www.uni-log.org/Vichy2018

[35] Locke, J. “An Essay Concerning Human Understanding,” in: Mortimer J. Adler (Ed.). Great Books of the Western World. V. 33. Chicago; London: Encyclopedia Britannica, Inc. 1994, pp. 85-395.

[36] Mach, E. The analysis of sensations, and the relation of the physical to the psychical. Chicago; London: Open Court, 1914. 408 p.

[37] Miller, J.A. “Spinoza's Possibilities,” Review of Metaphysics. 2001. V. 54. N. 4, pp. 779–815.

[38] Moore, G.E. Principia Ethica. Cambridge: At the University press, 1903, 232 p.

[39] Newlands, S. “The Harmony of Spinoza and Leibniz,” Philosophy and Phenomenological Research. 2010. V. 81. N.1, pp. 64–104.

[40] Newlands, S. “Leibniz and the Ground of Possibility,” The Philosophical Review. 2013. V. 122. N. 2, pp. 155–187.

[41] Newlands, S. “Spinoza's Modal Metaphysics,” The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/win2013/entries/spinoza-modal/>.

[42] Popper, K.R. Conjectures and refutations: the growth of scientific knowledge. London; New York: Routledge, 2002. 582 p.

[43] Popper, K.R. The logic of scientific discovery. London; New York: Routledge, 1992. 479 p.

[44] Popper, K.R. Objective Knowledge: An Evolutionary Approach. Oxford [Eng.]: Clarendon Press; New York: Oxford University Press, 1979. 395 p.

[45] Priest, G. “What is a Non-Normal World?” Logique et Analyse. 1992. Vol. 139-140, pp. 291-302.

[46] Priest, G. An Introduction to Non-Classical Logic: From If to Is, 2nd Edition, Cambridge, New York: Cambridge University Press, 2008. 614 p.

[47] Ruse, M. “Evolutionary Epistemology: Can Sociobiology Help?” Sociobiology and Epistemology. Synthese Library. Volume 180. Dordrecht: D. Reidel, 1985, pp. 249-265.

[48] Spinoza, B. “Ethics,” in: Mortimer J. Adler (Ed.). Great Books of the Western World. V. 28. Chicago; London: Encyclopedia Britannica, Inc. 1994, pp. 589-697.

[49] Tulmin, S. “The Evolutionary Development of Natural Science,” American Scientist. 1967. Vol 55, pp. 456-471.

[50] Wittgenstein, L. Tractatus logico-philosophicus. London; New York: Routledge & K. Paul, 1992. 207 p.

[51] Wright, G.H. von. Philosophical Papers. Vol. I: Practical Reason. Oxford: Basil Blackwell, 1983, 214 p.

[52] Wuketits, F.M. Evolutionary Epistemology and Its Implications for Humankind. Albany, N.Y.: State University of New York Press, 1990. 262 p.

How to cite this paper

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

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

DOI: http://dx.doi.org/10.26855/jamc.2018.10.004