A system of complete and consistent truth

DOI10.1305/ndjfl/1040511340zbMath0828.03030OpenAlexW2111411333MaRDI QIDQ1893134

Volker Halbach

Publication date: 18 December 1995

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040511340

zbMATH Keywords

truth predicatePeano arithmetic\(\omega\)-consistencyramified truth

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

Relative Truth Definability of Axiomatic Truth Theories ⋮ On cut-elimination arguments for axiomatic theories of truth ⋮ The Friedman-Sheard programme in intuitionistic logic ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ A proof-theoretic account of classical principles of truth ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Disquotational truth and analyticity ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Paradoxes of logical equivalence and identity ⋮ Truth without standard models: some conceptual problems reloaded ⋮ Classes and truths in set theory ⋮ REVISION REVISITED ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES ⋮ ON THE PROBABILISTIC CONVENTION T ⋮ SELF-REFERENCE IN ARITHMETIC II ⋮ An ordinal analysis for theories of self-referential truth ⋮ Truth as translation. Part B ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ Axiomatizing Kripke's theory of truth ⋮ Reference and truth ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH? ⋮ FINITIST AXIOMATIC TRUTH ⋮ A note on typed truth and consistency assertions

Cites Work

• Unnamed Item
• Notes on naive semantics
• How truthlike can a predicate be? A negative result
• An axiomatic approach to self-referential truth
• Truth and paradox
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Construction of Satisfaction Classes for Nonstandard Models
• Reflecting on incompleteness
• Systems of predicative analysis
• Relative Interpretations

This page was built for publication: A system of complete and consistent truth