Line 2,202: |
Line 2,202: |
| '''NOF 4''' | | '''NOF 4''' |
| | | |
− | <pre> | + | <blockquote> |
− | | The conception of multiplication we have adopted is
| + | <p>The conception of multiplication we have adopted is that of the application of one relation to another. …</p> |
− | | that of the application of one relation to another. ...
| + | |
− | |
| + | <p>Even ordinary numerical multiplication involves the same idea, for 2 x 3 is a pair of triplets, and 3 x 2 is a triplet of pairs, where "triplet of" and "pair of" are evidently relatives.</p> |
− | | Even ordinary numerical multiplication involves the same idea,
| + | |
− | | for 2 x 3 is a pair of triplets, and 3 x 2 is a triplet of pairs,
| + | <p>If we have an equation of the form:</p> |
− | | where "triplet of" and "pair of" are evidently relatives.
| + | |
− | |
| + | : <p>''xy'' = ''z''</p> |
− | | If we have an equation of the form:
| + | |
− | |
| + | <p>and there are just as many ''x''’s per ''y'' as there are, ''per'' things, things of the universe, then we have also the arithmetical equation:</p> |
− | | xy = z
| + | |
− | |
| + | : <p>[''x''][''y''] = [''z''].</p> |
− | | and there are just as many x's per y as there are,
| + | |
− | | 'per' things, things of the universe, then we have
| + | <p>For instance, if our universe is perfect men, and there are as many teeth to a Frenchman (perfect understood) as there are to any one of the universe, then:</p> |
− | | also the arithmetical equation:
| + | |
− | |
| + | : <p>[''t''][''f''] = [''tf'']</p> |
− | | [x][y] = [z].
| + | |
− | |
| + | <p>holds arithmetically.</p> |
− | | For instance, if our universe is perfect men, and there
| + | |
− | | are as many teeth to a Frenchman (perfect understood)
| + | <p>So if men are just as apt to be black as things in general:</p> |
− | | as there are to any one of the universe, then:
| + | |
− | |
| + | : <p>[''m'',][''b''] = [''m'',''b'']</p> |
− | | ['t'][f] = ['t'f]
| + | |
− | |
| + | <p>where the difference between [''m''] and [''m'',] must not be overlooked.</p> |
− | | holds arithmetically.
| + | |
− | |
| + | <p>It is to be observed that:</p> |
− | | So if men are just as apt to be black as things in general:
| + | |
− | |
| + | : <p>[!1!] = `1`.</p> |
− | | [m,][b] = [m,b]
| + | |
− | |
| + | <p>Boole was the first to show this connection between logic and probabilities. He was restricted, however, to absolute terms. I do not remember having seen any extension of probability to relatives, except the ordinary theory of ''expectation''.</p> |
− | | where the difference between [m] and [m,] must not be overlooked.
| + | |
− | |
| + | <p>Our logical multiplication, then, satisfies the essential conditions of multiplication, has a unity, has a conception similar to that of admitted multiplications, and contains numerical multiplication as a case under it. (Peirce, CP 3.76).</p> |
− | | It is to be observed that:
| + | </blockquote> |
− | |
| |
− | | [!1!] = `1`.
| |
− | |
| |
− | | Boole was the first to show this connection between logic and
| |
− | | probabilities. He was restricted, however, to absolute terms.
| |
− | | I do not remember having seen any extension of probability to
| |
− | | relatives, except the ordinary theory of 'expectation'.
| |
− | |
| |
− | | Our logical multiplication, then, satisfies the essential conditions
| |
− | | of multiplication, has a unity, has a conception similar to that of
| |
− | | admitted multiplications, and contains numerical multiplication as
| |
− | | a case under it.
| |
− | |
| |
− | | C.S. Peirce, CP 3.76
| |
− | </pre> | |
| | | |
| Before I can discuss Peirce's "number of" function in greater detail I will need to deal with an expositional difficulty that I have been very carefully dancing around all this time, but that will no longer abide its assigned place under the rug. | | Before I can discuss Peirce's "number of" function in greater detail I will need to deal with an expositional difficulty that I have been very carefully dancing around all this time, but that will no longer abide its assigned place under the rug. |