The Axiomatic Method and Model Theory in Mathematics and Logic: An Expository Analysis
DOI:
https://doi.org/10.31150/ajshr.v3i12.1847Keywords:
axiomatic method, mathematical logic, model theory, interpretation, and bijectionAbstract
The paper is concerned with the investigation of the concepts of axiomatic method and model theory. The purpose of the paper is an expository one. The study was warranted by the wanton approach in mathematical logic textbooks, where authors punish readers by presupposing a knowledge base that the latter do not possess. The methods adopted for the study are content analysis and the traditional historical approach. The paper has demonstrated the features of the axiomatic method and how such features have evolved over time, as well as their application in formalisms. It has also been shown that model theory, just as proof theory, is a necessary corollary of the axiomatic method. The paper concludes by presenting a sample model of an abstract formalism.
References
Ajdukiewicz, Kazimierz (1966). “From the Methodology of Deductive Sciences”. Studia Logica. (19). Pp. 9 - 46.
Blanche, Robert (1965). Axiomatics. London: Routledge and Kegan Paul.
Bocher, Maxime (1904). “The Fundamental Conceptions and Methods of Philosophy”. Bulletin of American Mathematical Society. (10). Pp. 15 - 135.
Bridge, Jane (1977). Beginning Model Theory. Oxford: Clarendon Press.
Gödel, Kurt (1986). Collected Works Volume 1. Ed. Solomon Feferman: Oxford: Oxford University Press.
Gödel, Kurt (1990). Collected Works Volume 2. Ed.Solomon Feferman. Oxford: Oxford University Press.
Gödel, Kurt (1995). Collected Works Volume 3. Ed. Solomon Feferman. Oxford: Oxford University Press.
Hamilton, A. G (1978). Logic for Mathematicians. Cambridge: Cambridge Univesity Press.
Mancuso, Paolo, et al (2003). “The Russellian influence on Hilbert and his School”. Synthese. (137). Pp. 59- 101. Web. 12 June, 2005.
Mancuso, Paolo, et al (2001). The Development of Mathematical Logic from Russell to Tarski: 1900 - 1935. Oxford: Oxford University Press. Web. 12 June, 2005.
Resnik, Michael (1980). Frege and the Philosophy of Mathematics. London: Cornet University Press.
Skolem, Thoralf (1970). Selected Works in Logic. Oslo: Universitetsferlaget.
Tarski, Alfred (1951). A Decision Method for Elementary Algebra and Geometry. Berkeley: University of California Press. Web. 5 April, 2007.
Tarski, Alfred (1983). Logic, Semantics, Mathematics. Ed. John Corcoran. Indianapolis: Hacket. Web. 5 April, 2007.
Thompson, Ross (1990). Holy Ground: The Spirituality of Matter. London: SPCK.
Wilder, Raymond (1955). Introduction to the Foundations of Mathematics, New York: John Wiley and Sons.
