Formal notes on the substitutional analysis of logical consequence

DOI10.1215/00294527-2020-0009zbMath1506.03026OpenAlexW3015637156MaRDI QIDQ778737

Volker Halbach

Publication date: 20 July 2020

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1586224880

zbMATH Keywords

logical consequencelogical validity

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Classical first-order logic (03B10)

Related Items (2)

Substitutional validity for modal logic ⋮ CLASSICAL DETERMINATE TRUTH I

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maximal consistent sets of instances of Tarski's schema (T)
• On the Substitutional Characterization of First-Order Logical Truth
• Logical Pluralism
• Everything, more or less
• Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem
• Feferman and the Truth
• Axiomatizing Kripke's theory of truth

This page was built for publication: Formal notes on the substitutional analysis of logical consequence