On a First-Order Bi-Sorted Semantically Closed Language

This paper is about the concept of semantically closed languages. Roughly speaking, those are languages which can name their own sentences and apply to them semantic predicates, such as the truth or satisfaction predicates. Hence, they are “self-referential languages,” in the sense that they are capable of producing sentences about themselves or other sentences in the same language. In section one, we introduce the concept informally; in section two, we provide the formal definition of first-order semantically closed languages, which is the Tarskian definition with some technical modifications. Then, we construct a semantic for this kind of language, and prove that the language is indeed semantically closed (according to Definition 1). Finally, we discuss whether the logic underlying the construction is classical, and future goals of this research.