12 ideas
| 12695 | Epicurean atomists say body is sensible, to distinguish it from space. [Garber] |
| Full Idea: The Epicurean atomists also defined body in terms of the property of being sensible, in order to distinguish it from empty space, which is not sensible. | |
| From: Daniel Garber (Leibniz:Body,Substance,Monad [2009], 1) | |
| A reaction: This is a very illuminating bit of background, for those of us who have the knee-jerk reaction that monadology is barking mad. |
| 14979 | Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider] |
| Full Idea: The property of 'being alone in the world' is an extrinsic property, even though it has had by an object that is alone in the world. | |
| From: report of David Lewis (Extrinsic Properties [1983]) by Theodore Sider - Writing the Book of the World 01.2 | |
| A reaction: I always choke on my cornflakes whenever anyone cites a true predicate as if it were a genuine property. This is a counterexample to Idea 14978. Sider offers another more elaborate example from Lewis. |
| 15454 | Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis] |
| Full Idea: Properties may be more or less intrinsic; being a brother has more of an admixture of intrinsic structure than being a sibling does, yet both are extrinsic. | |
| From: David Lewis (Extrinsic Properties [1983], I) | |
| A reaction: I suppose the point is that a brother is intrinsically male - but then a sibling is intrinsically human. A totally extrinsic relation would be one between entities which shared virtually no categories of existence. |
| 15455 | Total intrinsic properties give us what a thing is [Lewis] |
| Full Idea: The way something is is given by the totality of its intrinsic properties. | |
| From: David Lewis (Extrinsic Properties [1983], I) | |
| A reaction: No. Some properties are intrinsic but trivial. The 'important' ones fix the identity (if the identity is indeed 'fixed'). |
| 5163 | Basic propositions refer to a single experience, are incorrigible, and conclusively verifiable [Ayer] |
| Full Idea: There is a class of empirical propositions, which I call 'basic propositions', which can be verified conclusively, since they refer solely to the contents of a single experience, which are incorrigible. | |
| From: A.J. Ayer (Introduction to 'Language Truth and Logic' [1946], p.13) | |
| A reaction: A classic statement of empirical foundationalism. I sort of agree that 'single experiences' are a 'given' for philosophy, but is questionable whether there is anything which could both be a single experience AND give rise to a proposition. |
| 5167 | The argument from analogy fails, so the best account of other minds is behaviouristic [Ayer] |
| Full Idea: There are too many objections to the argument from analogy, so I am inclined to revert to a 'behaviouristic' interpretation of propositions about other people's experiences. | |
| From: A.J. Ayer (Introduction to 'Language Truth and Logic' [1946], p.26) | |
| A reaction: It seems odd to vote for behaviourism on one issue, if you aren't a general subscriber. It is one thing to say that behaviour is the best evidence for your explanation, quite another to equate the other mind with its behaviour. |
| 5164 | A statement is meaningful if observation statements can be deduced from it [Ayer] |
| Full Idea: In the improved version, a statement was verifiable, and consequently meaningful, if 'some observation-statement can be deduced from it in conjunction with certain other premises, without being deducible from those other premises alone'. | |
| From: A.J. Ayer (Introduction to 'Language Truth and Logic' [1946], p.15) | |
| A reaction: I.Berlin showed that any statement S could pass this test, because if you assert 'S' and 'If S then O', these two statements entail O, which could be some random observation. Hence a 1946 revised version had to be produced. |
| 5165 | Directly verifiable statements must entail at least one new observation statement [Ayer] |
| Full Idea: A statement is directly verifiable if it is either itself an observation-statement,or is such that in conjunction with one or more observation-statements it entails at least one observation-statement which is not deducible from these other premises alone. | |
| From: A.J. Ayer (Introduction to 'Language Truth and Logic' [1946], p.17) | |
| A reaction: This is the 1946 revised version of the Verification Principle, which was then torpedoed by an elaborate counterexample from Alonzo Church. Ayer thereafter abandoned attempts to find a precise statement of it. |
| 5166 | The principle of verification is not an empirical hypothesis, but a definition [Ayer] |
| Full Idea: I wish the principle of verification to be regarded, not as an empirical hypothesis, but as a definition. | |
| From: A.J. Ayer (Introduction to 'Language Truth and Logic' [1946], p.21) | |
| A reaction: This is Ayer's attempt to meet the well known objection of 'turning the tables' on his theory (by asking whether it is tautological or empirically verifiable). However, if it is just a definition, then presumably it is completely arbitrary… |
| 5162 | Sentences only express propositions if they are meaningful; otherwise they are 'statements' [Ayer] |
| Full Idea: I suggest that every grammatically significant indicative sentence expresses a 'statement', but the word 'proposition' will be reserved for what is expressed by sentences that are literally meaningful. | |
| From: A.J. Ayer (Introduction to 'Language Truth and Logic' [1946], p.10) | |
| A reaction: We don't have to accept Ayer's over-fussy requirements for what is meaningful to accept that this is a good distinction. Every day we hear statements from people (e.g. politicians) in which we can fish in vain for the underlying proposition. |
| 5168 | Moral approval and disapproval concerns classes of actions, rather than particular actions [Ayer] |
| Full Idea: The common objects of moral approval and disapproval are not particular actions so much as classes of actions. | |
| From: A.J. Ayer (Introduction to 'Language Truth and Logic' [1946], p.27) | |
| A reaction: This 1946 revision of his pure emotivism looks like a move towards Hare's prescriptivism, where classes, rules and principles are seen as the window-dressing of emotivism. It's still a bad theory. |
| 12705 | Epicurean atoms are distinguished by their extreme hardness [Garber] |
| Full Idea: In Epicurean atomism (of Cordemoy, for example) there is a world of basic things distinguished by virtue of their extreme hardness. | |
| From: Daniel Garber (Leibniz:Body,Substance,Monad [2009], 2) | |
| A reaction: Garber says that Leibniz espouses 'substantial atomism', which is different from this. Leibniz's atoms have active power, where these atoms just embody total resistance. |