Combining Texts

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

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

display all the ideas for this combination of texts

---

2 ideas

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.

5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential

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.