Changes

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.
12,080

edits