The substitutional analysis of logical consequence

DOI10.1111/NOUS.12256WikidataQ129709964 ScholiaQ129709964MaRDI QIDQ6495237FDOQ6495237

Authors: Volker Halbach 

Publication date: 30 April 2024

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

Recommendations

• Formal notes on the substitutional analysis of logical consequence
• Relative interpretations and substitutional definitions of logical truth and consequence
• Substitutional validity for modal logic
• On the Substitutional Characterization of First-Order Logical Truth
• Model theory and validity

Mathematics Subject Classification ID

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

Cites Work

• Undecidable theories
• Axiomatic theories of truth
• Reflecting on incompleteness
• Classes and truths in set theory
• Logic: a history of its central concepts
• Title not available (Why is that?)
• Logical pluralism
• Title not available (Why is that?)
• The medieval theory of consequence
• Title not available (Why is that?)
• Squeezing arguments
• Title not available (Why is that?)
• Formal and material consequence
• On tarski on models
• Maximal consistent sets of instances of Tarski's schema (T)
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Title not available (Why is that?)
• Modal Logic as Metaphysics
• Title not available (Why is that?)
• Foundations of logical consequence
• Etchemendy and Bolzano on logical consequence
• Truth: a concept unlike any other
• Boolos and the metamathematics of Quine's definitions of logical truth and consequence
• Title not available (Why is that?)
• A note on truth, satisfaction and the empty domain

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

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