Supplement to Truth Values

Generalized Truth Values and Multilattices

It is possible to generalize the notion of a bilattice by introducing the notion of a multilattice, which is suitable for investigating sets of generalized truth values in the presence of many partial orderings defined on these sets.

Definition. An n-dimensional multilattice (or simply n-lattice) is a structure Mn = ⟨S, ≤1,…, ≤n⟩, where S is a non-empty set and ≤1,…, ≤n are partial orders defined on S such that (S, ≤1),…, (S, ≤n) are all distinct lattices.

In particular, if one applies the idea of a generalized truth value function to Belnap's four truth values, then one obtains valuations assigning the 16 generalized truth values from the powerset P(4) = 16 of 4:

1. N = ∅   9. FT = {{F}, {T}}
2. N = {∅} 10. FB = {{F}, {F, T}}
3. F = {{F}} 11. TB = {{T}, {F, T}}
4. T = {{T}} 12. NFT = {∅, {F}, {T}}
5. B = {{F, T}} 13. NFB = {∅, {F}, {F, T}}
6. NF = {∅, {F}} 14. NTB = {∅, {T}, {F, T}}
7. NT = {∅, {T}} 15. FTB = {{F}, {T}, {F, T}}
8. NB = {∅, {F, T}} 16. A = {∅, {T}, {F}, {F, T}}.

These values give rise to an algebraic structure with three distinct partial orders: an information order ≤i (viz. set-inclusion), a truth order ≤t and a falsity order ≤f. Whereas the truth order is defined in terms of the presence and absence of the classical value T in/from elements from 16, the falsity order is defined in terms of the presence and absence of F in/from elements from 16, see (Shramko and Wansing 2005, Shramko and Wansing 2006). The resulting algebraic structure is known as the trilattice SIXTEEN3, which is presented by a triple Hasse diagram in Figure 4 (essentially the same structure has been introduced in (Shramko, Dunn, Takenaka 2001) as a truth value space of constructive truth values).

Figure 4
Figure 4: Trilattice SIXTEEN3

This set of values can serve as a natural semantic foundation for the logic of a simple computer network. Indeed, one can observe that Belnap's “computerized” interpretation works perfectly well only if we deal with one (isolated) computer receiving information from classical sources, i.e., these sources operate exclusively with the classical truth values. As soon as a computer C is connected to other computers, there is no reason to assume that these computers cannot pass higher-level information concerning a given proposition to C. If several computers form a computer network, Belnap's ideas that motivated B4 can be generalized. Consider, for example, four computers: C1, C2, C3, and C4 connected to another computer C1′, a server, to which they are supposed to supply information (Figure 5).

Figure 5
Figure 5: A computer network

It turns out that the logic of the server itself (so, the network as a whole) cannot remain four-valued any more. Indeed, suppose C1 informs C1′ that a sentence is true only (has the value T), whereas C2 supplies inconsistent information (the sentence is both true and false, i.e., has the value B). In this situation C1′ has received the information that the sentence simultaneously is true only (i.e., true and not false) as well as both true and false, in other words, it has a value not from 4, but from P(4), namely the value TB = {{T}, {T, B}}. Note, that this new value cannot simply be reduced to Belnap's value B, at least not without some “forced argument” and a serious information loss, see detailed explanations in (Shramko and Wansing 2005, 124). Thus, if C1′ has been informed simultaneously by C1 that a sentence is true-only, by C2 that it is false-only, by C3 that it is both-true-and-false, and by C4 that it is neither-true-nor-false, then the value NFTB = {∅, {T}, {F}, {T, F}} is far from being a “madness” (cf. (Meyer 1978, 19)) but is just an adequate value which should be ascribed to the sentence by C1′. That is, the logic of C1′ has to be 16-valued.

It is worth noticing that whereas in the bilattice FOUR2 the logical order is not merely a truth order, but rather a truth-and-falsity order (an increase in truth means here a simultaneous decrease in falsity), the trilattice SIXTEEN3 makes it possible to discriminate between a truth order and a (non-)falsity order, as it is shown in Figure 4. This means that in SIXTEEN3, in addition to the information order (namely the subset relation), we have actually two distinct logical orders: one for truth, ≤t, and one for falsity, ≤f. Both of these logical orderings determine their own algebraic operations of meet, joint and inversion, and thus two distinct, although strictly “parallel”, sets of logical connectives (for conjunctions, disjunctions and negations). Moreover, both of these orderings also determine their own logic, one in a truth vocabulary (where entailment and logical connectives are defined with respect to ≤t), and another in a falsity vocabulary (where entailment and connectives are defined with respect to ≤f). It turns out that for both languages one obtains first-degree entailment as the logic of SIXTEEN3 (see Shramko and Wansing 2005). In (Shramko and Wansing 2006) this observation has been generalized to trilattices of any degree. That is, if the above network is extended so that the computer C1′ may pass information to another computer (C1″), then the amount of semantical values will increase to 216 = 65536, and so on. Nevertheless, this exponential growth of the number of truth values turns out to be unproblematic, because the logic of the generalized so-called Belnap trilattices in the truth vocabulary as well as in the falsity vocabulary always is first-degree entailment.

Concerning the full language that combines both the truth vocabulary (with conjunction, disjunction and negation defined with respect to ≤t) and the falsity vocabulary (with conjunction, disjunction and negation defined with respect to ≤f), the problem of axiomatizing the truth and falsity consequence relations determined by the truth and falsity orderings on the trilattice SIXTEEN3 remained open for a couple of years. A first solution was found by Odintsov (2009), for extended languages that contain a truth (falsity) implication defined as the so-called residuum of the truth (falsity) ordering on SIXTEEN3. The presence of such an implication connective allows one to reduce the truth (falsity) entailment relation to the set of tautologies, which are defined as formulas that under any interpretation are evaluated as the greatest element with respect to the truth (falsity) ordering. The axiomatization problem has finally been solved in Odintsov and Wansing (2013) by showing that the logic of SIXTEEN3 is the logic of commutative distributive bilattices.

Copyright © 2014 by
Yaroslav Shramko <yshramko@ukrpost.ua>
Heinrich Wansing <Heinrich.Wansing@rub.de>

Open access to the SEP is made possible by a world-wide funding initiative.
Please Read How You Can Help Keep the Encyclopedia Free