Thematic
Many-valued logics, philosophical issues in
The first philosophically-motivated use of many-valued truth tables arose with Jan Łukasiewicz in the 1920s. What exercised Łukasiewicz was a worry that the principle of bivalence, ‘every statement ...