16 ideas
12797 | If plural variables have 'some values', then non-count variables have 'some value' [Laycock] |
Full Idea: If a plural variable is said to have not a single value but some values (some clothes), then a non-count variable may have, more quirkier still, some value (some clothing, for instance) in ranging arbitrarily over the scattered stuff. | |
From: Henry Laycock (Words without Objects [2006], 4.4) | |
A reaction: We seem to need the notion of a sample, or an archetype, to fit the bill. I hereby name them 'sample variables'. Damn - Laycock got there first, on p.137. |
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. |
12794 | Plurals are semantical but not ontological [Laycock] |
Full Idea: Plurality is a semantical but not also an ontological construction. | |
From: Henry Laycock (Words without Objects [2006], Intro 4) | |
A reaction: I love it when philososphers make simple and illuminating remarks like this. You could read 500 pages of technical verbiage about plural reference without grasping that this is the underlying issue. Sounds right to me. |
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. |
17694 | Some non-count nouns can be used for counting, as in 'several wines' or 'fewer cheeses' [Laycock] |
Full Idea: The very words we class as non-count nouns may themselves be used for counting, of kinds or types, and phrases like 'several wines' are perfectly in order. ...Not only do we have 'less cheese', but we also have the non-generic 'fewer cheeses'. | |
From: Henry Laycock (Words without Objects [2006], Intro 4 n23) | |
A reaction: [compressed] Laycock generally endorses the thought that what can be counted is not simply distinguished by a precise class of applied vocabulary. He offers lots of borderline or ambiguous cases in his footnotes. |
17695 | Some apparent non-count words can take plural forms, such as 'snows' or 'waters' [Laycock] |
Full Idea: Some words that seem to be semantically non-count can take syntactically plural forms: 'snows', 'sands', 'waters' and the like. | |
From: Henry Laycock (Words without Objects [2006], Intro 4 n24) | |
A reaction: This seems to involve parcels of the stuff. The 'snows of yesteryear' occur at different times. 'Taking the waters' probably involves occasions. The 'Arabian sands' presumably occur in different areas. Semantics won't fix what is countable. |
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. |
21982 | I only wish I had such eyes as to see Nobody! It's as much as I can do to see real people. [Carroll,L] |
Full Idea: "I see nobody on the road," said Alice. - "I only wish I had such eyes," the King remarked. ..."To be able to see Nobody! ...Why, it's as much as I can do to see real people." | |
From: Lewis Carroll (C.Dodgson) (Through the Looking Glass [1886], p.189), quoted by A.W. Moore - The Evolution of Modern Metaphysics 07.7 | |
A reaction: [Moore quotes this, inevitably, in a chapter on Hegel] This may be a better candidate for the birth of philosophy of language than Frege's Groundwork. |
12792 | The category of stuff does not suit reference [Laycock] |
Full Idea: The central fact about the category of stuff or matter is that it is profoundly antithetical to reference. | |
From: Henry Laycock (Words without Objects [2006], Pref) | |
A reaction: This is taking 'reference' in the strictly singular classical sense, but clearly we refer to water in various ways. Laycock's challenge is very helpful. We have been in the grips of a terrible orthodoxy. |
12799 | Descriptions of stuff are neither singular aggregates nor plural collections [Laycock] |
Full Idea: The definite descriptions of stuff like water are neither singular descriptions denoting individual mereological aggregates, nor plural descriptions denoting multitudes of discrete units or semantically determined atoms. | |
From: Henry Laycock (Words without Objects [2006], 5.3) | |
A reaction: Laycock makes an excellent case for this claim, and seems to invite a considerable rethink of our basic ontology to match it, one which he ultimately hints at calling 'romantic'. Nice. Conservatives try to force stuff into classical moulds. |
12818 | We shouldn't think some water retains its identity when it is mixed with air [Laycock] |
Full Idea: Suppose that water, qua vapour, mixes with the atmosphere. Is there any abstract metaphysical principle, other than that of atomism, which implies that water must, in any such process, retain its identity? That claim seems indefensible. | |
From: Henry Laycock (Words without Objects [2006], 1.2 n22) | |
A reaction: It can't be right that some stuff always loses its identity in a mixture, if the mixture was in a closed vessel, and then separated again. Dispersion is what destroys the identity, not mixing. |
12795 | Parts must be of the same very general type as the wholes [Laycock] |
Full Idea: The notion of a part is such that parts must be of the same very general type - concrete, material or physical, for instance - as the wholes of which they are (said to be) parts. | |
From: Henry Laycock (Words without Objects [2006], 2.9) | |
A reaction: The phrase 'same very general type' cries out for investigation. Can an army contain someone who isn't much of a soldier? Can the Treasury contain a fear of inflation? |
17696 | 'Humility is a virtue' has an abstract noun, but 'water is a liquid' has a generic concrete noun [Laycock] |
Full Idea: Work is needed to distinguish abstract nouns ...from the generic uses of what are otherwise concrete nouns. The contrast is that of 'humility is a virtue' and 'water is a liquid'. | |
From: Henry Laycock (Words without Objects [2006], Intro 4 n25) | |
A reaction: 'Work is needed' implies 'let me through, I'm an analytic philosopher', but I don't think they will separate very easily. What does 'watery' mean? Does water have concrete virtues? |
12791 | It is said that proper reference is our intellectual link with the world [Laycock] |
Full Idea: Some people hold that it is reference, in some more or less full-blooded sense, which constitutes our basic intellectual or psychological connection with the world. | |
From: Henry Laycock (Words without Objects [2006], Pref) | |
A reaction: This is the view which Laycock sets out to challenge, by showing that we talk about stuff like water without any singular reference occurring at all. I think he is probably right. |