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

DOI10.1080/01445340.2018.1534196zbMath1427.03025OpenAlexW2900087748MaRDI QIDQ5208122

Henri Wagner

Publication date: 15 January 2020

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2018.1534196

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Related Items (1)

Formal notes on the substitutional analysis of logical consequence

Cites Work

• Satisfying Predicates: Kleene's Proof of the Hilbert–Bernays Theorem
• Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence
• On the Substitutional Characterization of First-Order Logical Truth
• Logic in the twenties: the nature of the quantifier
• Who were the American postulate theorists?
• The Road to Modern Logic—An Interpretation
• American Postulate Theorists and Alfred Tarski
• On the Concept of Following Logically
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem