The Löwenheim-Hilbert-Bernays theorem states that, for an arithmetical first-order language L, if S is a satisfiable schema, then substitution of open sentences of L for the predicate letters of S results in true sentences of L. For two reasons, this theorem is relevant to issues relative to Quine’s substitutional definition of logical truth. First, it makes it possible for Quine to reply to widespread objections raised against his account (the lexicon-dependence problem and the cardinality-dependence problem). These objections purport to show that Quine’s account overgenerates: it would count as logically true sentences which intuitively or model-theoretically are not so. Second, since this theorem is a crucial premise in Quine’s proof of the equivalence between his substitutional account and the model-theoretic one, it enables him to show that, from a metamathematical point of view, there is no need to favour the model-theoretic account over one in terms of substitutions. The purpose of that essay is thus to explore the philosophical bearings of the Löwenheim-Hilbert-Bernays theorem on Quine’s definition of logical truth. This neglected aspect of Quine’s argumentation in favour of a substitutional definition is shown to be part of a struggle against the model-theoretic prejudice in logic. Such an exploration leads to reassess Quine’s peculiar position in the history of logic.
...More
Book
Føllesdal, Dagfinn;
(2001)
Philosophy of Quine; V. 5: Logic, Modality and Philosophy of Mathematics
(/isis/citation/CBB000102007/)
Book
John A. Goldsmith;
Bernard Laks;
(2019)
Battle in the Mind Fields
(/isis/citation/CBB777839551/)
Thesis
Frost-Arnold, Gregory G.;
(2006)
Carnap, Tarski, and Quine's Year Together: Logic, Mathematics, and Science
(/isis/citation/CBB001560950/)
Book
Ricketts, Tom;
Potter, Michael D.;
(2010)
The Cambridge Companion to Frege
(/isis/citation/CBB001211647/)
Chapter
Weiner, Joan;
(2010)
Understanding Frege's Project
(/isis/citation/CBB001211648/)
Book
Heijenoort, Jean van;
(2002)
From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931
(/isis/citation/CBB000201415/)
Book
Hopkins, Burt C.;
(2011)
The Origin of the Logic of Symbolic Mathematics: Edmund Husserl and Jacob Klein
(/isis/citation/CBB001212146/)
Chapter
Galavotti, Maria Carla;
(2008)
A Tribute to Janina Hosiasson Lindenbaum, a Philosopher Victim of the Holocaust
(/isis/citation/CBB001023492/)
Chapter
Goldfarb, Warren;
(2010)
Frege's Conception of Logic
(/isis/citation/CBB001211649/)
Article
de Rouilhan, Philippe;
(2012)
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort
(/isis/citation/CBB001214124/)
Book
Künne, Wolfgang;
(2010)
Die Philosophische Logik Gottlob Freges: ein Kommentar; mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I--IV
(/isis/citation/CBB001210615/)
Book
Paolo Zellini;
(1999)
Gnomon. Una indagine sul numero
(/isis/citation/CBB253354203/)
Chapter
Thiel, Christian;
(2009)
Gottlob Frege and the Interplay between Logic and Mathematics
(/isis/citation/CBB001210345/)
Book
Paolo Zellini;
(2010)
Numero e logos
(/isis/citation/CBB843348217/)
Book
Tieszen, Richard L.;
(2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic
(/isis/citation/CBB001210605/)
Book
Patterson, Douglas;
(2008)
New Essays on Tarski and Philosophy
(/isis/citation/CBB001232382/)
Article
Daude, Olivier;
(2011)
Le pragmaticisme et la question du témoignage
(/isis/citation/CBB001024474/)
Article
Browna, Frank Markham;
(2010)
McColl and Minimization
(/isis/citation/CBB001210979/)
Article
Kraal, Anders;
(2013)
The Emergence of Logical Formalization in the Philosophy of Religion: Genesis, Crisis, and Rehabilitation
(/isis/citation/CBB001213917/)
Book
Colyvan, Mark;
(2001)
Indispensability of Mathematics
(/isis/citation/CBB000102198/)
Be the first to comment!