On the Substitutional Characterization of First-Order Logical Truth

DOI10.1080/01445340310001642093zbMath1062.03013OpenAlexW1996616311WikidataQ58539965 ScholiaQ58539965MaRDI QIDQ3156301

Matthew William McKeon

Publication date: 6 January 2005

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

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

zbMATH Keywords

substitutionsmodel-theoretic account of first-order logical truth

Mathematics Subject Classification ID

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

Related Items (4)

Substitutional validity for modal logic ⋮ Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence ⋮ Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem ⋮ Formal notes on the substitutional analysis of logical consequence

Cites Work

• Unnamed Item
• Models and modality
• Steps toward a constructive nominalism
• Quantification and the empty domain

This page was built for publication: On the Substitutional Characterization of First-Order Logical Truth