Relative Truth Definability of Axiomatic Truth Theories

DOI10.2178/bsl/1286284556zbMath1209.03002OpenAlexW1971496477MaRDI QIDQ3163660

Kentaro Fujimoto

Publication date: 26 October 2010

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/bsl/1286284556

zbMATH Keywords

truthdefinabilitydisquotationramified analysis

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (22)

Supervaluation-style truth without supervaluations ⋮ Autonomous progression and transfinite iteration of self-applicable truth ⋮ On cut-elimination arguments for axiomatic theories of truth ⋮ Higher-order logic and disquotational truth ⋮ Models of weak theories of truth ⋮ AXIOMS FOR GROUNDED TRUTH ⋮ TRUTH AND SPEED-UP ⋮ NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Classes and truths in set theory ⋮ MODELS OF POSITIVE TRUTH ⋮ ON A QUESTION OF KRAJEWSKI’S ⋮ More on Systems of Truth and Predicative Comprehension ⋮ About Truth and Types ⋮ On the costs of nonclassical logic ⋮ MODELS OF PT^– WITH INTERNAL INDUCTION FOR TOTAL FORMULAE ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ Feferman and the Truth ⋮ On generalization of definitional equivalence to non-disjoint languages ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH? ⋮ EQUIVALENCES FOR TRUTH PREDICATES

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• How truthlike can a predicate be? A negative result
• An axiomatic approach to self-referential truth
• Conservative theories of classical truth
• Proof-theoretic analysis by iterated reflection
• On the logic of reducibility: Axioms and examples
• Does reductive proof theory have a viable rationale?
• Truth and reduction
• A system of complete and consistent truth
• Deflationism, conservativeness and maximality
• A theory of formal truth arithmetically equivalent to ID₁
• Notes on Formal Theories of Truth
• Construction of Satisfaction Classes for Nonstandard Models
• Full Satisfaction Classes and Recursive Saturation
• Reflecting on incompleteness
• The role of parameters in bar rule and bar induction
• A guide to truth predicates in the modern era
• Outline of a Theory of Truth
• Systems of predicative analysis
• Axiomatizing Kripke's theory of truth
• Systems of predicative analysis, II: Representations of ordinals
• REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH

This page was built for publication: Relative Truth Definability of Axiomatic Truth Theories