Combining Texts

Ideas for 'fragments/reports', 'Intro to I: Classical Logic' and 'Penguin Dictionary of Philosophy'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / A. Overview of Logic / 6. Classical Logic

9463	Classical logic is bivalent, has excluded middle, and only quantifies over existent objects [Jacquette]
	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.