## Notre Dame Journal of Formal Logic

### A System of Complete and Consistent Truth

Volker Halbach

#### Abstract

To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation and conecessitation T and axioms stating that T commutes with the logical connectives and quantifiers. By a result of McGee this theory is -inconsistent, but it can be approximated by models obtained by a kind of rule-of-revision semantics. Furthermore we prove that FS is equivalent to a system already studied by Friedman and Sheard and give an analysis of its proof theory.

#### Article information

Source
Notre Dame J. Formal Logic Volume 35, Number 3 (1994), 311-327.

Dates
First available in Project Euclid: 21 December 2002

http://projecteuclid.org/euclid.ndjfl/1040511340

Mathematical Reviews number (MathSciNet)
MR1326116

Digital Object Identifier
doi:10.1305/ndjfl/1040511340

Zentralblatt MATH identifier
0828.03030

#### Citation

Halbach, Volker. A System of Complete and Consistent Truth. Notre Dame J. Formal Logic 35 (1994), no. 3, 311--327. doi:10.1305/ndjfl/1040511340. http://projecteuclid.org/euclid.ndjfl/1040511340.

#### References

• [1] Belnap, N. and A. Gupta, The revision theory of truth, MIT Press, Cambridge, 1993.
• [2] Feferman, S., Systems of predicative analysis,'' Journal of Symbolic Logic, vol. 29 (1964), pp. 1--30.
• [3] Feferman, S., Hilbert's program relativized: proof-theoretical and foundational reductions,'' Journal of Symbolic Logic, vol. 53 (1988), pp. 364--384.
• [4] Feferman, S., Reflecting on incompleteness'', Journal of Symbolic Logic, vol. 56 (1991), pp. 1--49.
• [5] Friedman, H. and M. Sheard, An axiomatic approach to self--referential truth,'' Annals of Pure and Applied Logic, vol. 33 (1987), pp. 1--21.
• [6] Gupta, A., Truth and paradox,'' Journal of Philosophical Logic, vol. 11 (1982), pp. 1--60.
• [7] Herzberger, H., Notes on naive semantics,'' Journal of Philosophical Logic, vol. 11 (1982), pp. 61--102.
• [8] Kotlarski, H., S. Krajewski and A. Lachlan, Construction of satisfaction classes for nonstandard models,'' Canadian Mathematical Bulletin, vol. 24 (1981), pp. 283--293.
• [9] McGee, V., How truthlike can a predicate be? A negative result,'' Journal of Philosophical Logic, vol. 14 (1985), pp. 399--410.
• [10] Orey, S., Relative interpretations,'' Journal of Symbolic Logic, vol. 7 (1961), pp. 146--153.