ABSTRACT

This chapter concerns the concept of truth, one of the most important concepts of semantics. The important connection between the semantical truth-concept and the notion of consistency is indicated. The chapter offers some informal comments concerning the significance of the adequacy proofs. It explains the truth-concept as applied to non-atomic universal sentences of L. Recall from that any universal sentence can be brought into an equivalent conjunctive normal form. The chapter discusses the reason why the semantical concept of truth is so exceedingly important a notion, that it provides an explication of an important philosophical concept. It describes the modern semantics, which is a full-fledged, successful explication of the concept of truth, a logical analysis of one of the historically most important philosophical concepts as applied to the sentences of formalized language-systems of certain kinds. The chapter talks about a few preliminary theorems concerning the truth-concept.