 The notion of a truth value has been explicitly introduced into logic and philosophy by Gottlob Frege—for the first time in Frege 1891, and most notably in his seminal paper (Frege 1892). Although it was Frege who made the notion of a truth value to one of the central concepts of semantics, the idea of special semantical values, however, was anticipated by Boole and Peirce already, see the survey article on a “history of truth values” by Béziau (2012). According to Kneale and Kneale (1962: 413), Boole’s system contains all that is needed for its interpretation “in terms of truth values of propositions”, and as Church (1956: 17) remarks, the “explicit use of two truth-values appears for the first time in a paper by C.S. Peirce in the American Journal of Mathematics, vol. 7 (1885), pp. 180–202”. Frege conceived this notion as a natural component of his language analysis where sentences, being saturated expressions, are interpreted as a special kind of names, which refer to (denote, designate, signify) a special kind of objects: truth values. Moreover, there are, according to Frege, only two such objects: the True (das Wahre) and the False (das Falsche):