A logic system from Buddhist thinking with four values:
Let's try some truth tables. We have True (T), False(F), Mu(M) and Doublethink(D).
T & T = T T | T = T T & F = F T | F = T T & M = M T | M = T T & D = D T | D = T F & F = F F | F = F F & M = F F | M = M F & D = F F | D = D M & M = M? M | M = M M & D = F? M | D = T? D & D = D D | D = DDoes this look right? Mu
See also: ThreeValuedLogic, BooleanLogic, FuzzyLogic, MultiValuedLogic