A system of complete and consistent truth
From MaRDI portal
Publication:1893134
DOI10.1305/ndjfl/1040511340zbMath0828.03030MaRDI QIDQ1893134
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
03F30: First-order arithmetic and fragments
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
Disquotational truth and analyticity, REVISION REVISITED, SELF-REFERENCE IN ARITHMETIC II, AXIOMATIZING SEMANTIC THEORIES OF TRUTH?, Truth without standard models: some conceptual problems reloaded, NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES, Axiomatizing Kripke's theory of truth, Truth as translation. Part B, A note on typed truth and consistency assertions, A proof-theoretic account of classical principles of truth, Classes and truths in set theory, Reference and truth, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, Paradoxes of logical equivalence and identity, Possible-worlds semantics for modal notions conceived as predicates, Herzberger's limit rule with labelled sequent calculus, An ordinal analysis for theories of self-referential truth, The Friedman-Sheard programme in intuitionistic logic, MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD, Relative Truth Definability of Axiomatic Truth Theories, ON THE PROBABILISTIC CONVENTION T, 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08
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