Combining Texts

All the ideas for 'Introduction to Russell's Theory of Types', 'The Logical Structure of the World (Aufbau)' and 'Reference and Definite Descriptions'

expand these ideas     |    start again     |     specify just one area for these texts


11 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
The Axiom of Reducibility is self-effacing: if true, it isn't needed [Quine]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / a. Descriptions
Russell only uses descriptions attributively, and Strawson only referentially [Donnellan, by Lycan]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
A definite description can have a non-referential use [Donnellan]
Definite descriptions are 'attributive' if they say something about x, and 'referential' if they pick x out [Donnellan]
'The x is F' only presumes that x exists; it does not actually entail the existence [Donnellan]
14. Science / B. Scientific Theories / 1. Scientific Theory
Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button]
18. Thought / D. Concepts / 4. Structure of Concepts / g. Conceptual atomism
All concepts can be derived from a few basics, making possible one science of everything [Carnap, by Brody]
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
A definite description 'the F' is referential if the speaker could thereby be referring to something not-F [Donnellan, by Sainsbury]
Donnellan is unclear whether the referential-attributive distinction is semantic or pragmatic [Bach on Donnellan]
A description can successfully refer, even if its application to the subject is not believed [Donnellan]
19. Language / B. Reference / 5. Speaker's Reference
Whether a definite description is referential or attributive depends on the speaker's intention [Donnellan]