The disjunction and existence properties for axiomatic systems of truth (Q1118582): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: The disjunction property implies the numerical existence property / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An axiomatic approach to self-referential truth / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The equivalence of the disjunction and existence properties for modal arithmetic / rank | |||
Normal rank |
Latest revision as of 14:52, 19 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The disjunction and existence properties for axiomatic systems of truth |
scientific article |
Statements
The disjunction and existence properties for axiomatic systems of truth (English)
0 references
1988
0 references
This is a sequel to the authors' earlier paper [ibid. 33, 1-21 (1987; Zbl 0634.03058)]. There they considered various extensions of Peano arithmetic enriched by the truth predicate T( ), and accompanying axioms and rules. Here they address themselves to the problem: in which of these extensions do the truth disjunction property and the truth existence property [if \(\vdash \exists x T\#A(x)\) then \(\vdash T\#A(n)\) for some numeral n] hold? Very roughly, their results are as follows. On the negative side, if the system satisfies U-inf[\(\forall x T(A(x))\to T(\forall x A(x))]\) or T-comp[TA\(\vee T(\neg A)]\), then it lacks both properties or T(A) is provable for all A. The positive side: For a system R, let \({\mathfrak M}(R)=<\underset \tilde{} N,\{\#A/R\vdash T(\#A)\}>\). If \(R\subseteq S\) and \({\mathfrak M}(R)\vDash S\), then S has both properties. And so, the authors work with rather simple systems R's (e.g. ``primitive recursive arithmetic'') and complicated S's. In the last section, they comment on the conjecture that the disjunction property implies the existence property. ``This conjecture is far more reasonable than it might at first appear'', they state. Indeed, they proved the corresponding facts for the intuitionistic and modal systems.
0 references
truth predicate for extensions of Peano arithmetic
0 references
truth disjunction property
0 references
truth existence property
0 references