David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 183 (1):69-85 (2011)
The modern notion of the axiomatic method developed as a part of the conceptualization of mathematics starting in the nineteenth century. The basic idea of the method is the capture of a class of structures as the models of an axiomatic system. The mathematical study of such classes of structures is not exhausted by the derivation of theorems from the axioms but includes normally the metatheory of the axiom system. This conception of axiomatization satisfies the crucial requirement that the derivation of theorems from axioms does not produce new information in the usual sense of the term called depth information. It can produce new information in a different sense of information called surface information. It is argued in this paper that the derivation should be based on a model-theoretical relation of logical consequence rather than derivability by means of mechanical (recursive) rules. Likewise completeness must be understood by reference to a model-theoretical consequence relation. A correctly understood notion of axiomatization does not apply to purely logical theories. In the latter the only relevant kind of axiomatization amounts to recursive enumeration of logical truths. First-order “axiomatic” set theories are not genuine axiomatizations. The main reason is that their models are structures of particulars, not of sets. Axiomatization cannot usually be motivated epistemologically, but it is related to the idea of explanation
|Keywords||Axiomatic method Information Logical consequence Completeness Set theory|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Mathias Frisch (2005). Inconsistency, Asymmetry, and Non-Locality: A Philosophical Investigation of Classical Electrodynamics. Oxford University Press.
K. Gödel (1931). Über Formal Unentscheidbare Sätze der Principia Mathematica Und Verwandter Systeme I. Monatshefte für Mathematik 38 (1):173--198.
Jaakko Hintikka (1968). Behavioral Criteria of Radical Translation. Synthese 19 (1-2):69 - 81.
Jaakko Hintikka (2004). Independence-Friendly Logic and Axiomatic Set Theory. Annals of Pure and Applied Logic 126 (1-3):313-333.
Jaakko Hintikka (2001). Post-Tarskian Truth. Synthese 126 (1-2):17 - 36.
Citations of this work BETA
No citations found.
Similar books and articles
Marc Pauly (2008). On the Role of Language in Social Choice Theory. Synthese 163 (2):227 - 243.
Ryan Christensen (2011). Theories and Theories of Truth. Metaphysica 12 (1):31-43.
Ignacio Jane (1997). Theoremhood and Logical Consequence. Theoria 12 (1):139-160.
Marcel Boumans (2012). Measurement in Economics. In Uskali Mäki, Dov M. Gabbay, Paul Thagard & John Woods (eds.), Philosophy of Economics. North Holland. 395.
Volker Peckhaus (1995). Hilberts Logik. Von der Axiomatik zur Beweistheorie. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 3 (1):65-86.
Ivahn Smadja (2012). Local Axioms in Disguise: Hilbert on Minkowski Diagrams. Synthese 186 (1):315-370.
Added to index2009-10-12
Total downloads154 ( #5,393 of 1,099,957 )
Recent downloads (6 months)9 ( #28,004 of 1,099,957 )
How can I increase my downloads?