(2010) Axiomathes 20 (2-3).

Truth and consistency

Jan Woleński

pp. 347-355

This paper investigates relations between truth and consistency. The basic intuition is that truth implies consistency, but the reverse dependence fails. However, this simple account leads to some troubles, due to some metalogical results, in particular the Gödel-Malcev completeness theorem. Thus, a more advanced analysis is required. This is done by employing the concept of ω-consistency and ω-inconsistency. Both concepts motivate that the concept of the standard truth should be introduced as well. The results are illustrated by an interpretation of the well-known logical square and its generalization.

Publication details

Full citation:

Woleński, J. (2010). Truth and consistency. Axiomathes 20 (2-3), pp. 347-355.

This document is unfortunately not available for download at the moment.