ABSTRACT
This chapter discusses the main consequences of the General Rules of Comprehension. It deals with the specific semantical properties of a particular object-language. The chapter introduces the notion of the semantical implexion of predicate constants and important semantical theorems concerning truth. To provide the specific semantical properties, it describes additional assumptions. The notion of the semantical implexion of predicate constants can be especially useful in connection with the truth-concept as applied to sentences which are of the form of material conditionals. The chapter focuses on a proof of the consistency of non-translational semantics relative to the consistency of the underlying logic and syntax. The Boolean algebra has already been remarked that the general theory of comprehension consists essentially of elementary syntax together with a Boolean algebra of predicate constants. The chapter explores some basic theorems and some other important theorems which concerning truth.
