structure for 'Formal Logic'    |     alphabetical list of themes    |     expand these ideas

4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic

[logic using further values in addition to 'true' and 'false']

6 ideas
Lukasiewicz's L3 logic has three truth-values, T, F and I (for 'indeterminate') [Fisher on Lukasiewicz]
Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K]
Three-valued logic is useful for a theory of presupposition [Mares]
Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher]
In Weak Kleene logic there are 'gaps', neither true nor false if one component lacks a truth value [Halbach]
In Strong Kleene logic a disjunction just needs one disjunct to be true [Halbach]