A theory of formal truth arithmetically equivalent to ID1
From MaRDI portal
Publication:3197819
DOI10.2307/2274965zbMath0713.03029OpenAlexW2105521686MaRDI QIDQ3197819
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274965
Gödel numberingfragment of Peano arithmeticelementary inductive definitionspartial truth over Peano arithmetic
Related Items (33)
One hundred years of semantic paradox ⋮ Relative Truth Definability of Axiomatic Truth Theories ⋮ Supervaluation-style truth without supervaluations ⋮ Truth, dependence and supervaluation: living with the ghost ⋮ On cut-elimination arguments for axiomatic theories of truth ⋮ The Friedman-Sheard programme in intuitionistic logic ⋮ Higher-order logic and disquotational truth ⋮ Truth, partial logic and infinitary proof systems ⋮ AXIOMS FOR GROUNDED TRUTH ⋮ A proof-theoretic account of classical principles of truth ⋮ A guide to truth predicates in the modern era ⋮ Truth meets vagueness. Unifying the semantic and the soritical paradoxes ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ A logic of abstraction related to finite constructive number classes ⋮ Classes and truths in set theory ⋮ MODELS OF POSITIVE TRUTH ⋮ A disquotational theory of truth as strong as \(Z_2^-\) ⋮ A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES ⋮ A Kripkean approach to unknowability and truth ⋮ An ordinal analysis for theories of self-referential truth ⋮ Notes on Leitgeb's Ruitenburg ⋮ Some notes on truths and comprehension ⋮ TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Feferman and the Truth ⋮ A note on Horwich's notion of grounding ⋮ Cut elimination for systems of transparent truth with restricted initial sequents ⋮ Games for Truth ⋮ Truth and the philosophy of mathematics ⋮ INFINITARY TABLEAU FOR SEMANTIC TRUTH ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH? ⋮ Universes over Frege structures ⋮ What truth depends on
Cites Work
- Unnamed Item
- Four valued semantics and the Liar
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Partial models and logic programming
- An axiomatic approach to self-referential truth
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Outline of a Theory of Truth
This page was built for publication: A theory of formal truth arithmetically equivalent to ID1
