3 ideas
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. |
9471 | Intensions are creatures of darkness which should be exorcised [Quine] |
Full Idea: Intensions are creatures of darkness and I shall rejoice with the reader when they are exorcised. | |
From: Willard Quine (Quantifiers and Propositional Attitudes [1955], §II) | |
A reaction: Quine seems to be in a diminshing minority with this view. For 'intensions' read 'meanings', presumably. |
19216 | Propositions (such as 'that dog is barking') only exist if their items exist [Williamson] |
Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist? | |
From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions | |
A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done? |