Conditionals in theories of truth
From MaRDI portal
Publication:2410892
DOI10.1007/s10992-015-9393-3zbMath1417.03067OpenAlexW2323897631MaRDI QIDQ2410892
Shawn Standefer, Anil Kumar Gupta
Publication date: 19 October 2017
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/11343/116632
Related Items (7)
Analytic calculi for circular concepts by finite revision ⋮ Truth, predication and a family of contingent paradoxes ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Proof theory for functional modal logic ⋮ Intersubstitutivity principles and the generalization function of truth ⋮ Addressing Circular Definitions via Systems of Proofs ⋮ Guest editors' introduction
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Analytic calculi for circular concepts by finite revision
- Alternative ways for truth to behave when there's no vicious reference
- Paradox, truth and logic. I. Paradox and truth
- Four valued semantics and the Liar
- Comparing inductive and circular definitions: Parameters, complexity and games
- Boolean negation and all that
- Two types of deflationism
- Notes on naive semantics
- An axiomatic approach to self-referential truth
- The liar paradox
- The logic of paradox
- The Gupta-Belnap systems \({\mathbf S}^ \#\) and \({\mathbf S}^*\) are not axiomatisable
- The complexity of revision
- The complexity of revision, revised
- Alternative revision theories of truth
- Truth and paradox
- A contextual-hierarchical approach to truth and the liar paradox
- A new conditional for naive truth theory
- How truth behaves when there's no vicious reference
- Maximal three-valued clones with the Gupta-Belnap fixed point property
- Vagueness and revision sequences
- On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set
- SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS
- TRUTH WITHOUT CONTRA(DI)CTION
- A Comparative Taxonomy of Medieval and Modern Approaches to Liar Sentences
- ULTIMATE TRUTHVIS-À-VISSTABLE TRUTH
- Toward useful type-free theories. I
- The truth is never simple
- What is minimalism about truth?
- Property theory and the revision theory of definitions
- Set-theoretic absoluteness and the revision theory of truth
- Some closure properties of finite definitions
This page was built for publication: Conditionals in theories of truth