ABSTRACT
This chapter describes a system of formal logic. About thirty-five years ago Fred Sommers began to construct a formal language that would be adequate as a model of the logic of natural language. The vocabulary of that formal language consists of terms and functors that operate on them. Construction of the formal language begins with the introduction of two sets of signs: a lexicon consisting of terms and a set of term functors that operate in certain ways on terms or term pairs. Any adequate theory of truth must involve a sound semantic theory. In particular it must account for how sentences used to make truth-claims have the "meanings" they have. Consequently, any semantic theory for sentences must be grounded on the principle of compositionality: sentential meaning is a function of sentential-component meaning. Terminism offers a sound, clear-headed correspondence theory of truth.
