Formal notes on the substitutional analysis of logical consequence

DOI10.1215/00294527-2020-0009MaRDI QIDQ778737zbMATH OpenOpenAlexFDO

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, https://ora.ox.ac.uk/objects/uuid:1d770ff9-54d1-4e72-9759-3e2ce5374bd4

zbMATH Keywords

logical consequencelogical validity

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3138234 (Why is no real title available?)
• scientific article; zbMATH DE number 3148408 (Why is no real title available?)
• scientific article; zbMATH DE number 51086 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1269493 (Why is no real title available?)
• scientific article; zbMATH DE number 5238362 (Why is no real title available?)
• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• scientific article; zbMATH DE number 3249766 (Why is no real title available?)
• scientific article; zbMATH DE number 3334141 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• Everything, more or less. A defence of generality relativism
• Feferman and the Truth
• Logical pluralism
• Maximal consistent sets of instances of Tarski's schema (T)
• On the Substitutional Characterization of First-Order Logical Truth
• Quine's substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem

Cited in

(17)

• Substitution in simple sentences: validity versus soundness
• The substitutional analysis of logical consequence
• CLASSICAL DETERMINATE TRUTH I
• Relative interpretations and substitutional definitions of logical truth and consequence
• Replacement in logic
• Logical forms, substitutions and information types
• On the Substitutional Characterization of First-Order Logical Truth
• Model theory and validity
• Towards an adequate definition of distribution for first-order logic
• Quine's substitutional definition of logical truth and the philosophical significance of the Löwenheim-Hilbert-Bernays theorem
• The logic of alternative logical consequence
• Stipulation and symmetrical consequence
• Logic without metaphysics
• SUBSTITUTION IN RELEVANT LOGICS
• Boolos and the metamathematics of Quine's definitions of logical truth and consequence
• Substitutional validity for modal logic
• scientific article; zbMATH DE number 910441 (Why is no real title available?)

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)