From Paradox to Truth

DOI10.1007/978-3-030-98479-3_17MaRDI QIDQ6487234zbMATH OpenFDO

Authors Graham E. Leigh

Publication date 11 August 2022

Full work available at URL https://doi.org/10.1007/978-3-030-98479-3_17

Mathematics Subject Classification ID

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

Recommendations

• Theory and application of self-reference: logic and beyond
• scientific article; zbMATH DE number 28355
• An axiomatic approach to self-referential truth
• scientific article; zbMATH DE number 1163982
• Self-reference and modal logic
• Languages with self-reference. II: Knowledge, belief, and modality
• Assertoric semantics and the computational power of self-referential truth
• scientific article; zbMATH DE number 2109239
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)

Cites work

• An axiomatic approach to self-referential truth
• Axiomatic theories of truth
• Axiomatizing Kripke's theory of truth
• How truthlike can a predicate be? A negative result
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• Maximal consistent sets of instances of Tarski's schema (T)
• Outline of a Theory of Truth
• Reflecting on incompleteness
• Saving truth from paradox
• The Friedman-Sheard programme in intuitionistic logic
• The inconsistency of certain formal logics
• The logic manual

Cited in

(1)

• Self-ascription and the \textit{de se}

This page was built for publication: From Paradox to Truth

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