14 ideas
| 17833 | The first-order ZF axiomatisation is highly non-categorical [Hallett,M] |
| Full Idea: The first-order Sermelo-Fraenkel axiomatisation is highly non-categorical. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1213) |
| 17834 | Non-categoricity reveals a sort of incompleteness, with sets existing that the axioms don't reveal [Hallett,M] |
| Full Idea: The non-categoricity of the axioms which Zermelo demonstrates reveals an incompleteness of a sort, ....for this seems to show that there will always be a set (indeed, an unending sequence) that the basic axioms are incapable of revealing to be sets. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1215) | |
| A reaction: Hallett says the incompleteness concerning Zermelo was the (transfinitely) indefinite iterability of the power set operation (which is what drives the 'iterative conception' of sets). |
| 17837 | Zermelo allows ur-elements, to enable the widespread application of set-theory [Hallett,M] |
| Full Idea: Unlike earlier writers (such as Fraenkel), Zermelo clearly allows that there might be ur-elements (that is, objects other than the empty set, which have no members). Indeed he sees in this the possibility of widespread application of set-theory. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
| 17836 | The General Continuum Hypothesis and its negation are both consistent with ZF [Hallett,M] |
| Full Idea: In 1938, Gödel showed that ZF plus the General Continuum Hypothesis is consistent if ZF is. Cohen showed that ZF and not-GCH is also consistent if ZF is, which finally shows that neither GCH nor ¬GCH can be proved from ZF itself. | |
| From: Michael Hallett (Introduction to Zermelo's 1930 paper [1996], p.1217) |
| 20298 | The traditional a priori is justified without experience; post-Quine it became unrevisable by experience [Rey] |
| Full Idea: Where Kant and others had traditionally assumed that the a priori concerned beliefs 'justifiable independently of experience', Quine and others of the time came to regard it as beliefs 'unrevisable in the light of experience'. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 3.7) | |
| A reaction: That throws a rather striking light on Quine's project. Of course, if the a priori is also necessary, then it has to be unrevisable. But is a bachelor necessarily an unmarried man? It is not necessary that 'bachelor' has a fixed meaning. |
| 20300 | Externalist synonymy is there being a correct link to the same external phenomena [Rey] |
| Full Idea: Externalists are typically committed to counting expressions as 'synonymous' if they happen to be linked in the right way to the same external phenomena, even if a thinker couldn't realise that they are by reflection alone. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.2) | |
| A reaction: [He cites Fodor] Externalists always try to link to concrete things in the world, but most of our talk is full of generalities, abstractions and fiction which don't link directly to anything. |
| 20294 | 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey] |
| Full Idea: If Bob is married to Sue, then Sue is married to Bob. If x bigger than y, and y bigger than z, x is bigger than z. The symmetry of 'marriage' or transitivity of 'bigger than' are not obviously 'contained in' the corresponding thoughts. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 1.2) | |
| A reaction: [Also 'if something is red, then it is coloured'] This is a Fregean criticism of Kant. It is not so much that Kant was wrong, as that the concept of analyticity is seen to have a much wider application than Kant realised. Especially in mathematics. |
| 20293 | Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey] |
| Full Idea: Rejecting 'a married bachelor' as contradictory would seem to have no justification other than the claim that 'All bachelors are unmarried is analytic, and so cannot serve to justify or explain that claim. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 1.2) | |
| A reaction: Rey is discussing Frege's objection to Kant (who tried to prove the necessity of analytic judgements, on the basis of the denial being a contradiction). |
| 20297 | Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey] |
| Full Idea: What's peculiar about the analytic is that denying it seem unintelligible. Far from unrevisability explaining analyticity, it seems to be analyticitiy that explains unrevisability; we only balk at denying unmarried bachelors because that's what it means! | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 3.7) | |
| A reaction: This is a criticism of Quine, who attacked analyticity when it is understood as unrevisability. Obviously we could revise the concept of 'bachelor', if our marriage customs changed a lot. Rey seems right here. |
| 20301 | The meaning properties of a term are those which explain how the term is typically used [Rey] |
| Full Idea: It may be that the meaning properties of a term are the ones that play a basic explanatory role with regard to the use of the term generally, the ones in virtue ultimately of which a term is used with that meaning. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.3) | |
| A reaction: [He cites Devitt 1996, 2002, and Horwich 1998, 2005) I spring to philosophical life whenever I see the word 'explanatory', because that is the point of the whole game. They are pointing to the essence of the concept (which is explanatory, say I). |
| 20302 | An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey] |
| Full Idea: The existence of a separate language faculty may be an odd but psychologically real fact about us, and it may thereby supply a real basis for commitments about not only what is or is not grammatical, but about what is a matter of natural language meaning. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.4) | |
| A reaction: This is the Chomskyan view of analytic sentences. An example from Chomsky (1977:142) is the semantic relationships of persuade, intend and believe. It's hard to see how the secret faculty on its own could do the job. Consensus is needed. |
| 20303 | Research throws doubts on the claimed intuitions which support analyticity [Rey] |
| Full Idea: The movement of 'experimental philosophy' has pointed to evidence of considerable malleability of subject's 'intuitions' with regard to the standard kinds of thought experiments on which defenses of analytic claims typically rely. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.4) | |
| A reaction: See Cappelen's interesting attack on the idea that philosophy relies on intuitions, and hence his attack on experimental philosophy. Our consensus on ordinary English usage hardly qualifies as somewhat vague 'intuitions'. |
| 20299 | If we claim direct insight to what is analytic, how do we know it is not sub-consciously empirical? [Rey] |
| Full Idea: How in the end are we going to distinguish claims or the analytic as 'rational insight', 'primitive compulsion', inferential practice or folk belief from merely some deeply held empirical conviction, indeed, from mere dogma. | |
| From: Georges Rey (The Analytic/Synthetic Distinction [2013], 4.1) | |
| A reaction: This is Rey's summary of the persisting Quinean challenge to analytic truths, in the face of a set of replies, summarised by the various phrases here. So do we reject a dogma of empiricism, by asserting dogmatic empiricism? |
| 5271 | Prejudice apart, push-pin has equal value with music and poetry [Bentham] |
| Full Idea: Prejudice apart, the game of push-pin is of equal value with the arts and science of music and poetry. | |
| From: Jeremy Bentham (Constitutional Code I [1827], p.139), quoted by J.R. Dinwiddy - Bentham p.114 | |
| A reaction: Mill quoted this with implied outrage, but Bentham was attacking public subsidies to the arts when he said it. It is a basic idea in the debate on pleasure - that pleasures are only distinguished by their intensity, not some other value. |