Combining Texts

All the ideas for 'Letter to Russell', 'Completeness of Axioms of Logic' and 'On Referring'

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

12 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
7085 The main problem of philosophy is what can and cannot be thought and expressed [Wittgenstein, by Grayling]
4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC
17751 Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
8358 There are no rules for the exact logic of ordinary language, because that doesn't exist [Strawson,P]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
6413 'The present King of France is bald' presupposes existence, rather than stating it [Strawson,P, by Grayling]
8354 Russell asks when 'The King of France is wise' would be a true assertion [Strawson,P]
7. Existence / C. Structure of Existence / 6. Fundamentals / d. Logical atoms
23463 Atomic facts correspond to true elementary propositions [Wittgenstein]
19. Language / A. Nature of Meaning / 6. Meaning as Use
8356 The meaning of an expression or sentence is general directions for its use, to refer or to assert [Strawson,P]
19. Language / B. Reference / 3. Direct Reference / c. Social reference
10430 Reference is mainly a social phenomenon [Strawson,P, by Sainsbury]
19. Language / B. Reference / 4. Descriptive Reference / b. Reference by description
10448 If an expression can refer to anything, it may still instrinsically refer, but relative to a context [Bach on Strawson,P]
19. Language / B. Reference / 5. Speaker's Reference
8355 Expressions don't refer; people use expressions to refer [Strawson,P]
8357 If an utterance fails to refer then it is a pseudo-use, though a speaker may think they assert something [Strawson,P]
19. Language / D. Propositions / 4. Mental Propositions
23490 A thought is mental constituents that relate to reality as words do [Wittgenstein]