Relative interpretations and substitutional definitions of logical truth and consequence

MaRDI QIDQ5149150zbMATH OpenFDO

Authors Mirko Engler

Publication date 6 February 2021

zbMATH Keywords

meta-theory of logical consequenceQuinesubstitutional definitions of logical consequence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Formal notes on the substitutional analysis of logical consequence
• Boolos and the metamathematics of Quine's definitions of logical truth and consequence
• An alternative definition of logical consequence
• scientific article; zbMATH DE number 753775
• The logic of alternative logical consequence

Cited in

(9)

• Intersubstitutivity principles and the generalization function of truth
• Boolos and the metamathematics of Quine's definitions of logical truth and consequence
• On the Substitutional Characterization of First-Order Logical Truth
• SUBSTITUTION IN RELEVANT LOGICS
• Quine's substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem
• Logic without metaphysics
• Local applications of logics via model-theoretic interpretations
• The substitutional analysis of logical consequence
• Formal notes on the substitutional analysis of logical consequence

This page was built for publication: Relative interpretations and substitutional definitions of logical truth and consequence

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