more from this thinker     |     more from this text

Single Idea 7725

[filed under theme 19. Language / E. Analyticity / 1. Analytic Propositions ]

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.

Gist of Idea

'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate

Source

report of Gottlob Frege (works [1890]) by Joan Weiner - Frege Ch.2

Book Ref

Weiner,Joan: 'Frege' [OUP 1999], p.15

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).

Related Ideas

Idea 1624 If we try to define analyticity by synonymy, that leads back to analyticity [Quine]

Idea 7315 'Jones is a married bachelor' does not have the logical form of a contradiction [Miller,A]

The 20 ideas with the same theme [propositions that just seem to be about words]:

8734 Non-subject/predicate tautologies won't fit Kant's definition of analyticity [Shapiro on Kant]
7314 How can bachelor 'contain' unmarried man? Are all analytic truths in subject-predicate form? [Miller,A on Kant]
20291 If the predicate is contained in the subject of a judgement, it is analytic; otherwise synthetic [Kant]
20292 Analytic judgements clarify, by analysing the subject into its component predicates [Kant]
16926 Analytic judgements say clearly what was in the concept of the subject [Kant]
16927 Analytic judgement rests on contradiction, since the predicate cannot be denied of the subject [Kant]
9370 A statement is analytic if substitution of synonyms can make it a logical truth [Frege, by Boghossian]
8743 Frege considered analyticity to be an epistemic concept [Frege, by Shapiro]
7725 'P or not-p' seems to be analytic, but does not fit Kant's account, lacking clear subject or predicate [Frege, by Weiner]
13345 Sentences are 'analytical' if every sequence of objects models them [Tarski]
9371 Analytic statements are either logical truths (all reinterpretations) or they depend on synonymy [Quine]
20294 'Married' does not 'contain' its symmetry, nor 'bigger than' its transitivity [Rey]
20293 Analytic judgements can't be explained by contradiction, since that is what is assumed [Rey]
20297 Analytic statements are undeniable (because of meaning), rather than unrevisable [Rey]
20301 The meaning properties of a term are those which explain how the term is typically used [Rey]
20302 An intrinsic language faculty may fix what is meaningful (as well as grammatical) [Rey]
20303 Research throws doubts on the claimed intuitions which support analyticity [Rey]
14099 'Bachelor' consists in or reduces to 'unmarried' male, but not the other way around [Rosen]
14488 Analyticity is revealed through redundancy, as in 'He bought a house and a building' [Thomasson]
17725 'Analytic' can be conceptual, or by meaning, or predicate inclusion, or definition... [Jenkins]