The response I gave above what that once we take into account that (24) is not a necessary truth, that 9 is not the number of planets in every possible world, we can see why the substitution fails for this particular case. It's a bit harder to see how this might work in the case of propositions. Partly that's becasue what a proposition is, is somewhat ambiguous, and what a proposition is is central to the argument. It's clear, for example, that(41) The proposition that 9 > 7 = the proposition that 9 > 7
goes over into the falsehood:
The proposition that the number of the planets > 7 = the proposition that 9 > 7
under substitution according to (24). Existential generalization of (41) yields a result comparable to (29)-(31) and (40). — p. 157
is false, as isThe utterance that the number of the planets > 7 = the utterance that 9 > 7
Now a proposition is supposedly different to an utterance or a sentence, in that it is what the sentence stands for or refers to, and not the sentence itself, so that for instance the sentence in English and the sentence in French may differ, while the proposition each expresses remains constant. So we might ask if it true thatThe sentence "the number of the planets > 7" = the sentence "9 > 7"
I'm not sure there is any one answer to this.The number of the planets > 7 = Le nombre de planètes > 7
The number of the planets > 7 = Le nombre de planètes > 7
Well yes - the planets.there is a something -- meaning, sense, content -- that can persist despite differing verbal articulations of it. — J
So back to the distinction between properties and attributes and classes.This is a good question. What would you say? — J
Beads {1,2,3} and the beads with the attribute "being red" are extensionally equivalent. In the domain of beads, being red just is being bead 1, 2, or 3. Any "why" as to those beads and not 4, 5, or 6 or 7, 8 or 9 is for extensionally besides the point.(41) yields a result comparable to (29)-(31) and (40). Most of the logicians, semanticists, and analytical philosophers who discourse freely of attributes, propositions, or logical modalities betray failure to appreciate that they thereby imply a metaphysical position which they themselves would scarcely condone. It is noteworthy that in Principia Mathematica, where attributes were nominally admitted as entities, all actual contexts occurring in the course of formal work are such as could be fulfilled as well by classes as by attributes. All. actual contexts are extension& in the sense of page 30 above. The authors of Principia Mathematica thus adhered in practice to a principle of extensionality which they did not espouse in theory. If their practice had been otherwise, we might have been brought sooner to an appreciation of the urgency of the principle.
What they have in common is not some other entity we call the proposition, but that they say the same thing about the number of planets. — Banno
Take another look at the beads. I've claimed that {1,2,3} is extensionally equivalent to "...is red". . . The point is that if there is agreement we need explain nothing further. — Banno
30 Modalities The modalities of necessity and possibility are not overtly mentalistic, but still they are intensional, in the sense of resisting substitutivity of identity. Here again we have the interplay between de dicto and de re. Thus ‘nec (7 < the number of the planets)’ is true de re, since nec (7 < 9), but false de dicto...
28 Propositional Attitudes: (1) There are some whom Ralph believes to be spies, not just that (2) Ralph believes ‘∃x(x is a spy)’. If rendered quotationally, (1) goes incoherent. (3) ∃x(Ralph believes ‘x is a spy’). The quotation in (3) is just a name of a string of seven letters and three spaces; its ‘x’ has nothing to do with the outlying ‘∃x’. (1) ascribed belief de re; quotation ascribes it de dicto. Between (1) and (2) we sense the vital difference between spotting a suspect and merely believing, like all of us, that there are spies. — Quine's Pursuit of Truth.
That word. If everything hat applies to {1,2,3} applies to "...is red", then what more is there to "meaning"?...means... — J
The modalities of necessity and possibility are not overtly mentalistic, but still they are intensional, in the sense of resisting substitutivity of identity. — Quine's Pursuit of Truth.
But doubt this will convince you — Banno
If everything that applies to {1,2,3} applies to "...is red", then what more is there to "meaning"? — Banno
One cannot use words without knowing the meanings — Corvus
If that were so, no one would ever learn the meaning of a word.One cannot use words without knowing the meanings. — Corvus
Is there more here than the collapse of "meaning" that occurs as one attempts to say what meaning is? — Banno
{1,2,3} may be extensionally equivalent to "is red", but would you really want to say that "{1,2,3}" means the same thing as "red"? — J
If everything that applies to {1,2,3} applies to "...is red", then what more is there to "meaning"? — Banno
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.