Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

Truth, Disjunction, and I… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

Truth, Disjunction, and Induction

Artikel i vetenskaplig tidskrift
Författare Ali Enayat
Fedor Pakhomov
Publicerad i Archive for mathematical logic
Volym 58
Nummer/häfte 5-6
Sidor 753–766
ISSN 0933-5846
Publiceringsår 2019
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 753–766
Språk en
Länkar https://doi.org/10.1007/s00153-018-...
Ämnesord Axiomatic truth, Compositional theory of truth, Conservativity
Ämneskategorier Algebra och logik, Logik

Sammanfattning

By a well-known result of Kotlarski et al. (1981), first-order Peano arithmetic PA can be conservatively extended to the theory CT−[PA] of a truth predicate satisfying compositional axioms, i.e., axioms stating that the truth predicate is correct on atomic formulae and commutes with all the propositional connectives and quantifiers. This result motivates the general question of determining natural axioms concerning the truth predicate that can be added to CT−[PA] while maintaining conservativity over PA . Our main result shows that conservativity fails even for the extension of CT−[PA] obtained by the seemingly weak axiom of disjunctive correctness DC that asserts that the truth predicate commutes with disjunctions of arbitrary finite size. In particular, CT−[PA]+DC implies Con(PA) . Our main result states that the theory CT−[PA]+DC coincides with the theory CT0[PA] obtained by adding Δ0 -induction in the language with the truth predicate. This result strengthens earlier work by Kotlarski (1986) and Cieśliński (2010). For our proof we develop a new general form of Visser’s theorem on non-existence of infinite descending chains of truth definitions and prove it by reduction to (Löb’s version of) Gödel’s second incompleteness theorem, rather than by using the Visser–Yablo paradox, as in Visser’s original proof (1989).

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?