Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem

History and Philosophy of Logic 40 (2):182-199 (2018)
  Copy   BIBTEX

Abstract

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...

Categories

Keywords

Reprint years

2019

DOI

10.1080/01445340.2018.1534196

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence.Günther Eder - 2016 - History and Philosophy of Logic 37 (2):170-193.
On the Substitutional Characterization of First-Order Logical Truth.Matthew McKeon - 2004 - History and Philosophy of Logic 25 (3):205-224.
First‐order logical validity and the hilbert‐bernays theorem.Gary Ebbs & Warren Goldfarb - 2018 - Philosophical Issues 28 (1):159-175.
Paul Bernays' philosophical way.Miriam Franchella - 2006 - Grazer Philosophische Studien 70 (1):47-66.
On a Paradox of Hilbert and Bernays.Priest Graham - 1997 - Journal of Philosophical Logic 26 (1):45-56.
Completeness before Post: Bernays, Hilbert, and the development of propositional logic.Richard Zach - 1999 - Bulletin of Symbolic Logic 5 (3):331-366.
A propositional semantics for substitutional quantification.Geoff Georgi - 2015 - Philosophical Studies 172 (5):1183-1200.
Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.Gary Ebbs - 2015 - History and Philosophy of Logic 36 (4):346-366.
Immanence and Validity.W. V. Quine - 1991 - Dialectica 45 (2‐3):219-230.
Skolem and the löwenheim-skolem theorem: a case study of the philosophical significance of mathematical results.Alexander George - 1985 - History and Philosophy of Logic 6 (1):75-89.
Quine and the Problem of Truth.Joshua Schwartz - 2016 - Journal for the History of Analytical Philosophy 4 (10).
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
There Is A Problem with Substitutional Quantification.Philip Hugly & Charles Sayward - 2002 - Theoria 68 (1):4-12.
On an Argument for Truth-Functionality.Robert C. Cummins & Dale Gottlieb - 1972 - American Philosophical Quarterly 9 (3):265 - 269.
Grundlagen der mathematik.David Hilbert & Paul Bernays - 1934 - Berlin,: J. Springer. Edited by Paul Bernays.

Analytics

Added to PP
2018-11-07

Downloads
42 (#370,011)

6 months
8 (#342,364)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Henri Wagner
Université Michel de Montaigne - Bordeaux 3

Citations of this work

Formal Notes on the Substitutional Analysis of Logical Consequence.Volker Halbach - 2020 - Notre Dame Journal of Formal Logic 61 (2):317-339.
Relative Interpretations and Substitutional Definitions of Logical Truth and Consequence.Mirko Engler - 2020 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2019. London, Vereinigtes Königreich: College Publications. pp. 33 - 47.

Add more citations

References found in this work

Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
The concept of logical consequence.John Etchemendy - 1990 - Cambridge, Mass.: Harvard University Press.
From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
The ways of paradox.W. V. Quine - 1966 - New York,: Random.

View all 70 references / Add more references