| 8734 | Non-subject/predicate tautologies won't fit Kant's definition of analyticity [Shapiro on Kant] |
| Full Idea: Not every proposition has a subject-predicate form, and so by contemporary lights Kant's definition of analyticity [predicate contained in subject] is unnatural and stifling. What of 'If it is raining now, then either it is raining or it is snowing'? | |
| From: comment on Immanuel Kant (Critique of Pure Reason [1781]) by Stewart Shapiro - Thinking About Mathematics 4.2 | |
| A reaction: Only a logician would want to assert something so pointless. Kant gives a pretty good account of normal language tautologies. Still, you can't deny the point. |
| 7314 | How can bachelor 'contain' unmarried man? Are all analytic truths in subject-predicate form? [Miller,A on Kant] |
| Full Idea: There are two problems with Kant's characterisation of analytic truths (as having 'the predicate contained within the subject'): what exactly does it mean to say that bachelor "contains" unmarried man?, and it is limited to subject-predicate sentences. | |
| From: comment on Immanuel Kant (Critique of Pure Reason [1781]) by Alexander Miller - Philosophy of Language 4.2 | |
| A reaction: He picks these objections up from Quine. I always have reservations about Quine's supposed demolition of analytic truths, but there is no denying that these are two excellent problems which need addressing. |
| 20291 | If the predicate is contained in the subject of a judgement, it is analytic; otherwise synthetic [Kant] |
| Full Idea: In judgements, the relation of subject to predicate is possible in two ways. Either the predicate B belongs to the subject A as (covertly) contained in this concept A; or B lies entirely outside A. The first I call analytic, the second synthetic. | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B010/A6) | |
| A reaction: Rey says this is the first introduction of the analytic/synthetic disctinction. Modern philosophers seem to reject this definition, mainly because they are suspicious of the vague word 'contained'. Depends what a concept is. |
| 20292 | Analytic judgements clarify, by analysing the subject into its component predicates [Kant] |
| Full Idea: One could call an analytic judgement one of clarification ...since the predicate does not add anything to the concept of the subject, but only breaks it up by means of analysis into its component concepts. | |
| From: Immanuel Kant (Critique of Pure Reason [1781], B011/A7) | |
| A reaction: This is a very illuminating view of the concept, which seems to have fallen into disrepute. If we ask what predicates are contained in 'tree', we may quickly have to embrace essentialism, to decide which predicates matter. |
| 16926 | Analytic judgements say clearly what was in the concept of the subject [Kant] |
| Full Idea: Analytic judgements say nothing in the predicate that was not already thought in the concept of the subject, though not so clearly and with the same consciousness. If I say all bodies are extended, I have not amplified my concept of body in the least. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 266) | |
| A reaction: If I say all bodies are made of atoms, have I extended my concept of 'body'? It would come as a sensational revelation for Aristotle, but it now seems analytic. |
| 16927 | Analytic judgement rests on contradiction, since the predicate cannot be denied of the subject [Kant] |
| Full Idea: Analytic judgements rest wholly on the principle of contradiction, …because the predicate cannot be denied of the subject without contradiction. | |
| From: Immanuel Kant (Prolegomena to Any Future Metaphysic [1781], 267) | |
| A reaction: So if I say 'gold has atomic number 79', that is a (Kantian) analytic statement? This is the view of sceptics about Kripke's a posteriori necessity. …a few lines later Kant gives 'gold is a yellow metal' as an example. |
| 9370 | A statement is analytic if substitution of synonyms can make it a logical truth [Frege, by Boghossian] |
| Full Idea: According to Frege, a statement's analyticity (in my epistemological sense) is to be explained by the fact that it is transformable into a logical truth by the substitution of synonyms for synonyms. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §03) by Paul Boghossian - Analyticity Reconsidered §I | |
| A reaction: [He says this interpretation of Frege's semantical notion of analyticity may be controversial] Presumably we see that 'bachelors are unmarried men' is analytic when we start substituting for 'bachelor'. Sounds reasonable. |
| 8743 | Frege considered analyticity to be an epistemic concept [Frege, by Shapiro] |
| Full Idea: Frege held that analyticity is like a priority in being an epistemic concept. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §03) by Stewart Shapiro - Thinking About Mathematics 5.1 | |
| A reaction: Kripke very firmly says that this is not so. While a priori is an epistemic concept, analyticity is a semantic concept. I cling on to Kripke's framework, but probably more because it is neat and comfortable than because it is true. |
| 7725 | 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner] |
| Full Idea: 'It is raining or it is not raining' appears to true because of the general principle 'p or not-p', so it is analytic; but this does not fit Kant's idea of an analytic truth, because it is not obvious that it has a subject concept or a predicate concept. | |
| From: report of Gottlob Frege (works [1890]) by Joan Weiner - Frege Ch.2 | |
| A reaction: The general progress of logic seems to be a widening out to embrace problem sentences. However, see Idea 7315 for the next problem that arises with analyticity. All this culminates in Quine's attack (e.g. Idea 1624). |
| 13345 | Sentences are 'analytical' if every sequence of objects models them [Tarski] |
| Full Idea: A class of sentences can be called 'analytical' if every sequence of objects is a model of it. | |
| From: Alfred Tarski (The Concept of Logical Consequence [1936], p.418) | |
| A reaction: See Idea 13344 and Idea 13343 for the context of this assertion. |
| 9371 | Analytic statements are either logical truths (all reinterpretations) or they depend on synonymy [Quine] |
| Full Idea: Analytic statements fall into two classes: 'no unmarried man is married' typifies the first class, of logical truths; it remains true under all reinterpretations. 'No bachelor is married' is analytic if synonyms replace synonyms, and there's the problem. | |
| From: Willard Quine (Two Dogmas of Empiricism [1953], §1) | |
| A reaction: Boghossian emphasises this passage. In other papers Quine argues that logical truths also cannot be purely analytic, although he does not deny that there are logical truths. |
| 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). |
| 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. |
| 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'. |
| 14099 | 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen] |
| Full Idea: It sounds right to say that Fred's being a bachelor consists in (reduces to) being an unmarried male, but slightly off to say that Fred's being an unmarried male consists in (or reduces to) being a bachelor. There is a corresponding explanatory asymmetry. | |
| From: Gideon Rosen (Metaphysical Dependence [2010], 10) | |
| A reaction: This emerging understanding of the asymmetry of the idea shows that we are not just dealing with a simple semantic identity. Our concepts are richer than our language. He adds that a ball could be blue in virtue of being cerulean. |
| 14488 | Analyticity is revealed through redundancy, as in 'He bought a house and a building' [Thomasson] |
| Full Idea: The analytic interrelations among elements of language become evident through redundancy. It is redundant to utter 'He bought a house and a building', since buying a house analytically entails that he bought a building. | |
| From: Amie L. Thomasson (Ordinary Objects [2007], 09.4) | |
| A reaction: This appears to concern necessary class membership. It is only linguistically redundant if the class membership is obvious. Houses are familiar, uranium samples are not. |
| 17725 | 'Analytic' can be conceptual, or by meaning, or predicate inclusion, or definition... [Jenkins] |
| Full Idea: 'Analytic' might mean conceptually true, or true in virtue of meaning, or where the predicate is contained in the subject, or for sentences which define something, or where meaning is sufficient for the truth. | |
| From: Carrie Jenkins (Grounding Concepts [2008], 4.3) | |
| A reaction: The second one says meaning grounds the truth, where the last one says meaning entails the truth. |