Single Idea 16335

[catalogued under 4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic]

Full Idea

In Strong Kleene logic a disjunction of two sentences is true if at least one disjunct is true, even when the other disjunct lacks a truth value.

Gist of Idea

In Strong Kleene logic a disjunction just needs one disjunct to be true

Source

Volker Halbach (Axiomatic Theories of Truth [2011], 18)

Book Reference

Halbach,Volker: 'Axiomatic Theories of Truth' [CUP 2011], p.263


A Reaction

This sounds fine to me. 'Either I'm typing this or Homer had blue eyes' comes out true in any sensible system.