Books on Amazon
|Multi-valued Logic||EMD II 108
Trivalent Logic: if B is false but A neither true nor false: then "If A is true then B is true" comes true, although "If A, then B " is not true! Reason: only because we assume, as it cannot be denied, that the sentence "A is true" is false if A is neither true nor false - new predicate for trivial axioms: "A is true": has the same truth value as A (not always true).
EMD II 121
Neither true nor false/Dummett: useful only for parts of sentences! -> multi-value logic - independently used sentences (not complex): for these only distinction between designated and not designated truth value important.
- - -
Dum III 27f
third truth value/indeterminate truth value/multi-valued logic/Dummett: "wit" (purpose) to be able to explain "not" truth-functionally. Truth table with w, f, X - difference: without truth value with conditional with a false antecedent: "X" (designated truth value) - for unicorn: "Y" (not designated truth value).
Ursprünge der analytischen Philosophie Frankfurt 1992
Wahrheit Stuttgart 1982
G. Evans/J. McDowell
Truth and Meaning Oxford 1977
The Varieties of Reference (Clarendon Paperbacks) Oxford 1989