10 ideas
| 21560 | Any linguistic expression may lack meaning when taken out of context [Russell] |
| Full Idea: Any sentence, a single word, or a single component phrase, may often be quite devoid of meaning when separated from its context. | |
| From: Bertrand Russell (Substitutional Classes and Relations [1906], p.165) | |
| A reaction: Contextualism is now extremely fashionable, in philosophy of language and in epistemology. Here Russell is looking for a contextual way to define classes [so says Lackey, the editor]. |
| 21561 | 'The number one is bald' or 'the number one is fond of cream cheese' are meaningless [Russell] |
| Full Idea: 'The number one is bald' or 'the number one is fond of cream cheese' are, I maintain, not merely silly remarks, but totally devoid of meaning. | |
| From: Bertrand Russell (Substitutional Classes and Relations [1906], p.166) | |
| A reaction: He connects this to paradoxes in set theory, such as the assertion that 'the class of human beings is a human being' (which is the fallacy of composition). |
| 18130 | Axiom of Reducibility: there is always a function of the lowest possible order in a given level [Russell, by Bostock] |
| Full Idea: Russell's Axiom of Reducibility states that to any propositional function of any order in a given level, there corresponds another which is of the lowest possible order in the level. There corresponds what he calls a 'predicative' function of that level. | |
| From: report of Bertrand Russell (Substitutional Classes and Relations [1906]) by David Bostock - Philosophy of Mathematics 8.2 |
| 21566 | 'Propositional functions' are ambiguous until the variable is given a value [Russell] |
| Full Idea: By a 'propositional function' I mean something which contains a variable x, and expresses a proposition as soon as a value is assigned to x. That is to say, it differs from a proposition solely by the fact that it is ambiguous. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.216) | |
| A reaction: This is Frege's notion of a 'concept', as an assertion of a predicate which still lacks a subject. |
| 21567 | 'All judgements made by Epimenedes are true' needs the judgements to be of the same type [Russell] |
| Full Idea: Such a proposition as 'all the judgements made by Epimenedes are true' will only be prima facie capable of truth if all his judgements are of the same order. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.227) | |
| A reaction: This is an attempt to use his theory of types to solve the Liar. Tarski's invocation of a meta-language is clearly in the same territory. |
| 23457 | Type theory cannot identify features across levels (because such predicates break the rules) [Morris,M on Russell] |
| Full Idea: Russell's theory of types meant that features common to different levels of the hierarchy became uncapturable (since any attempt to capture them would involve a predicate which disobeyed the hierarchy restrictions). | |
| From: comment on Bertrand Russell (The Theory of Logical Types [1910]) by Michael Morris - Guidebook to Wittgenstein's Tractatus 2H | |
| A reaction: I'm not clear whether this is the main reason why type theory was abandoned. Ramsey was an important critic. |
| 21556 | Classes are defined by propositional functions, and functions are typed, with an axiom of reducibility [Russell, by Lackey] |
| Full Idea: In Russell's mature 1910 theory of types classes are defined in terms of propositional functions, and functions themselves are regimented by a ramified theory of types mitigated by the axiom of reducibility. | |
| From: report of Bertrand Russell (The Theory of Logical Types [1910]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.133 |
| 21568 | A one-variable function is only 'predicative' if it is one order above its arguments [Russell] |
| Full Idea: We will define a function of one variable as 'predicative' when it is of the next order above that of its arguments, i.e. of the lowest order compatible with its having an argument. | |
| From: Bertrand Russell (The Theory of Logical Types [1910], p.237) | |
| A reaction: 'Predicative' just means it produces a set. This is Russell's strict restriction on which functions are predicative. |
| 21562 | There is no complexity without relations, so no propositions, and no truth [Russell] |
| Full Idea: Relations in intension are of the utmost importance to philosophy and philosophical logic, since they are essential to complexity, and thence to propositions, and thence to the possibility of truth and falsehood. | |
| From: Bertrand Russell (Substitutional Classes and Relations [1906], p.174) | |
| A reaction: Should we able to specify the whole of reality, if we have available to us objects, properties and relations? There remains indeterminate 'stuff', when it does not compose objects. There are relations between pure ideas. |
| 3102 | Why don't we experience or remember going to sleep at night? [Magee] |
| Full Idea: As a child it was incomprehensible to me that I did not experience going to sleep, and never remembered it. When my sister said 'Nobody remembers that', I just thought 'How does she know?' | |
| From: Bryan Magee (Confessions of a Philosopher [1997], Ch.I) | |
| A reaction: This is actually evidence for something - that we do not have some sort of personal identity which is separate from consciousness, so that "I am conscious" would literally mean that an item has a property, which it can lose. |