| 11240 | The notion of analytic truth is absent in Aristotle [Aristotle, by Politis] |
| Full Idea: The notion of analytic truth is conspicuously absent in Aristotle. | |
| From: report of Aristotle (works [c.330 BCE]) by Vassilis Politis - Aristotle and the Metaphysics 1.5 | |
| A reaction: Cf. Idea 11239. |
| 12233 | The ground of a pure conceptual truth is only in other conceptual truths [Bolzano] |
| Full Idea: We can find the ground of a pure conceptual truth only in other conceptual truths. | |
| From: Bernard Bolzano (Theory of Science (Wissenschaftslehre, 4 vols) [1837], Pref) | |
| A reaction: Elsewhere he insists that these grounds must be in 'truths', and not just in the attributes of the concepts of involved. This conflicts with Kit Fine's view, that the concepts themselves are the source of conceptual truth and necessity. |
| 20295 | All analytic truths can become logical truths, by substituting definitions or synonyms [Frege, by Rey] |
| Full Idea: Frege appealed to definition, or (if 'meaning' is preserved) synonymy: the non-logical analytic truths can be converted to logical truths by substitution of definitions for defined terms, or synonyms for synonyms. | |
| From: report of Gottlob Frege (Grundlagen der Arithmetik (Foundations) [1884], §005, 88) by Georges Rey - The Analytic/Synthetic Distinction 1.2 | |
| A reaction: This is a 'dogma of empiricism' attacked by Quine. It seems rather obvious (with hindsight?) that you can smuggle whatever is required to do the job into your definition. Or assert some slightly dubious synonymy. |
| 7316 | Analytic truths are those that can be demonstrated using only logic and definitions [Frege, by Miller,A] |
| Full Idea: Frege (according to Quine) characterises analytic truths as those that can be demonstrated or proved using only logical laws and definitions as premises. | |
| From: report of Gottlob Frege (works [1890]) by Alexander Miller - Philosophy of Language 4.2 | |
| A reaction: This is the big shift away from the Kantian version (predicate contained in the subject) towards a modern version, perhaps fixed by a truth table giving true for all values. |
| 4576 | An analytic truth is one which becomes a logical truth when some synonyms have been replaced [Cooper,DE] |
| Full Idea: The definition of analytic truth which has, I believe, the most chance of success is one in terms of synonymy; ..an analytic truth is one which can be transformed into a logical truth once synonyms are replaced by synonyms. | |
| From: David E. Cooper (Philosophy and the Nature of Language [1973], §7.1) | |
| A reaction: Sounds promising, though there is Quine's notorious problem of circularity in all these concepts. If synonymy is conventional, then so is analyticity. I personally feel that the circle can be broken. |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| Full Idea: There are many statements which are plausibly viewed as conceptual truths (such as 'what is yellow is extended') which do not qualify as analytic under Frege's definition (as provable using only logical laws and definitions). | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: Presumably this is because the early assumptions of Frege were mathematical and logical, and he was trying to get away from Kant. That yellow is extended is a truth for non-linguistic beings. |
| 13960 | In two-dimensional semantics we have two aspects to truth in virtue of meaning [Chalmers] |
| Full Idea: Both the 'primary' and 'secondary' intension qualify as truths in virtue of meaning; they are simply true in virtue of different aspects of meaning. | |
| From: David J.Chalmers (The Conscious Mind [1996], 1.2.4) | |
| A reaction: This is the view of two-dimensional semantics, which has split Fregean sense into an a priori and an a posterior part. Chalmers is trying to hang onto the idea that we might see necessity as largely analytic. |
| 11170 | Analytic truth may only be true in virtue of the meanings of certain terms [Fine,K] |
| Full Idea: Just as a necessary truth may be true in virtue of the identity of certain objects as opposed to others, so an analytic truth may be true in virtue of the meanings of certain terms as opposed to others (such as 'bachelor' rather than 'unmarried'). | |
| From: Kit Fine (Essence and Modality [1994], p.10) | |
| A reaction: This is a beautifully simple observation, that the necessity of 'bachelors are unmarried men' derives from part of the proposition, not from the whole of it. So what is it about the part that generates the apparent necessity? The nature of the concept! |
| 11172 | The meaning of 'bachelor' is irrelevant to the meaning of 'unmarried man' [Fine,K] |
| Full Idea: Strictly speaking it is irrelevant to the meaning of 'bachelor' that the phrase 'unmarried man' means what it does. | |
| From: Kit Fine (Essence and Modality [1994], p.13) | |
| A reaction: His point is that the necessary truth here derives from the meaning of 'bachelor', and not from the meaning of 'unmarried man'. But is also true that 'unmarried man' means 'bachelor' (for those familiar with the latter, but not the former). |
| 7315 | 'Jones is a married bachelor' does not have the logical form of a contradiction [Miller,A] |
| Full Idea: The syntactic notion of contradiction (p and not-p) is well understood, but is no help in explaining analyticity, since "Jones is a married bachelor" is not of that syntactic form. | |
| From: Alexander Miller (Philosophy of Language [1998], 4.2) | |
| A reaction: This point is based on Quine. This means we cannot define analytic sentences as those whose denial is a contradiction, even though that seems to be true of them. Both the Kantian and the modern logical versions of analyticity are in trouble. |
| 17721 | There are no truths in virtue of meaning, but there is knowability in virtue of understanding [Boghossian, by Jenkins] |
| Full Idea: Boghossian distinguishes metaphysical analyticity (truth purely in virtue of meaning, debunked by Quine, he says) from epistemic analyticity (knowability purely in virtue of understanding - a notion in good standing). | |
| From: report of Paul Boghossian (Analyticity Reconsidered [1996]) by Carrie Jenkins - Grounding Concepts 2.4 | |
| A reaction: [compressed] This fits with Jenkins's claim that we have a priori knowledge just through understanding and relating our concepts. She, however, rejects that idea that a priori is analytic. |
| 14998 | Conventions are contingent and analytic truths are necessary, so that isn't their explanation [Sider] |
| Full Idea: To suggest that analytic truths make statements about linguistic conventions is a nonstarter; statements about linguistic conventions are contingent, whereas the statements made by typical analytic sentences are necessary. | |
| From: Theodore Sider (Writing the Book of the World [2011], 06.5) | |
| A reaction: That 'anything yellow is extended' is not just a convention should be fairly obvious, and it is obviously necessary. But we can say that bachelors are necessarily unmarried men - given the current convention. |