Combining Texts

Ideas for 'Parmenides', 'On What There Is' and 'Naming and Necessity lectures'

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

display all the ideas for this combination of texts


13 ideas

5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
We study bound variables not to know reality, but to know what reality language asserts [Quine]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Names are rigid, making them unlike definite descriptions [Kripke, by Sainsbury]
Names are rigid designators, which designate the same object in all possible worlds [Kripke]
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
A bundle of qualities is a collection of abstractions, so it can't be a particular [Kripke]
A name can still refer even if it satisfies none of its well-known descriptions [Kripke]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Some references, such as 'Neptune', have to be fixed by description rather than baptism [Kripke, by Szabó]
Proper names must have referents, because they are not descriptive [Kripke, by Sainsbury]
A name's reference is not fixed by any marks or properties of the referent [Kripke]
5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated
Canonical notation needs quantification, variables and predicates, but not names [Quine, by Orenstein]
Quine extended Russell's defining away of definite descriptions, to also define away names [Quine, by Orenstein]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
Names can be converted to descriptions, and Russell showed how to eliminate those [Quine]
5. Theory of Logic / L. Paradox / 3. Antinomies
Plato found antinomies in ideas, Kant in space and time, and Bradley in relations [Plato, by Ryle]
Plato's 'Parmenides' is perhaps the best collection of antinomies ever made [Russell on Plato]