Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence

DOI10.1080/01445340.2015.1028610zbMath1384.03025OpenAlexW2339899308WikidataQ58503707 ScholiaQ58503707MaRDI QIDQ2964410

Günther Eder

Publication date: 24 February 2017

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

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

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 (2)

Substitutional validity for modal logic ⋮ Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the idea of a general proof theory
• Validity concepts in proof-theoretic semantics
• On the Substitutional Characterization of First-Order Logical Truth
• What are logical notions?
• Did Tarski commit “Tarski's fallacy”?
• Steps toward a constructive nominalism
• Interpretations of sets of conditions

This page was built for publication: Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence