On the Substitutional Characterization of First-Order Logical Truth

DOI10.1080/01445340310001642093MaRDI QIDQ3156301zbMATH OpenOpenAlexWikidataFDO

Authors 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

model-theoretic account of first-order logical truthsubstitutions

Mathematics Subject Classification ID

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

Recommendations

• Boolos and the metamathematics of Quine's definitions of logical truth and consequence
• Formal notes on the substitutional analysis of logical consequence
• Relative interpretations and substitutional definitions of logical truth and consequence
• Quine's substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem
• A defense the Kripkean account of logical truth in first-order modal logic

Cites work

• scientific article; zbMATH DE number 3060222 (Why is no real title available?)
• Models and modality
• Quantification and the empty domain
• Steps toward a constructive nominalism

Cited in

(6)

• 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
• Theory and Applications of Satisfiability Testing
• Substitutional validity for modal logic
• The substitutional analysis of logical consequence
• Formal notes on the substitutional analysis of logical consequence

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3156301)