ABSTRACT
This chapter deals with an inscriptional semantics based on a relation of comprehension. It presents semantical preliminaries, including some basic definitions and the Semantical Rules and discusses some elementary theorems. The chapter explores the truth-concept and some derivative notions of semantics and explains consistency of the object-language. It also discusses the theory of individual and functional constants within inscriptional semantics. The chapter examines formal theory of quotation marks, which is developed in inscriptional semantics of a translational kind. It also explores some general comments concerning semantical meta-languages containing both inscriptions and shapes as values for variables. For some purposes one may wish to employ a semantical meta-language in which both inscriptions and shapes are taken as values for variables. The most natural procedure in constructing such a meta-language would no doubt be to regard shapes as classes of similar inscriptions and hence as values for class variables of type one higher than that of variables for inscriptions.
