The substitutional analysis of logical consequence

DOI10.1111/NOUS.12256WikidataQ129709964 ScholiaQ129709964MaRDI QIDQ6495237

Volker Halbach

Publication date: 30 April 2024

Published in: Nôus (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The medieval theory of consequence
• Classes and truths in set theory
• Logic: a history of its central concepts
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Maximal consistent sets of instances of Tarski's schema (T)
• Formal and material consequence
• Undecidable theories
• Truth: a concept unlike any other
• Foundations of Logical Consequence
• Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence
• Etchemendy and Bolzano on Logical Consequence
• Reflecting on incompleteness
• On tarski on models
• A note on truth, satisfaction and the empty domain
• Logical Pluralism
• Squeezing arguments
• Modal Logic as Metaphysics

This page was built for publication: The substitutional analysis of logical consequence