green numbers give full details | back to texts | unexpand this idea
| 9463 | Classical logic is bivalent, has excluded middle, and only quantifies over existent objects |
| Full Idea: Classical logic (of Whitehead, Russell, Gödel, Church) is a two-valued system of propositional and predicate logic, in which all propositions are exclusively true or false, and quantification and predication are over existent objects only. | |||
| From: Dale Jacquette (Intro to I: Classical Logic [2002], p.9) | |||
| A reaction: All of these get challenged at some point, though the existence requirement is the one I find dubious. |