A theory of truth that prefers falsehood

DOI10.1023/A:1004217812355MaRDI QIDQ1366760zbMATH OpenFDO

Authors Melvin Fitting

Publication date 17 September 1997

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/A:1004217812355

zbMATH Keywords

falsehoodsubclass of Kripke's fixed points

Mathematics Subject Classification ID

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

Recommendations

• A non-inferentialist, anti-realistic conception of logical truth and falsity
• Undermining truthmaker theory
• Naive Lie Theory
• Negative truths and truthmaker principles
• Falsificationism falsified
• scientific article; zbMATH DE number 795569
• scientific article; zbMATH DE number 698630

Cites work

• A kripke-kleene semantics for logic programs*
• A lattice-theoretical fixpoint theorem and its applications
• Bilattices and the theory of truth
• Four valued semantics and the Liar
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 4128783 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• Kleene's Logic, Generalized
• Notes on the mathematical aspects of Kripke's theory of truth
• Outline of a Theory of Truth
• Paradox, truth and logic. I. Paradox and truth
• The family of stable models
• The optimal approach to recursive programs
• Truth and paradox
• Truth and reflection

Cited in

(12)

• The logic of generalized truth values and the logic of bilattices
• Fixed-point posets in theories of truth
• Super liars
• The strict/tolerant idea and bilattices
• Why paraconsistent logics?
• Notes on the computational aspects of Kripke's theory of truth
• Belief structures in the realm of belief contraction
• Tailoring disjoint belief structures to the AGM framework
• Modal, fuzzy,\dots, vanilla fixpoint theories of truth: a uniform approach
• Some useful 16-valued logics: How a computer network should think
• A family of strict/tolerant logics
• Comparing fixed-point and revision theories of truth

This page was built for publication: A theory of truth that prefers falsehood

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