- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
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)
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...Author's Profile
Other Versions
No versions found
My notes
Similar books and articles
First‐order logical validity and the hilbert‐bernays theorem.Gary Ebbs & Warren Goldfarb - 2018 - Philosophical Issues 28 (1):159-175.
Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem.Gary Ebbs - 2015 - History and Philosophy of Logic 36 (4):346-366.
INVENTING LOGIC: THE LÖWENHEIM-SKOLEM THEOREM AND FIRST- AND SECOND-ORDER LOGIC.Valérie Lynn Therrien - 2012 - Pensées Canadiennes 10.
On a Paradox of Hilbert and Bernays.Priest Graham - 1997 - Journal of Philosophical Logic 26 (1):45-56.
Redundancies in the Hilbert-Bernays derivability conditions for gödel's second incompleteness theorem.R. G. Jeroslow - 1973 - Journal of Symbolic Logic 38 (3):359-367.
On löwenheim–skolem–tarski numbers for extensions of first order logic.Menachem Magidor & Jouko Väänänen - 2011 - Journal of Mathematical Logic 11 (1):87-113.
Jeroslow R. G.. Redundancies in the Hilbert–Bernays derivability conditions for Gödel's second incompleteness theorem.C. F. Kent - 1983 - Journal of Symbolic Logic 48 (3):875-876.
Weak and Post completeness in the Hilbert school.Víctor Aranda - 2019 - Humanities Journal of Valparaiso 14:449-466.
Analytics
Added to PP
2018-11-07
Downloads
69 (#316,882)
6 months
15 (#168,777)
2018-11-07
Downloads
69 (#316,882)
6 months
15 (#168,777)
Historical graph of downloads
Author's Profile
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 Martin Blicha & Igor Sedlar, The Logica Yearbook 2019. College Publications. pp. 33 - 47.
References found in this work
From a Logical Point of View.Richard M. Martin - 1955 - Philosophy and Phenomenological Research 15 (4):574-575.
Quiddities: an intermittently philosophical dictionary.Willard Van Orman Quine - 1987 - Cambridge, MA: Harvard University Press.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-8567d8d854-f747c dc2