display all the ideas for this combination of texts
2 ideas
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). |
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. |