display all the ideas for this combination of texts
2 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. |
7306 | If the only property of a name was its reference, we couldn't explain bearerless names [Miller,A] |
Full Idea: If having a reference were the only semantic property in terms of which we could explain the functioning of names, we would be in trouble with respect to names that simply have no bearer. | |
From: Alexander Miller (Philosophy of Language [1998], 2.1.1) | |
A reaction: (Miller is discussing Frege) 'Odysseus' is given as an example. Instead of switching to a bundle of descriptions, we could say that we just imagine an object which is stamped with the name. Names always try to refer. |