Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem (2019)
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.
...MoreSimilar Citations
Book
Føllesdal, Dagfinn;
(2001)
Philosophy of Quine; V. 5: Logic, Modality and Philosophy of Mathematics
(/isis/citation/CBB000102007/)
Thesis
Frost-Arnold, Gregory G.;
(2006)
Carnap, Tarski, and Quine's Year Together: Logic, Mathematics, and Science
(/isis/citation/CBB001560950/)
Book
John A. Goldsmith;
Bernard Laks;
(2019)
Battle in the Mind Fields
(/isis/citation/CBB777839551/)
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/)
Book
Patterson, Douglas;
(2008)
New Essays on Tarski and Philosophy
(/isis/citation/CBB001232382/)
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/)
Chapter
Goldfarb, Warren;
(2010)
Frege's Conception of Logic
(/isis/citation/CBB001211649/)
Chapter
Weiner, Joan;
(2010)
Understanding Frege's Project
(/isis/citation/CBB001211648/)
Book
Paolo Zellini;
(2010)
Numero e logos
(/isis/citation/CBB843348217/)
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/)
Article
de Rouilhan, Philippe;
(2012)
In Defense of Logical Universalism: Taking Issue with Jean van Heijenoort
(/isis/citation/CBB001214124/)
Book
Tieszen, Richard L.;
(2011)
After Gödel: Platonism and Rationalism in Mathematics and Logic
(/isis/citation/CBB001210605/)
Chapter
Galavotti, Maria Carla;
(2008)
A Tribute to Janina Hosiasson Lindenbaum, a Philosopher Victim of the Holocaust
(/isis/citation/CBB001023492/)
Article
Daude, Olivier;
(2011)
Le pragmaticisme et la question du témoignage
(/isis/citation/CBB001024474/)
Book
Ricketts, Tom;
Potter, Michael D.;
(2010)
The Cambridge Companion to Frege
(/isis/citation/CBB001211647/)
Article
Mancosu, Paolo;
(2005)
Harvard 1940--1941: Tarski, Carnap and Quine on a Finitistic Language of Mathematics for Science
(/isis/citation/CBB000740620/)
Book
Colyvan, Mark;
(2001)
Indispensability of Mathematics
(/isis/citation/CBB000102198/)
Article
Reto Gubelmann;
(2019)
From Shared Stimuli to Preestablished Harmony: The Development of Quine’s Thinking on Intersubjectivity and Objective Validity
(/isis/citation/CBB218676874/)
Be the first to comment!