Consistency, Models, and Soundness

Axiomathes 20 (2-3):153-207 (2010)

 Authors Matthias Schirn Ludwig Maximilians Universität, München Abstract This essay consists of two parts. In the first part, I focus my attention on the remarks that Frege makes on consistency when he sets about criticizing the method of creating new numbers through definition or abstraction. This gives me the opportunity to comment also a little on H. Hankel, J. Thomae—Frege’s main targets when he comes to criticize “formal theories of arithmetic” in Die Grundlagen der Arithmetik (1884) and the second volume of Grundgesetze der Arithmetik (1903)—G. Cantor, L. E. J. Brouwer and D. Hilbert (1899). Part 2 is mainly devoted to Hilbert’s proof theory of the 1920s (1922–1931). I begin with an account of his early attempt to prove directly, and thus not by reduction or by constructing a model, the consistency of (a fragment of) arithmetic. In subsequent sections, I give a kind of overview of Hilbert’s metamathematics of the 1920s and try to shed light on a number of difficulties to which it gives rise. One serious difficulty that I discuss is the fact, widely ignored in the pertinent literature on Hilbert’s programme, that his language of finitist metamathematics fails to supply the conceptual resources for formulating a consistency statement qua unbounded quantification. Along the way, I shall comment on W. W. Tait’s objection to an interpretation of Hilbert’s finitism by Niebergall and Schirn, on G. Gentzen’s allegedly finitist consistency proof for Peano Arithmetic as well as his ideas on the provability and unprovability of initial cases of transfinite induction in pure number theory. Another topic I deal with is what has come to be known as partial realizations of Hilbert’s programme, chiefly advocated by S. G. Simpson. Towards the end of this essay, I take a critical look at Wittgenstein’s views about (in)consistency and consistency proofs in the period 1929–1933. I argue that both his insouciant attitude towards the emergence of a contradiction in a calculus and his outright repudiation of metamathematical consistency proofs are unwarranted. In particular, I argue that Wittgenstein falls short of making a convincing case against Hilbert’s programme. I conclude with some philosophical remarks on consistency proofs and soundness and raise a question concerning the consistency of analysis. Keywords Compactness theorem  Completeness theorem  Relative/direct/approximative consistency proof  Consistency statement  Creation by definition  Finitist point of view  Game formalism  Metamathematics  Model  Soundness  Transfinite induction Categories Science, Logic, and Mathematics (categorize this paper) DOI 10.1007/s10516-010-9110-3 Options Mark as duplicate Export citation Request removal from index

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,163
External links

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

Frege in Perspective.Joan Weiner - 2018 - Cornell University Press.

Citations of this work BETA

Frege’s Philosophy of Geometry.Matthias Schirn - 2019 - Synthese 196 (3):929-971.

Similar books and articles

The Consistency Strength of an Infinitary Ramsey Property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Tree Models and (Labeled) Categorial Grammar.Yde Venema - 1996 - Journal of Logic, Language and Information 5 (3-4):253-277.
Validity and Soundness.Author unknown - 2004 - Internet Encyclopedia of Philosophy.
Fine's Prism Models for Quantum Correlation Statistics.W. D. Sharp & N. Shanks - 1985 - Philosophy of Science 52 (4):538-564.
Measuring Inconsistency.Kevin Knight - 2002 - Journal of Philosophical Logic 31 (1):77-98.

Analytics

Added to PP index
2013-10-29

Total views
83 ( #140,053 of 2,506,511 )

Recent downloads (6 months)
2 ( #277,244 of 2,506,511 )

How can I increase my downloads?

Downloads