Formal notes on the substitutional analysis of logical consequence

DOI10.1215/00294527-2020-0009zbMATH Open1506.03026OpenAlexW3015637156MaRDI QIDQ778737FDOQ778737

Authors: Volker Halbach 

Publication date: 20 July 2020

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1586224880

Recommendations

• Relative interpretations and substitutional definitions of logical truth and consequence
• scientific article; zbMATH DE number 753775
• An alternative definition of logical consequence
• Model theory and validity
• Axiomatisation of substitution

zbMATH Keywords

logical consequencelogical validity

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Logical pluralism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Maximal consistent sets of instances of Tarski's schema (T)
• Title not available (Why is that?)
• On the Substitutional Characterization of First-Order Logical Truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• Everything, more or less
• Quine’s Substitutional Definition of Logical Truth and the Philosophical Significance of the Löwenheim-Hilbert-Bernays Theorem
• Feferman and the Truth
• Title not available (Why is that?)

Cited In (12)

• SUBSTITUTION IN RELEVANT LOGICS
• Substitution in simple sentences: validity versus soundness
• On the Substitutional Characterization of First-Order Logical Truth
• Model theory and validity
• Boolos and the metamathematics of Quine's definitions of logical truth and consequence
• Logical forms, substitutions and information types
• Substitutional validity for modal logic
• CLASSICAL DETERMINATE TRUTH I
• Replacement in logic
• Towards an adequate definition of distribution for first-order logic
• The logic of alternative logical consequence
• Title not available (Why is that?)

This page was built for publication: Formal notes on 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 Q778737)