MyWikiBiz, Author Your Legacy — Thursday October 31, 2024
Jump to navigationJump to search
311 bytes added
, 15:44, 1 April 2009
Line 90: |
Line 90: |
| | | | | |
| <p>will mean that every mother of anything is a lover of the same thing; although this interpretation in some degree anticipates a convention to be made further on. These significations of <math>=\!</math> and <math><\!</math> plainly conform to the indispensable conditions. Upon the transitive character of these relations the syllogism depends, for by virtue of it, from</p> | | <p>will mean that every mother of anything is a lover of the same thing; although this interpretation in some degree anticipates a convention to be made further on. These significations of <math>=\!</math> and <math><\!</math> plainly conform to the indispensable conditions. Upon the transitive character of these relations the syllogism depends, for by virtue of it, from</p> |
| + | |- |
| + | | |
| + | {| width="100%" |
| + | | width="25%" | |
| + | | align="center" | <math>f -\!\!\!< m</math> |
| + | | width="25%" | |
| + | |- |
| + | | <p>and</p> |
| + | | align="center" | <math>m -\!\!\!< a</math> |
| + | | |
| + | |- |
| + | | <p>we can infer that</p> |
| + | | align="center" | <math>f -\!\!\!< a</math> |
| + | | |
| + | |} |
| + | |- |
| + | | |
| + | <p>that is, from every Frenchman being a man and every man being an animal, that every Frenchman is an animal.</p> |
| | | |
− | <p>f -< m</p> | + | <p>But not only do the significations of <math>=\!</math> and <math><\!</math> here adopted fulfill all absolute requirements, but they have the supererogatory virtue of being very nearly the same as the common significations. Equality is, in fact, nothing but the identity of two numbers; numbers that are equal are those which are predicable of the same collections, just as terms that are identical are those which are predicable of the same classes. So, to write <math>5 < 7\!</math> is to say that <math>5\!</math> is part of <math>7\!</math>, just as to write <math>f < m\!</math> is to say that Frenchmen are part of men. Indeed, if <math>f < m\!</math>, then the number of Frenchmen is less than the number of men, and if <math>v = p\!</math>, then the number of Vice-Presidents is equal to the number of Presidents of the Senate; so that the numbers may always be substituted for the terms themselves, in case no signs of operation occur in the equations or inequalities.</p> |
− | | |
− | <p>and</p> | |
− | | |
− | <p>m -< a,</p> | |
− | | |
− | <p>we can infer that</p> | |
− | | |
− | <p>f -< a;</p> | |
− | | |
− | <p>that is, from every Frenchman being a man and every man being an animal, that every Frenchman is an animal.</p> | |
| | | |
− | <p>But not only do the significations of '=' and '<' here adopted fulfill all absolute requirements, but they have the supererogatory virtue of being very nearly the same as the common significations. Equality is, in fact, nothing but the identity of two numbers; numbers that are equal are those which are predicable of the same collections, just as terms that are identical are those which are predicable of the same classes. So, to write 5 < 7 is to say that 5 is part of 7, just as to write f < m is to say that Frenchmen are part of men. Indeed, if f < m, then the number of Frenchmen is less than the number of men, and if v = p, then the number of Vice-Presidents is equal to the number of Presidents of the Senate; so that the numbers may always be substituted for the terms themselves, in case no signs of operation occur in the equations or inequalities. (Peirce, CP 3.66).</p> | + | <p>(Peirce, CP 3.66).</p> |
| |} | | |} |
| | | |