What truth depends on
From MaRDI portal
Publication:815014
DOI10.1007/s10992-004-3758-3zbMath1097.03005OpenAlexW1978407810MaRDI QIDQ815014
Publication date: 8 February 2006
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10992-004-3758-3
Related Items
One hundred years of semantic paradox ⋮ Unwinding modal paradoxes on digraphs ⋮ Supervaluation-style truth without supervaluations ⋮ Truth, dependence and supervaluation: living with the ghost ⋮ Designing paradoxes: a revision-theoretic approach ⋮ The elimination of self-reference: Generalized Yablo-series and the theory of truth ⋮ LOGICAL GROUNDS ⋮ AXIOMS FOR GROUNDED TRUTH ⋮ The elimination of direct self-reference ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Bicontextualism ⋮ Truthier Than Thou: Truth, Supertruth and Probability of Truth ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Paradox and logical revision. A short introduction ⋮ Self-referential propositions ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ Deflationism and the dependence of truth on reality ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES ⋮ Mathematical perspectives on liar paradoxes ⋮ Sets and supersets ⋮ Notes on the computational aspects of Kripke's theory of truth ⋮ Equiparadoxicality of Yablo's paradox and the liar ⋮ MODAL MODELS FOR BRADWARDINE'S THEORY OF TRUTH ⋮ SUPER LIARS ⋮ Notes on Leitgeb's Ruitenburg ⋮ Some notes on truths and comprehension ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ The complexity of the dependence operator ⋮ REFERENCE IN ARITHMETIC ⋮ Supervenience, Dependence, Disjunction ⋮ What paradoxes depend on ⋮ FORMAL REPRESENTATIONS OF DEPENDENCE AND GROUNDEDNESS ⋮ Bad company tamed ⋮ Generalizing Montague's theorem on recursive definitions ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Games for Truth ⋮ Reference and truth ⋮ 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Grounding, dependence, and paradox
- Maximal consistent sets of instances of Tarski's schema (T)
- Elementary induction on abstract structures
- Truth and paradox
- A lattice-theoretical fixpoint theorem and its applications
- Is Yablo's paradox non-circular?
- A theory of formal truth arithmetically equivalent to ID1
- The truth is never simple
- Logic programming and negation: A survey
- Paradox without satisfaction
- Yablo's paradox
- Paradox without Self-Reference
- Outline of a Theory of Truth
