AXIOMATIZING SEMANTIC THEORIES OF TRUTH?

DOI10.1017/S1755020314000379zbMath1350.03009OpenAlexW2026668772MaRDI QIDQ5259722

Martin J. Fischer, Johannes Stern, Volker Halbach, Jönne Kriener

Publication date: 29 June 2015

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

Full work available at URL: https://doi.org/10.1017/s1755020314000379

zbMATH Keywords

truthsemanticscategoricityaxiomatic theory

Mathematics Subject Classification ID

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

Related Items (16)

Supervaluation-style truth without supervaluations ⋮ Truth, partial logic and infinitary proof systems ⋮ Adding a conditional to Kripke's theory of truth ⋮ Systems for non-reflexive consequence ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ A UNIFIED THEORY OF TRUTH AND PARADOX ⋮ On the costs of nonclassical logic ⋮ Notes on the computational aspects of Kripke's theory of truth ⋮ Revision without revision sequences: self-referential truth ⋮ Some notes on truths and comprehension ⋮ Reference and truth ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ EQUIVALENCES FOR TRUTH PREDICATES ⋮ A note on typed truth and consistency assertions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory. The first step into impredicativity
• Notes on naive semantics
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Truth and paradox
• A system of complete and consistent truth
• Logical frameworks for truth and abstraction. An axiomatic study
• Alfred Tarski. Philosophy of language and logic
• Relative Truth Definability of Axiomatic Truth Theories
• A theory of formal truth arithmetically equivalent to ID₁
• The truth is never simple
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• On the weak Kleene scheme in Kripke's theory of truth
• Outline of a Theory of Truth
• REVISION REVISITED
• Axiomatizing Kripke's theory of truth

This page was built for publication: AXIOMATIZING SEMANTIC THEORIES OF TRUTH?