A System of Complete and Consistent Truth

Abstract

To the axioms of Peano arithmetic formulated in a language with an additional unary predicate symbol T we add the rules of necessitation φ/Tφ 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… (More)
DOI: 10.1305/ndjfl/1040511340

Topics

Cite this paper

@article{Halbach1994ASO, title={A System of Complete and Consistent Truth}, author={Volker Halbach}, journal={Notre Dame Journal of Formal Logic}, year={1994}, volume={35}, pages={311-327} }