Difference between revisions of "Directory:Jon Awbrey/Papers/Peirce's 1870 Logic Of Relatives"

MyWikiBiz, Author Your Legacy — Friday March 29, 2024
Jump to navigationJump to search
(update)
 
(8 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
{{DISPLAYTITLE:Peirce's 1870 Logic Of Relatives}}
 
{{DISPLAYTITLE:Peirce's 1870 Logic Of Relatives}}
 +
'''Note.''' The MathJax parser is not rendering this page properly.<br>Until it can be fixed please see the [http://intersci.ss.uci.edu/wiki/index.php/Peirce's_1870_Logic_Of_Relatives InterSciWiki version].
 +
 
'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''
 
'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''
  
Peirce's text employs lower case letters for logical terms of general reference and upper case letters for logical terms of individual reference. General terms fall into types, for example, absolute terms, dyadic relative terms, or higher adic relative terms, and Peirce employs different typefaces to distinguish these. The following Tables indicate the typefaces that are used in the text below for Peirce's examples of general terms.
+
Peirce's text employs lower case letters for logical terms of general reference and upper case letters for logical terms of individual reference.&nbsp; General terms fall into types &mdash; absolute terms, dyadic relative terms, higher adic relative terms &mdash; and Peirce employs different typefaces to distinguish these.&nbsp; The following Tables indicate the typefaces that are used in the text below for Peirce's examples of general terms.
  
 
<br>
 
<br>
Line 84: Line 86:
 
The path to understanding Peirce's system and its wider implications for logic can be smoothed by paraphrasing his notations in a variety of contemporary mathematical formalisms, while preserving the semantics as much as possible.  Remaining faithful to Peirce's orthography while adding parallel sets of stylistic conventions will, however, demand close attention to typography-in-context.  Current style sheets for mathematical texts specify italics for mathematical variables, with upper case letters for sets and lower case letters for individuals.  So we need to keep an eye out for the difference between the individual <math>\mathrm{X}\!</math> of the genus <math>\mathrm{x}\!</math> and the element <math>x\!</math> of the set <math>X\!</math> as we pass between the two styles of text.
 
The path to understanding Peirce's system and its wider implications for logic can be smoothed by paraphrasing his notations in a variety of contemporary mathematical formalisms, while preserving the semantics as much as possible.  Remaining faithful to Peirce's orthography while adding parallel sets of stylistic conventions will, however, demand close attention to typography-in-context.  Current style sheets for mathematical texts specify italics for mathematical variables, with upper case letters for sets and lower case letters for individuals.  So we need to keep an eye out for the difference between the individual <math>\mathrm{X}\!</math> of the genus <math>\mathrm{x}\!</math> and the element <math>x\!</math> of the set <math>X\!</math> as we pass between the two styles of text.
  
<div class="nonumtoc">__TOC__</div>
+
__TOC__
  
 
==Selection 1==
 
==Selection 1==
Line 102: Line 104:
 
<p>The third class embraces terms whose logical form involves the conception of bringing things into relation, and which require the addition of more than one term to complete the denotation.  They discriminate not only with consciousness of discrimination, but with consciousness of its origin.  They regard  an object as medium or third between two others, that is as conjugative;  as giver of&nbsp;&mdash;&mdash; to&nbsp;&mdash;&mdash;, or buyer of&nbsp;&mdash;&mdash; for&nbsp;&mdash;&mdash; from&nbsp;&mdash;&mdash;.  These may be termed ''conjugative terms''.</p>
 
<p>The third class embraces terms whose logical form involves the conception of bringing things into relation, and which require the addition of more than one term to complete the denotation.  They discriminate not only with consciousness of discrimination, but with consciousness of its origin.  They regard  an object as medium or third between two others, that is as conjugative;  as giver of&nbsp;&mdash;&mdash; to&nbsp;&mdash;&mdash;, or buyer of&nbsp;&mdash;&mdash; for&nbsp;&mdash;&mdash; from&nbsp;&mdash;&mdash;.  These may be termed ''conjugative terms''.</p>
  
<p>The conjugative term involves the conception of ''third'', the relative that of second or ''other'', the absolute term simply considers ''an'' object.  No fourth class of terms exists involving the conception of ''fourth'', because when that of ''third'' is introduced, since it involves the conception of bringing objects into relation, all higher numbers are given at once, inasmuch as the conception of bringing objects into relation is independent of the number of members of the relationship.  Whether this ''reason'' for the fact that there is no fourth class of terms fundamentally different from the third is satisfactory of not, the fact itself is made perfectly evident by the study of the logic of relatives.</p>
+
<p>The conjugative term involves the conception of ''third'', the relative that of second or ''other'', the absolute term simply considers ''an'' object.  No fourth class of terms exists involving the conception of ''fourth'', because when that of ''third'' is introduced, since it involves the conception of bringing objects into relation, all higher numbers are given at once, inasmuch as the conception of bringing objects into relation is independent of the number of members of the relationship.  Whether this ''reason'' for the fact that there is no fourth class of terms fundamentally different from the third is satisfactory or not, the fact itself is made perfectly evident by the study of the logic of relatives.</p>
  
 
<p>(Peirce, CP 3.63).</p>
 
<p>(Peirce, CP 3.63).</p>
Line 729: Line 731:
 
|
 
|
 
<math>\begin{array}{l}
 
<math>\begin{array}{l}
^{\backprime\backprime}\, \text{lover of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}
+
^{\backprime\backprime}\, \text{lover of}\, \underline{~~ ~~}\, ^{\prime\prime}
 
\\[6pt]
 
\\[6pt]
^{\backprime\backprime}\, \text{betrayer to}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}
+
^{\backprime\backprime}\, \text{betrayer to}\, \underline{~~ ~~}\, \text{of}\, \underline{~~ ~~}\, ^{\prime\prime}
 
\\[6pt]
 
\\[6pt]
^{\backprime\backprime}\, \text{winner over of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{to}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{from}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}
+
^{\backprime\backprime}\, \text{winner over of}\, \underline{~~ ~~}\, \text{to}\, \underline{~~ ~~}\, \text{from}\, \underline{~~ ~~}\, ^{\prime\prime}
 
\end{array}</math>
 
\end{array}</math>
 
|}
 
|}
Line 743: Line 745:
 
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
 
|
 
|
<p>The relative term <math>^{\backprime\backprime}\, \text{lover of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}</math></p>
+
<p>The relative term <math>^{\backprime\backprime}\, \text{lover of}\, \underline{~~ ~~}\, ^{\prime\prime}</math></p>
  
 
<p>can be reached by removing the absolute term <math>^{\backprime\backprime}\, \text{Emilia}\, ^{\prime\prime}</math></p>
 
<p>can be reached by removing the absolute term <math>^{\backprime\backprime}\, \text{Emilia}\, ^{\prime\prime}</math></p>
Line 751: Line 753:
 
<p><math>\text{Iago}</math> is a lover of <math>\text{Emilia},</math> so the relate-correlate pair <math>\mathrm{I}:\mathrm{E}</math></p>
 
<p><math>\text{Iago}</math> is a lover of <math>\text{Emilia},</math> so the relate-correlate pair <math>\mathrm{I}:\mathrm{E}</math></p>
  
<p>lies in the 2-adic relation associated with the relative term <math>^{\backprime\backprime}\, \text{lover of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}.</math></p>
+
<p>lies in the 2-adic relation associated with the relative term <math>^{\backprime\backprime}\, \text{lover of}\, \underline{~~ ~~}\, ^{\prime\prime}.</math></p>
 
|-
 
|-
 
|
 
|
<p>The relative term <math>^{\backprime\backprime}\, \text{betrayer to}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}</math></p>
+
<p>The relative term <math>^{\backprime\backprime}\, \text{betrayer to}\, \underline{~~ ~~}\, \text{of}\, \underline{~~ ~~}\, ^{\prime\prime}</math></p>
  
 
<p>can be reached by removing the absolute terms <math>^{\backprime\backprime}\, \text{Othello}\, ^{\prime\prime}</math> and <math>^{\backprime\backprime}\, \text{Desdemona}\, ^{\prime\prime}</math></p>
 
<p>can be reached by removing the absolute terms <math>^{\backprime\backprime}\, \text{Othello}\, ^{\prime\prime}</math> and <math>^{\backprime\backprime}\, \text{Desdemona}\, ^{\prime\prime}</math></p>
Line 762: Line 764:
 
<p><math>\text{Iago}</math> is a betrayer to <math>\text{Othello}</math> of <math>\text{Desdemona},</math> so the relate-correlate-correlate triple <math>\mathrm{I}:\mathrm{O}:\mathrm{D}</math></p>
 
<p><math>\text{Iago}</math> is a betrayer to <math>\text{Othello}</math> of <math>\text{Desdemona},</math> so the relate-correlate-correlate triple <math>\mathrm{I}:\mathrm{O}:\mathrm{D}</math></p>
  
<p>lies in the 3-adic relation assciated with the relative term <math>^{\backprime\backprime}\, \text{betrayer to}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}.\!</math></p>
+
<p>lies in the 3-adic relation assciated with the relative term <math>^{\backprime\backprime}\, \text{betrayer to}\, \underline{~~ ~~}\, \text{of}\, \underline{~~ ~~}\, ^{\prime\prime}.\!</math></p>
 
|-
 
|-
 
|
 
|
<p>The relative term <math>^{\backprime\backprime}\, \text{winner over of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{to}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{from}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}</math></p>
+
<p>The relative term <math>^{\backprime\backprime}\, \text{winner over of}\, \underline{~~ ~~}\, \text{to}\, \underline{~~ ~~}\, \text{from}\, \underline{~~ ~~}\, ^{\prime\prime}</math></p>
  
 
<p>can be reached by removing the absolute terms <math>^{\backprime\backprime}\, \text{Othello}\, ^{\prime\prime},</math> <math>^{\backprime\backprime}\, \text{Iago}\, ^{\prime\prime},</math> and <math>^{\backprime\backprime}\, \text{Cassio}\, ^{\prime\prime}</math></p>
 
<p>can be reached by removing the absolute terms <math>^{\backprime\backprime}\, \text{Othello}\, ^{\prime\prime},</math> <math>^{\backprime\backprime}\, \text{Iago}\, ^{\prime\prime},</math> and <math>^{\backprime\backprime}\, \text{Cassio}\, ^{\prime\prime}</math></p>
Line 773: Line 775:
 
<p><math>\text{Iago}</math> is a winner over of <math>\text{Othello}</math> to <math>\text{Iago}</math> from <math>\text{Cassio},\!</math> so the elementary relative term <math>\mathrm{I}:\mathrm{O}:\mathrm{I}:\mathrm{C}</math></p>
 
<p><math>\text{Iago}</math> is a winner over of <math>\text{Othello}</math> to <math>\text{Iago}</math> from <math>\text{Cassio},\!</math> so the elementary relative term <math>\mathrm{I}:\mathrm{O}:\mathrm{I}:\mathrm{C}</math></p>
  
<p>lies in the 4-adic relation associated with the relative term <math>^{\backprime\backprime}\, \text{winner over of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{to}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{from}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}.</math></p>
+
<p>lies in the 4-adic relation associated with the relative term <math>^{\backprime\backprime}\, \text{winner over of}\, \underline{~~ ~~}\, \text{to}\, \underline{~~ ~~}\, \text{from}\, \underline{~~ ~~}\, ^{\prime\prime}.</math></p>
 
|}
 
|}
  
Line 788: Line 790:
 
|}
 
|}
  
Returning to the Othello example, let us take up the 2-adic relatives <math>^{\backprime\backprime}\, \text{lover of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}</math> and <math>^{\backprime\backprime}\, \text{servant of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}.</math>
+
Returning to the Othello example, let us take up the 2-adic relatives <math>^{\backprime\backprime}\, \text{lover of}\, \underline{~~ ~~}\, ^{\prime\prime}</math> and <math>^{\backprime\backprime}\, \text{servant of}\, \underline{~~ ~~}\, ^{\prime\prime}.</math>
  
Ignoring the many splendored nuances appurtenant to the idea of love, we may regard the relative term <math>\mathit{l}\!</math> for <math>^{\backprime\backprime}\, \text{lover of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}</math> to be given by the following equation:
+
Ignoring the many splendored nuances appurtenant to the idea of love, we may regard the relative term <math>\mathit{l}\!</math> for <math>^{\backprime\backprime}\, \text{lover of}\, \underline{~~ ~~}\, ^{\prime\prime}</math> to be given by the following equation:
  
 
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
Line 811: Line 813:
 
|}
 
|}
  
If for no better reason than to make the example more interesting, let us put aside all distinctions of rank and fealty, collapsing the motley crews of attendant, servant, subordinate, and so on, under the heading of a single service, denoted by the relative term <math>\mathit{s}\!</math> for <math>^{\backprime\backprime}\, \text{servant of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, ^{\prime\prime}.</math>  The terms of this service are:
+
If for no better reason than to make the example more interesting, let us put aside all distinctions of rank and fealty, collapsing the motley crews of attendant, servant, subordinate, and so on, under the heading of a single service, denoted by the relative term <math>\mathit{s}\!</math> for <math>^{\backprime\backprime}\, \text{servant of}\, \underline{~~ ~~}\, ^{\prime\prime}.</math>  The terms of this service are:
  
 
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
Line 1,070: Line 1,072:
 
\mathit{l}\mathit{s}
 
\mathit{l}\mathit{s}
 
& = &
 
& = &
\text{lover of a servant of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
\text{lover of a servant of}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = &
 
& = &
Line 1,091: Line 1,093:
 
\mathit{s}\mathit{l}
 
\mathit{s}\mathit{l}
 
& = &
 
& = &
\text{servant of a lover of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
\text{servant of a lover of}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = &
 
& = &
Line 1,731: Line 1,733:
 
<math>\begin{array}{*{11}{c}}
 
<math>\begin{array}{*{11}{c}}
 
\mathrm{m,}
 
\mathrm{m,}
& =      & \text{man that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& =      & \text{man that is}\, \underline{~~ ~~}
 
& =      & \mathrm{C}:\mathrm{C}
 
& =      & \mathrm{C}:\mathrm{C}
 
& +\!\!, & \mathrm{I}:\mathrm{I}
 
& +\!\!, & \mathrm{I}:\mathrm{I}
Line 1,738: Line 1,740:
 
\\[6pt]
 
\\[6pt]
 
\mathrm{n,}
 
\mathrm{n,}
& =      & \text{noble that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& =      & \text{noble that is}\, \underline{~~ ~~}
 
& =      & \mathrm{C}:\mathrm{C}
 
& =      & \mathrm{C}:\mathrm{C}
 
& +\!\!, & \mathrm{D}:\mathrm{D}
 
& +\!\!, & \mathrm{D}:\mathrm{D}
Line 1,744: Line 1,746:
 
\\[6pt]
 
\\[6pt]
 
\mathrm{w,}
 
\mathrm{w,}
& =      & \text{woman that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& =      & \text{woman that is}\, \underline{~~ ~~}
 
& =      & \mathrm{B}:\mathrm{B}
 
& =      & \mathrm{B}:\mathrm{B}
 
& +\!\!, & \mathrm{D}:\mathrm{D}
 
& +\!\!, & \mathrm{D}:\mathrm{D}
Line 1,943: Line 1,945:
 
<math>\begin{array}{lll}
 
<math>\begin{array}{lll}
 
\mathbf{1,}
 
\mathbf{1,}
& = & \text{anything that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& = & \text{anything that is}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = & \mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
& = & \mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
\\[9pt]
 
\\[9pt]
 
\mathrm{m,}
 
\mathrm{m,}
& = & \text{man that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& = & \text{man that is}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = & \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
& = & \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
\\[9pt]
 
\\[9pt]
 
\mathrm{n,}
 
\mathrm{n,}
& = & \text{noble that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& = & \text{noble that is}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = & \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
& = & \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
\\[9pt]
 
\\[9pt]
 
\mathrm{w,}
 
\mathrm{w,}
& = & \text{woman that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& = & \text{woman that is}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = & \mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E}
 
& = & \mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E}
Line 2,070: Line 2,072:
 
<math>\begin{array}{lll}
 
<math>\begin{array}{lll}
 
\mathbf{1,}
 
\mathbf{1,}
& = & \text{anything that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& = & \text{anything that is}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = & \mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
& = & \mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
\\[9pt]
 
\\[9pt]
 
\mathrm{m,}
 
\mathrm{m,}
& = & \text{man that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& = & \text{man that is}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = & \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
& = & \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
\\[9pt]
 
\\[9pt]
 
\mathrm{n,}
 
\mathrm{n,}
& = & \text{noble that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& = & \text{noble that is}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = & \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
& = & \mathrm{C}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}
 
\\[9pt]
 
\\[9pt]
 
\mathrm{w,}
 
\mathrm{w,}
& = & \text{woman that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}
+
& = & \text{woman that is}\, \underline{~~ ~~}
 
\\[6pt]
 
\\[6pt]
 
& = & \mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E}
 
& = & \mathrm{B}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E}
Line 2,743: Line 2,745:
 
\mathit{l}, ~=
 
\mathit{l}, ~=
 
\\[6pt]
 
\\[6pt]
\text{lover that is}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\, \text{of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)} ~=
+
\text{lover that is}\, \underline{~~ ~~}\, \text{of}\, \underline{~~ ~~} ~=
 
\\[6pt]
 
\\[6pt]
 
(\mathrm{B}\!:\!\mathrm{B}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{C}\!:\!\mathrm{C}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D}\!:\!\mathrm{O} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I}\!:\!\mathrm{E} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}\!:\!\mathrm{D})
 
(\mathrm{B}\!:\!\mathrm{B}\!:\!\mathrm{C} ~+\!\!,~ \mathrm{C}\!:\!\mathrm{C}\!:\!\mathrm{B} ~+\!\!,~ \mathrm{D}\!:\!\mathrm{D}\!:\!\mathrm{O} ~+\!\!,~ \mathrm{E}\!:\!\mathrm{E}\!:\!\mathrm{I} ~+\!\!,~ \mathrm{I}\!:\!\mathrm{I}\!:\!\mathrm{E} ~+\!\!,~ \mathrm{J}\!:\!\mathrm{J}\!:\!\mathrm{D} ~+\!\!,~ \mathrm{O}\!:\!\mathrm{O}\!:\!\mathrm{D})
Line 2,875: Line 2,877:
 
There's a critical transition point in sight of Peirce's 1870 Logic of Relatives and it's a point that turns on the teridentity relation.
 
There's a critical transition point in sight of Peirce's 1870 Logic of Relatives and it's a point that turns on the teridentity relation.
  
In taking up the next example of relational composition, let's substitute the relation <math>\mathit{t} = \text{taker of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\!</math> for Peirce's relation <math>\mathit{o} = \text{owner of}\, \underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)},\!</math> simply for the sake of avoiding conflicts in the symbols we use.  In this way, Figure&nbsp;17 is transformed into Figure&nbsp;22.
+
In taking up the next example of relational composition, let's substitute the relation <math>\mathit{t} = \text{taker of}\, \underline{~~ ~~}\!</math> for Peirce's relation <math>\mathit{o} = \text{owner of}\, \underline{~~ ~~},\!</math> simply for the sake of avoiding conflicts in the symbols we use.  In this way, Figure&nbsp;17 is transformed into Figure&nbsp;22.
  
 
{| align="center" cellpadding="10"
 
{| align="center" cellpadding="10"
Line 3,955: Line 3,957:
 
|-
 
|-
 
| and
 
| and
| <math>\mathit{t} = \text{tooth of}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}.</math>
+
| <math>\mathit{t} = \text{tooth of}\,\underline{~~ ~~}.</math>
 
| &nbsp;
 
| &nbsp;
 
|-
 
|-
Line 3,965: Line 3,967:
 
|}
 
|}
  
Thus, in a universe of perfect human dentition, the number of the relative term <math>{}^{\backprime\backprime} \text{tooth of}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)} {}^{\prime\prime}\!</math> is equal to the number of teeth of humans divided by the number of humans, that is, <math>32.\!</math>
+
Thus, in a universe of perfect human dentition, the number of the relative term <math>{}^{\backprime\backprime} \text{tooth of}\,\underline{~~ ~~} {}^{\prime\prime}\!</math> is equal to the number of teeth of humans divided by the number of humans, that is, <math>32.\!</math>
  
 
The dyadic relative term <math>t\!</math> determines a dyadic relation <math>T \subseteq X \times Y,</math> where <math>X\!</math> contains all the teeth and <math>Y\!</math> contains all the people that happen to be under discussion.
 
The dyadic relative term <math>t\!</math> determines a dyadic relation <math>T \subseteq X \times Y,</math> where <math>X\!</math> contains all the teeth and <math>Y\!</math> contains all the people that happen to be under discussion.
Line 4,245: Line 4,247:
 
|-
 
|-
 
| and
 
| and
| <math>\mathit{t} = \text{tooth of}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}.\!</math>
+
| <math>\mathit{t} = \text{tooth of}\,\underline{~~ ~~}.\!</math>
 
| &nbsp;
 
| &nbsp;
 
|-
 
|-
Line 4,255: Line 4,257:
 
|}
 
|}
  
That is to say, the number of the relative term <math>\text{tooth of}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}\!</math> is equal to the number of teeth of humans divided by the number of humans.  In a universe of perfect human dentition this gives a quotient of <math>32.\!</math>
+
That is to say, the number of the relative term <math>\text{tooth of}\,\underline{~~ ~~}\!</math> is equal to the number of teeth of humans divided by the number of humans.  In a universe of perfect human dentition this gives a quotient of <math>32.\!</math>
  
 
The dyadic relative term <math>t\!</math> determines a dyadic relation <math>T \subseteq X \times Y,</math> where <math>X\!</math> contains all the teeth and <math>Y\!</math> contains all the people that happen to be under discussion.
 
The dyadic relative term <math>t\!</math> determines a dyadic relation <math>T \subseteq X \times Y,</math> where <math>X\!</math> contains all the teeth and <math>Y\!</math> contains all the people that happen to be under discussion.
Line 4,265: Line 4,267:
 
|}
 
|}
  
In this picture the order of relational composition flows down the page.  For convenience in composing relations, the absolute term <math>\mathrm{f} = \text{Frenchman}\!</math> is inflected by the comma functor to form the dyadic relative term <math>\mathrm{f,} = \text{Frenchman that is}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)},\!</math> which in turn determines the idempotent representation of Frenchmen as a subset of mankind, <math>F \subseteq Y \times Y.\!</math>
+
In this picture the order of relational composition flows down the page.  For convenience in composing relations, the absolute term <math>\mathrm{f} = \text{Frenchman}\!</math> is inflected by the comma functor to form the dyadic relative term <math>\mathrm{f,} = \text{Frenchman that is}\,\underline{~~ ~~},\!</math> which in turn determines the idempotent representation of Frenchmen as a subset of mankind, <math>F \subseteq Y \times Y.\!</math>
  
 
By way of a legend for the figure, we have the following data:
 
By way of a legend for the figure, we have the following data:
Line 4,499: Line 4,501:
 
|}
 
|}
  
As before, it is convenient to represent the absolute term <math>\mathrm{b} = \text{black}\!</math> by means of the corresponding idempotent term <math>\mathrm{b,} = \text{black that is}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}.</math>
+
As before, it is convenient to represent the absolute term <math>\mathrm{b} = \text{black}\!</math> by means of the corresponding idempotent term <math>\mathrm{b,} = \text{black that is}\,\underline{~~ ~~}.</math>
  
 
Consider the bigraph for the composition:
 
Consider the bigraph for the composition:
Line 4,510: Line 4,512:
  
 
{| align="center" cellspacing="6" width="90%"
 
{| align="center" cellspacing="6" width="90%"
| <math>\mathrm{m,}\mathrm{b,} ~=~ \text{man that is black that is}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}.</math>
+
| <math>\mathrm{m,}\mathrm{b,} ~=~ \text{man that is black that is}\,\underline{~~ ~~}.</math>
 
|}
 
|}
  
Line 4,640: Line 4,642:
 
| height="40" | <math>W \subseteq X\!</math> is the 1-adic relation, or set, whose elements fall under the absolute term <math>\mathrm{w} = \text{woman}.\!</math>  The elements of <math>W\!</math> are sometimes referred to as the ''denotation'' or the set-theoretic ''extension'' of the term <math>\mathrm{w}.\!</math>
 
| height="40" | <math>W \subseteq X\!</math> is the 1-adic relation, or set, whose elements fall under the absolute term <math>\mathrm{w} = \text{woman}.\!</math>  The elements of <math>W\!</math> are sometimes referred to as the ''denotation'' or the set-theoretic ''extension'' of the term <math>\mathrm{w}.\!</math>
 
|-
 
|-
| height="40" | <math>L \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{l} = \text{lover of}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}.\!</math>
+
| height="40" | <math>L \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{l} = \text{lover of}\,\underline{~~ ~~}.\!</math>
 
|-
 
|-
| height="40" | <math>S \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{s} = \text{servant of}\,\underline{[[User:Jon Awbrey|Jon Awbrey]] ([[User talk:Jon Awbrey|talk]]) 21:08, 17 November 2015 (UTC)}.\!</math>
+
| height="40" | <math>S \subseteq X \times X\!</math> is the 2-adic relation associated with the relative term <math>\mathit{s} = \text{servant of}\,\underline{~~ ~~}.\!</math>
 
|}
 
|}
  
Line 5,018: Line 5,020:
 
[[Category:Philosophy]]
 
[[Category:Philosophy]]
 
[[Category:Pragmatics]]
 
[[Category:Pragmatics]]
 +
[[Category:Pragmatism]]
 
[[Category:Relation Theory]]
 
[[Category:Relation Theory]]
 +
[[Category:Science]]
 
[[Category:Semantics]]
 
[[Category:Semantics]]
 
[[Category:Semiotics]]
 
[[Category:Semiotics]]
 
[[Category:Systems Science]]
 
[[Category:Systems Science]]
 +
[[Category:Visualization]]

Latest revision as of 16:22, 29 December 2017

Note. The MathJax parser is not rendering this page properly.
Until it can be fixed please see the InterSciWiki version.

Author: Jon Awbrey

Peirce's text employs lower case letters for logical terms of general reference and upper case letters for logical terms of individual reference.  General terms fall into types — absolute terms, dyadic relative terms, higher adic relative terms — and Peirce employs different typefaces to distinguish these.  The following Tables indicate the typefaces that are used in the text below for Peirce's examples of general terms.


\(\text{Absolute Terms (Monadic Relatives)}\!\)

\(\begin{array}{ll} \mathrm{a}. & \text{animal} \\ \mathrm{b}. & \text{black} \\ \mathrm{f}. & \text{Frenchman} \\ \mathrm{h}. & \text{horse} \\ \mathrm{m}. & \text{man} \\ \mathrm{p}. & \text{President of the United States Senate} \\ \mathrm{r}. & \text{rich person} \\ \mathrm{u}. & \text{violinist} \\ \mathrm{v}. & \text{Vice-President of the United States} \\ \mathrm{w}. & \text{woman} \end{array}\)


\(\text{Simple Relative Terms (Dyadic Relatives)}\!\)

\(\begin{array}{ll} \mathit{a}. & \text{enemy} \\ \mathit{b}. & \text{benefactor} \\ \mathit{c}. & \text{conqueror} \\ \mathit{e}. & \text{emperor} \\ \mathit{h}. & \text{husband} \\ \mathit{l}. & \text{lover} \\ \mathit{m}. & \text{mother} \\ \mathit{n}. & \text{not} \\ \mathit{o}. & \text{owner} \\ \mathit{s}. & \text{servant} \\ \mathit{w}. & \text{wife} \end{array}\)


\(\text{Conjugative Terms (Higher Adic Relatives)}\!\)

\(\begin{array}{ll} \mathfrak{b}. & \text{betrayer to ------ of ------} \\ \mathfrak{g}. & \text{giver to ------ of ------} \\ \mathfrak{t}. & \text{transferrer from ------ to ------} \\ \mathfrak{w}. & \text{winner over of ------ to ------ from ------} \end{array}\)


Individual terms are taken to denote individual entities falling under a general term. Peirce uses upper case Roman letters for individual terms, for example, the individual horses \(\mathrm{H}, \mathrm{H}^{\prime}, \mathrm{H}^{\prime\prime}\) falling under the general term \(\mathrm{h}\!\) for horse.

The path to understanding Peirce's system and its wider implications for logic can be smoothed by paraphrasing his notations in a variety of contemporary mathematical formalisms, while preserving the semantics as much as possible. Remaining faithful to Peirce's orthography while adding parallel sets of stylistic conventions will, however, demand close attention to typography-in-context. Current style sheets for mathematical texts specify italics for mathematical variables, with upper case letters for sets and lower case letters for individuals. So we need to keep an eye out for the difference between the individual \(\mathrm{X}\!\) of the genus \(\mathrm{x}\!\) and the element \(x\!\) of the set \(X\!\) as we pass between the two styles of text.

Selection 1

Use of the Letters

The letters of the alphabet will denote logical signs.

Now logical terms are of three grand classes.

The first embraces those whose logical form involves only the conception of quality, and which therefore represent a thing simply as “a ——”. These discriminate objects in the most rudimentary way, which does not involve any consciousness of discrimination. They regard an object as it is in itself as such (quale); for example, as horse, tree, or man. These are absolute terms.

The second class embraces terms whose logical form involves the conception of relation, and which require the addition of another term to complete the denotation. These discriminate objects with a distinct consciousness of discrimination. They regard an object as over against another, that is as relative; as father of, lover of, or servant of. These are simple relative terms.

The third class embraces terms whose logical form involves the conception of bringing things into relation, and which require the addition of more than one term to complete the denotation. They discriminate not only with consciousness of discrimination, but with consciousness of its origin. They regard an object as medium or third between two others, that is as conjugative; as giver of —— to ——, or buyer of —— for —— from ——. These may be termed conjugative terms.

The conjugative term involves the conception of third, the relative that of second or other, the absolute term simply considers an object. No fourth class of terms exists involving the conception of fourth, because when that of third is introduced, since it involves the conception of bringing objects into relation, all higher numbers are given at once, inasmuch as the conception of bringing objects into relation is independent of the number of members of the relationship. Whether this reason for the fact that there is no fourth class of terms fundamentally different from the third is satisfactory or not, the fact itself is made perfectly evident by the study of the logic of relatives.

(Peirce, CP 3.63).

I am going to experiment with an interlacing commentary on Peirce's 1870 “Logic of Relatives” paper, revisiting some critical transitions from several different angles and calling attention to a variety of puzzles, problems, and potentials that are not so often remarked or tapped.

What strikes me about the initial installment this time around is its use of a certain pattern of argument that I can recognize as invoking a closure principle, and this is a figure of reasoning that Peirce uses in three other places: his discussion of continuous predicates, his definition of sign relations, and in the pragmatic maxim itself.

One might also call attention to the following two statements:

Now logical terms are of three grand classes.

No fourth class of terms exists involving the conception of fourth, because when that of third is introduced, since it involves the conception of bringing objects into relation, all higher numbers are given at once, inasmuch as the conception of bringing objects into relation is independent of the number of members of the relationship.

Selection 2

Numbers Corresponding to Letters

I propose to use the term “universe” to denote that class of individuals about which alone the whole discourse is understood to run. The universe, therefore, in this sense, as in Mr. De Morgan's, is different on different occasions. In this sense, moreover, discourse may run upon something which is not a subjective part of the universe; for instance, upon the qualities or collections of the individuals it contains.

I propose to assign to all logical terms, numbers; to an absolute term, the number of individuals it denotes; to a relative term, the average number of things so related to one individual. Thus in a universe of perfect men (men), the number of “tooth of” would be 32. The number of a relative with two correlates would be the average number of things so related to a pair of individuals; and so on for relatives of higher numbers of correlates. I propose to denote the number of a logical term by enclosing the term in square brackets, thus \([t].\!\)

(Peirce, CP 3.65).

Peirce's remarks at CP 3.65 are so replete with remarkable ideas, some of them so taken for granted in mathematical discourse that they usually escape explicit mention, and others so suggestive of things to come in a future remote from his time of writing, and yet so smoothly introduced in passing that it's all too easy to overlook their consequential significance, that I can do no better here than to highlight these ideas in other words, whose main advantage is to be a little more jarring to the mind's sensibilities.

  • This mapping of letters to numbers, or logical terms to mathematical quantities, is the very core of what "quantification theory" is all about, and definitely more to the point than the mere "innovation" of using distinctive symbols for the so-called "quantifiers". We will speak of this more later on.
  • The mapping of logical terms to numerical measures, to express it in current language, would probably be recognizable as some kind of "morphism" or "functor" from a logical domain to a quantitative co-domain.
  • Notice that Peirce follows the mathematician's usual practice, then and now, of making the status of being an "individual" or a "universal" relative to a discourse in progress. I have come to appreciate more and more of late how radically different this "patchwork" or "piecewise" approach to things is from the way of some philosophers who seem to be content with nothing less than many worlds domination, which means that they are never content and rarely get started toward the solution of any real problem. Just my observation, I hope you understand.
  • It is worth noting that Peirce takes the "plural denotation" of terms for granted, or what's the number of a term for, if it could not vary apart from being one or nil?
  • I also observe that Peirce takes the individual objects of a particular universe of discourse in a "generative" way, not a "totalizing" way, and thus they afford us with the basis for talking freely about collections, constructions, properties, qualities, subsets, and "higher types", as the phrase is mint.

Selection 3

The Signs of Inclusion, Equality, Etc.

I shall follow Boole in taking the sign of equality to signify identity. Thus, if \(\mathrm{v}\!\) denotes the Vice-President of the United States, and \(\mathrm{p}~\!\) the President of the Senate of the United States,

\(\mathrm{v} = \mathrm{p}\!\)

means that every Vice-President of the United States is President of the Senate, and every President of the United States Senate is Vice-President.

The sign “less than” is to be so taken that

\(\mathrm{f} < \mathrm{m}~\!\)

means that every Frenchman is a man, but there are men besides Frenchmen. Drobisch has used this sign in the same sense. It will follow from these significations of \(=\!\) and \(<\!\) that the sign \(-\!\!\!<\!\) (or \(\leqq\), “as small as”) will mean “is”. Thus,

\(\mathrm{f} ~-\!\!\!< \mathrm{m}\)

means “every Frenchman is a man”, without saying whether there are any other men or not. So,

\(\mathit{m} ~-\!\!\!< \mathit{l}\)

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 \(=\!\) and \(<\!\) plainly conform to the indispensable conditions. Upon the transitive character of these relations the syllogism depends, for by virtue of it, from

  \(\mathrm{f} ~-\!\!\!< \mathrm{m}\)  

and

\(\mathrm{m} ~-\!\!\!< \mathrm{a}\)  

we can infer that

\(\mathrm{f} ~-\!\!\!< \mathrm{a}\)  

that is, from every Frenchman being a man and every man being an animal, that every Frenchman is an animal.

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 \(\mathrm{f} < \mathrm{m}~\!\) is to say that Frenchmen are part of men. Indeed, if \(\mathrm{f} < \mathrm{m}~\!\), then the number of Frenchmen is less than the number of men, and if \(\mathrm{v} = \mathrm{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).

The quantifier mapping from terms to their numbers that Peirce signifies by means of the square bracket notation \([t]\!\) has one of its principal uses in providing a basis for the computation of frequencies, probabilities, and all of the other statistical measures that can be constructed from these, and thus in affording what may be called a principle of correspondence between probability theory and its limiting case in the forms of logic.

This brings us once again to the relativity of contingency and necessity, as one way of approaching necessity is through the avenue of probability, describing necessity as a probability of 1, but the whole apparatus of probability theory only figures in if it is cast against the backdrop of probability space axioms, the reference class of distributions, and the sample space that we cannot help but to abduce upon the scene of observations. Aye, there's the snake eyes. And with them we can see that there is always an irreducible quantum of facticity to all our necessities. More plainly spoken, it takes a fairly complex conceptual infrastructure just to begin speaking of probabilities, and this setting can only be set up by means of abductive, fallible, hypothetical, and inherently risky mental acts.

Pragmatic thinking is the logic of abduction, which is just another way of saying that it addresses the question: “What may be hoped?” We have to face the possibility that it may be just as impossible to speak of “absolute identity” with any hope of making practical philosophical sense as it is to speak of “absolute simultaneity” with any hope of making operational physical sense.

Selection 4

The Signs for Addition

The sign of addition is taken by Boole so that

\(x + y\!\)

denotes everything denoted by \(x\!\), and, besides, everything denoted by \(y\!\).

Thus

\(\mathrm{m} + \mathrm{w}~\!\)

denotes all men, and, besides, all women.

This signification for this sign is needed for connecting the notation of logic with that of the theory of probabilities. But if there is anything which is denoted by both terms of the sum, the latter no longer stands for any logical term on account of its implying that the objects denoted by one term are to be taken besides the objects denoted by the other.

For example,

\(\mathrm{f} + \mathrm{u}\!\)

means all Frenchmen besides all violinists, and, therefore, considered as a logical term, implies that all French violinists are besides themselves.

For this reason alone, in a paper which is published in the Proceedings of the Academy for March 17, 1867, I preferred to take as the regular addition of logic a non-invertible process, such that

\(\mathrm{m} ~+\!\!,~ \mathrm{b}\)

stands for all men and black things, without any implication that the black things are to be taken besides the men; and the study of the logic of relatives has supplied me with other weighty reasons for the same determination.

Since the publication of that paper, I have found that Mr. W. Stanley Jevons, in a tract called Pure Logic, or the Logic of Quality [1864], had anticipated me in substituting the same operation for Boole's addition, although he rejects Boole's operation entirely and writes the new one with a  \(+\!\)  sign while withholding from it the name of addition.

It is plain that both the regular non-invertible addition and the invertible addition satisfy the absolute conditions. But the notation has other recommendations. The conception of taking together involved in these processes is strongly analogous to that of summation, the sum of 2 and 5, for example, being the number of a collection which consists of a collection of two and a collection of five. Any logical equation or inequality in which no operation but addition is involved may be converted into a numerical equation or inequality by substituting the numbers of the several terms for the terms themselves — provided all the terms summed are mutually exclusive.

Addition being taken in this sense, nothing is to be denoted by zero, for then

\(x ~+\!\!,~ 0 ~=~ x\)

whatever is denoted by \(x\!\); and this is the definition of zero. This interpretation is given by Boole, and is very neat, on account of the resemblance between the ordinary conception of zero and that of nothing, and because we shall thus have

\([0] ~=~ 0.\)

(Peirce, CP 3.67).

A wealth of issues arises here that I hope to take up in depth at a later point, but for the moment I shall be able to mention only the barest sample of them in passing.

The two papers that precede this one in CP 3 are Peirce's papers of March and September 1867 in the Proceedings of the American Academy of Arts and Sciences, titled “On an Improvement in Boole's Calculus of Logic” and “Upon the Logic of Mathematics”, respectively. Among other things, these two papers provide us with further clues about the motivating considerations that brought Peirce to introduce the “number of a term” function, signified here by square brackets. I have already quoted from the “Logic of Mathematics” paper in a related connection. Here are the links to those excerpts:

Limited Mark Universes
(1)
(2)
(3)

In setting up a correspondence between “letters” and “numbers”, Peirce constructs a structure-preserving map from a logical domain to a numerical domain. That he does this deliberately is evidenced by the care that he takes with the conditions under which the chosen aspects of structure are preserved, along with his recognition of the critical fact that zeroes are preserved by the mapping.

Incidentally, Peirce appears to have an inkling of the problems that would later be caused by using the plus sign for inclusive disjunction, but his advice was overridden by the dialects of applied logic that developed in various communities, retarding the exchange of information among engineering, mathematical, and philosophical specialties all throughout the subsequent century.

Selection 5

The Signs for Multiplication

I shall adopt for the conception of multiplication the application of a relation, in such a way that, for example, \(\mathit{l}\mathrm{w}~\!\) shall denote whatever is lover of a woman. This notation is the same as that used by Mr. De Morgan, although he appears not to have had multiplication in his mind.

\(\mathit{s}(\mathrm{m} ~+\!\!,~ \mathrm{w})\) will, then, denote whatever is servant of anything of the class composed of men and women taken together. So that:

\(\mathit{s}(\mathrm{m} ~+\!\!,~ \mathrm{w}) ~=~ \mathit{s}\mathrm{m} ~+\!\!,~ \mathit{s}\mathrm{w}.\)

\((\mathit{l} ~+\!\!,~ \mathit{s})\mathrm{w}\) will denote whatever is lover or servant to a woman, and:

\((\mathit{l} ~+\!\!,~ \mathit{s})\mathrm{w} ~=~ \mathit{l}\mathrm{w} ~+\!\!,~ \mathit{s}\mathrm{w}.\)

\((\mathit{s}\mathit{l})\mathrm{w}\!\) will denote whatever stands to a woman in the relation of servant of a lover, and:

\((\mathit{s}\mathit{l})\mathrm{w} ~=~ \mathit{s}(\mathit{l}\mathrm{w}).\)

Thus all the absolute conditions of multiplication are satisfied.

The term “identical with ——” is a unity for this multiplication. That is to say, if we denote “identical with ——” by \(\mathit{1}\!\) we have:

\(x \mathit{1} ~=~ x ~ ,\)

whatever relative term \(x\!\) may be. For what is a lover of something identical with anything, is the same as a lover of that thing.

(Peirce, CP 3.68).

Peirce in 1870 is five years down the road from the Peirce of 1865–1866 who lectured extensively on the role of sign relations in the logic of scientific inquiry, articulating their involvement in the three types of inference, and inventing the concept of “information” to explain what it is that signs convey in the process. By this time, then, the semiotic or sign relational approach to logic is so implicit in his way of working that he does not always take the trouble to point out its distinctive features at each and every turn. So let's take a moment to draw out a few of these characters.

Sign relations, like any brand of non-trivial 3-adic relations, can become overwhelming to think about once the cardinality of the object, sign, and interpretant domains or the complexity of the relation itself ascends beyond the simplest examples. Furthermore, most of the strategies that we would normally use to control the complexity, like neglecting one of the domains, in effect, projecting the 3-adic sign relation onto one of its 2-adic faces, or focusing on a single ordered triple of the form \((o, s, i)\!\) at a time, can result in our receiving a distorted impression of the sign relation's true nature and structure.

I find that it helps me to draw, or at least to imagine drawing, diagrams of the following form, where I can keep tabs on what's an object, what's a sign, and what's an interpretant sign, for a selected set of sign-relational triples.

Here is how I would picture Peirce's example of equivalent terms, \(\mathrm{v} = \mathrm{p},\!\) where \({}^{\backprime\backprime} \mathrm{v} {}^{\prime\prime}\!\) denotes the Vice-President of the United States, and \({}^{\backprime\backprime} \mathrm{p} {}^{\prime\prime}\!\) denotes the President of the Senate of the United States.

LOR 1870 Figure 1.jpg
\(\text{Figure 1}~\!\)

Depending on whether we interpret the terms \({}^{\backprime\backprime} \mathrm{v} {}^{\prime\prime}\!\) and \({}^{\backprime\backprime} \mathrm{p} {}^{\prime\prime}\!\) as applying to persons who hold these offices at one particular time or as applying to all those persons who have held these offices over an extended period of history, their denotations may be either singular of plural, respectively.

As a shortcut technique for indicating general denotations or plural referents, I will use the elliptic convention that represents these by means of figures like “o o o” or “o … o”, placed at the object ends of sign relational triads.

For a more complex example, here is how I would picture Peirce's example of an equivalence between terms that comes about by applying one of the distributive laws, for relative multiplication over absolute summation.

LOR 1870 Figure 2.jpg
\(\text{Figure 2}\!\)

Selection 6

The Signs for Multiplication (cont.)

A conjugative term like giver naturally requires two correlates, one denoting the thing given, the other the recipient of the gift.

We must be able to distinguish, in our notation, the giver of \(\mathrm{A}\!\) to \(\mathrm{B}\!\) from the giver to \(\mathrm{A}\!\) of \(\mathrm{B}\!\), and, therefore, I suppose the signification of the letter equivalent to such a relative to distinguish the correlates as first, second, third, etc., so that “giver of —— to ——” and “giver to —— of ——” will be expressed by different letters.

Let \(\mathfrak{g}\) denote the latter of these conjugative terms. Then, the correlates or multiplicands of this multiplier cannot all stand directly after it, as is usual in multiplication, but may be ranged after it in regular order, so that:

\(\mathfrak{g}\mathit{x}\mathit{y}\)

will denote a giver to \(\mathit{x}\!\) of \(\mathit{y}\!\).

But according to the notation, \(\mathit{x}\!\) here multiplies \(\mathit{y}\!\), so that if we put for \(\mathit{x}\!\) owner (\(\mathit{o}\!\)), and for \(\mathit{y}\!\) horse (\(\mathrm{h}\!\)),

\(\mathfrak{g}\mathit{o}\mathrm{h}\)

appears to denote the giver of a horse to an owner of a horse. But let the individual horses be \(\mathrm{H}, \mathrm{H}^{\prime}, \mathrm{H}^{\prime\prime}\), etc.

Then:

\(\mathrm{h} ~=~ \mathrm{H} ~+\!\!,~ \mathrm{H}^{\prime} ~+\!\!,~ \mathrm{H}^{\prime\prime} ~+\!\!,~ \text{etc.}\)
\(\mathfrak{g}\mathit{o}\mathrm{h} ~=~ \mathfrak{g}\mathit{o}(\mathrm{H} ~+\!\!,~ \mathrm{H}^{\prime} ~+\!\!,~ \mathrm{H}^{\prime\prime} ~+\!\!,~ \text{etc.}) ~=~ \mathfrak{g}\mathit{o}\mathrm{H} ~+\!\!,~ \mathfrak{g}\mathit{o}\mathrm{H}^{\prime} ~+\!\!,~ \mathfrak{g}\mathit{o}\mathrm{H}^{\prime\prime} ~+\!\!,~ \text{etc.}\)

Now this last member must be interpreted as a giver of a horse to the owner of that horse, and this, therefore must be the interpretation of \(\mathfrak{g}\mathit{o}\mathrm{h}\). This is always very important. A term multiplied by two relatives shows that the same individual is in the two relations.

If we attempt to express the giver of a horse to a lover of a woman, and for that purpose write:

\(\mathfrak{g}\mathit{l}\mathrm{w}\mathrm{h}\),

we have written giver of a woman to a lover of her, and if we add brackets, thus,

\(\mathfrak{g}(\mathit{l}\mathrm{w})\mathrm{h}\),

we abandon the associative principle of multiplication.

A little reflection will show that the associative principle must in some form or other be abandoned at this point. But while this principle is sometimes falsified, it oftener holds, and a notation must be adopted which will show of itself when it holds. We already see that we cannot express multiplication by writing the multiplicand directly after the multiplier; let us then affix subjacent numbers after letters to show where their correlates are to be found. The first number shall denote how many factors must be counted from left to right to reach the first correlate, the second how many more must be counted to reach the second, and so on.

Then, the giver of a horse to a lover of a woman may be written:

\(\mathfrak{g}_{12} \mathit{l}_1 \mathrm{w} \mathrm{h} ~=~ \mathfrak{g}_{11} \mathit{l}_2 \mathrm{h} \mathrm{w} ~=~ \mathfrak{g}_{2(-1)} \mathrm{h} \mathit{l}_1 \mathrm{w}\).

Of course a negative number indicates that the former correlate follows the latter by the corresponding positive number.

A subjacent zero makes the term itself the correlate.

Thus,

\(\mathit{l}_0\!\)

denotes the lover of that lover or the lover of himself, just as \(\mathfrak{g}\mathit{o}\mathrm{h}\) denotes that the horse is given to the owner of itself, for to make a term doubly a correlate is, by the distributive principle, to make each individual doubly a correlate, so that:

\(\mathit{l}_0 ~=~ \mathit{L}_0 ~+\!\!,~ \mathit{L}_0^{\prime} ~+\!\!,~ \mathit{L}_0^{\prime\prime} ~+\!\!,~ \text{etc.}\)

A subjacent sign of infinity may indicate that the correlate is indeterminate, so that:

\(\mathit{l}_\infty\)

will denote a lover of something. We shall have some confirmation of this presently.

If the last subjacent number is a one it may be omitted. Thus we shall have:

\(\mathit{l}_1 ~=~ \mathit{l}\),
\(\mathfrak{g}_{11} ~=~ \mathfrak{g}_1 ~=~ \mathfrak{g}\).

This enables us to retain our former expressions \(\mathit{l}\mathrm{w}~\!\), \(\mathfrak{g}\mathit{o}\mathrm{h}\), etc.

(Peirce, CP 3.69–70).

Comment : Sets as Logical Sums

Peirce's way of representing sets as logical sums may seem archaic, but it is quite often used, and is actually the tool of choice in many branches of algebra, combinatorics, computing, and statistics to this very day.

Peirce's application to logic is fairly novel, and the degree of his elaboration of the logic of relative terms is certainly original with him, but this particular genre of representation, commonly going under the handle of generating functions, goes way back, well before anyone thought to stick a flag in set theory as a separate territory or to try to fence off our native possessions of it with expressly decreed axioms. And back in the days when a computer was just a person who computed, before we had the sorts of electronic register machines that we take so much for granted today, mathematicians were constantly using generating functions as a rough and ready type of addressable memory to sort, store, and keep track of their accounts of a wide variety of formal objects of thought.

Let us look at a few simple examples of generating functions, much as I encountered them during my own first adventures in the Fair Land Of Combinatoria.

Suppose that we are given a set of three elements, say, \(\{ a, b, c \},\!\) and we are asked to find all the ways of choosing a subset from this collection.

We can represent this problem setup as the problem of computing the following product:

\((1 + a)(1 + b)(1 + c).\!\)

The factor \((1 + a)\!\) represents the option that we have, in choosing a subset of \(\{ a, b, c \},\!\) to leave the element \(a\!\) out (signified by the \(1\!\)), or else to include it (signified by the \(a\!\)), and likewise for the other elements \(b\!\) and \(c\!\) in their turns.

Probably on account of all those years I flippered away playing the oldtime pinball machines, I tend to imagine a product like this being displayed in a vertical array:

\(\begin{matrix} (1 ~+~ a) \\ (1 ~+~ b) \\ (1 ~+~ c) \end{matrix}\)

I picture this as a playboard with six bumpers, the ball chuting down the board in such a career that it strikes exactly one of the two bumpers on each and every one of the three levels.

So a trajectory of the ball where it hits the \(a\!\) bumper on the 1st level, hits the \(1\!\) bumper on the 2nd level, hits the \(c\!\) bumper on the 3rd level, and then exits the board, represents a single term in the desired product and corresponds to the subset \(\{ a, c \}.\!\)

Multiplying out the product \((1 + a)(1 + b)(1 + c),\!\) one obtains:

\(\begin{array}{*{15}{c}} 1 & + & a & + & b & + & c & + & ab & + & ac & + & bc & + & abc. \end{array}\)

And this informs us that the subsets of choice are:

\(\begin{matrix} \varnothing, & \{ a \}, & \{ b \}, & \{ c \}, & \{ a, b \}, & \{ a, c \}, & \{ b, c \}, & \{ a, b, c \}. \end{matrix}\)

Selection 7

The Signs for Multiplication (cont.)

The associative principle does not hold in this counting of factors. Because it does not hold, these subjacent numbers are frequently inconvenient in practice, and I therefore use also another mode of showing where the correlate of a term is to be found. This is by means of the marks of reference, \(\dagger ~ \ddagger ~ \parallel ~ \S ~ \P\), which are placed subjacent to the relative term and before and above the correlate. Thus, giver of a horse to a lover of a woman may be written:

\(\mathfrak{g}_{\dagger\ddagger} \, ^\dagger\mathit{l}_\parallel \, ^\parallel\mathrm{w} \, ^\ddagger\mathrm{h}\)

The asterisk I use exclusively to refer to the last correlate of the last relative of the algebraic term.

Now, considering the order of multiplication to be: — a term, a correlate of it, a correlate of that correlate, etc. — there is no violation of the associative principle. The only violations of it in this mode of notation are that in thus passing from relative to correlate, we skip about among the factors in an irregular manner, and that we cannot substitute in such an expression as \(\mathfrak{g}\mathit{o}\mathrm{h}\) a single letter for \(\mathit{o}\mathrm{h}.\!\)

I would suggest that such a notation may be found useful in treating other cases of non-associative multiplication. By comparing this with what was said above [in CP 3.55] concerning functional multiplication, it appears that multiplication by a conjugative term is functional, and that the letter denoting such a term is a symbol of operation. I am therefore using two alphabets, the Greek and Kennerly, where only one was necessary. But it is convenient to use both.

(Peirce, CP 3.71–72).

Comment : Proto-Graphical Syntax

It is clear from our last excerpt that Peirce is already on the verge of a graphical syntax for the logic of relatives. Indeed, it seems likely that he had already reached this point in his own thinking.

For instance, it seems quite impossible to read his last variation on the theme of a “giver of a horse to a lover of a woman” without drawing lines of identity to connect up the corresponding marks of reference, like this:

LOR 1870 Figure 3.jpg (3)

Selection 8

The Signs for Multiplication (cont.)

Thus far, we have considered the multiplication of relative terms only. Since our conception of multiplication is the application of a relation, we can only multiply absolute terms by considering them as relatives.

Now the absolute term “man” is really exactly equivalent to the relative term “man that is ——”, and so with any other. I shall write a comma after any absolute term to show that it is so regarded as a relative term.

Then “man that is black” will be written:

\(\mathrm{m},\!\mathrm{b}\!\)

But not only may any absolute term be thus regarded as a relative term, but any relative term may in the same way be regarded as a relative with one correlate more. It is convenient to take this additional correlate as the first one.

Then:

\(\mathit{l},\!\mathit{s}\mathrm{w}\)

will denote a lover of a woman that is a servant of that woman.

The comma here after \(\mathit{l}\!\) should not be considered as altering at all the meaning of \(\mathit{l}\!\), but as only a subjacent sign, serving to alter the arrangement of the correlates.

In point of fact, since a comma may be added in this way to any relative term, it may be added to one of these very relatives formed by a comma, and thus by the addition of two commas an absolute term becomes a relative of two correlates.

So:

\(\mathrm{m},\!,\!\mathrm{b},\!\mathrm{r}\)

interpreted like

\(\mathfrak{g}\mathit{o}\mathrm{h}\)

means a man that is a rich individual and is a black that is that rich individual.

But this has no other meaning than:

\(\mathrm{m},\!\mathrm{b},\!\mathrm{r}\)

or a man that is a black that is rich.

Thus we see that, after one comma is added, the addition of another does not change the meaning at all, so that whatever has one comma after it must be regarded as having an infinite number.

If, therefore, \(\mathit{l},\!,\!\mathit{s}\mathrm{w}\) is not the same as \(\mathit{l},\!\mathit{s}\mathrm{w}\) (as it plainly is not, because the latter means a lover and servant of a woman, and the former a lover of and servant of and same as a woman), this is simply because the writing of the comma alters the arrangement of the correlates.

And if we are to suppose that absolute terms are multipliers at all (as mathematical generality demands that we should}, we must regard every term as being a relative requiring an infinite number of correlates to its virtual infinite series “that is —— and is —— and is —— etc.”

Now a relative formed by a comma of course receives its subjacent numbers like any relative, but the question is, What are to be the implied subjacent numbers for these implied correlates?

Any term may be regarded as having an infinite number of factors, those at the end being ones, thus:

\(\mathit{l},\!\mathit{s}\mathrm{w} ~=~ \mathit{l},\!\mathit{s}\mathit{w},\!\mathit{1},\!\mathit{1},\!\mathit{1},\!\mathit{1},\!\mathit{1},\!\mathit{1},\!\mathit{1}, ~\text{etc.}\)

A subjacent number may therefore be as great as we please.

But all these ones denote the same identical individual denoted by \(\mathrm{w}\!\); what then can be the subjacent numbers to be applied to \(\mathit{s}\!\), for instance, on account of its infinite “that is”'s? What numbers can separate it from being identical with \(\mathrm{w}\!\)? There are only two. The first is zero, which plainly neutralizes a comma completely, since

\(\mathit{s},_0\!\mathrm{w} ~=~ \mathit{s}\mathrm{w}\)

and the other is infinity; for as \(1^\infty\) is indeterminate in ordinary algbra, so it will be shown hereafter to be here, so that to remove the correlate by the product of an infinite series of ones is to leave it indeterminate.

Accordingly,

\(\mathrm{m},_\infty\)

should be regarded as expressing some man.

Any term, then, is properly to be regarded as having an infinite number of commas, all or some of which are neutralized by zeros.

“Something” may then be expressed by:

\(\mathit{1}_\infty\!\)

I shall for brevity frequently express this by an antique figure one \((\mathfrak{1}).\)

“Anything” by:

\(\mathit{1}_0\!\)

I shall often also write a straight \(1\!\) for anything.

(Peirce, CP 3.73).

Commentary Note 8.1

To my way of thinking, CP 3.73 is one of the most remarkable passages in the history of logic. In this first pass over its deeper contents I won't be able to accord it much more than a superficial dusting off.

Let us imagine a concrete example that will serve in developing the uses of Peirce's notation. Entertain a discourse whose universe \(X\!\) will remind us a little of the cast of characters in Shakespeare's Othello.

\(X ~=~ \{ \mathrm{Bianca}, \mathrm{Cassio}, \mathrm{Clown}, \mathrm{Desdemona}, \mathrm{Emilia}, \mathrm{Iago}, \mathrm{Othello} \}.\)

The universe \(X\!\) is “that class of individuals about which alone the whole discourse is understood to run” but its marking out for special recognition as a universe of discourse in no way rules out the possibility that “discourse may run upon something which is not a subjective part of the universe; for instance, upon the qualities or collections of the individuals it contains” (CP 3.65).

In order to provide ourselves with the convenience of abbreviated terms, while preserving Peirce's conventions about capitalization, we may use the alternate names \(^{\backprime\backprime}\mathrm{u}^{\prime\prime}\) for the universe \(X\!\) and \(^{\backprime\backprime}\mathrm{Jeste}^{\prime\prime}\) for the character \(\mathrm{Clown}.~\!\) This permits the above description of the universe of discourse to be rewritten in the following fashion:

\(\mathrm{u} ~=~ \{ \mathrm{B}, \mathrm{C}, \mathrm{D}, \mathrm{E}, \mathrm{I}, \mathrm{J}, \mathrm{O} \}\)

This specification of the universe of discourse could be summed up in Peirce's notation by the following equation:

\(\begin{array}{*{15}{c}} \mathbf{1} & = & \mathrm{B} & +\!\!, & \mathrm{C} & +\!\!, & \mathrm{D} & +\!\!, & \mathrm{E} & +\!\!, & \mathrm{I} & +\!\!, & \mathrm{J} & +\!\!, & \mathrm{O} \end{array}\)

Within this discussion, then, the individual terms are as follows:

\(\begin{matrix} ^{\backprime\backprime}\mathrm{B}^{\prime\prime}, & ^{\backprime\backprime}\mathrm{C}^{\prime\prime}, & ^{\backprime\backprime}\mathrm{D}^{\prime\prime}, & ^{\backprime\backprime}\mathrm{E}^{\prime\prime}, & ^{\backprime\backprime}\mathrm{I}^{\prime\prime}, & ^{\backprime\backprime}\mathrm{J}^{\prime\prime}, & ^{\backprime\backprime}\mathrm{O}^{\prime\prime} \end{matrix}\)

Each of these terms denotes in a singular fashion the corresponding individual in \(X.\!\)

By way of general terms in this discussion, we may begin with the following set:

\(\begin{array}{ccl} ^{\backprime\backprime}\mathrm{b}^{\prime\prime} & = & ^{\backprime\backprime}\mathrm{black}^{\prime\prime} \'"`UNIQ-MathJax1-QINU`"' <br> {| align="center" cellpadding="10" | [[Image:LOR 1870 Figure 7.0.jpg]] || (7) |} {| align="center" cellpadding="10" | [[Image:LOR 1870 Figure 8.0.jpg]] || (8) |} One way to approach the problem of “information fusion” in Peirce's syntax is to soften the distinction between adjacent terms and subjacent signs and to treat the types of constraints that they separately signify more on a par with each other. To that purpose, I will set forth a way of thinking about relational composition that emphasizes the set-theoretic constraints involved in the construction of a composite. For example, suppose that we are given the relations \(L \subseteq X \times Y\) and \(M \subseteq Y \times Z.\) Table 9 and Figure 10 present two ways of picturing the constraints that are involved in constructing the relational composition \(L \circ M \subseteq X \times Z.\)


\(\text{Table 9.} ~~ \text{Relational Composition}\!\)
  \(\mathit{1}\!\) \(\mathit{1}\!\) \(\mathit{1}\!\)
\(L\!\) \(X\!\) \(Y\!\)  
\(M\!\)   \(Y\!\) \(Z\!\)
\(L \circ M\!\) \(X\!\)   \(Z\!\)


The way to read Table 9 is to imagine that you are playing a game that involves placing tokens on the squares of a board that is marked in just this way. The rules are that you have to place a single token on each marked square in the middle of the board in such a way that all of the indicated constraints are satisfied. That is to say, you have to place a token whose denomination is a value in the set \(X\!\) on each of the squares marked \({}^{\backprime\backprime} X {}^{\prime\prime},\) and similarly for the squares marked \({}^{\backprime\backprime} Y {}^{\prime\prime}\) and \({}^{\backprime\backprime} Z {}^{\prime\prime},\) meanwhile leaving all of the blank squares empty. Furthermore, the tokens placed in each row and column have to obey the relational constraints that are indicated at the heads of the corresponding row and column. Thus, the two tokens from \(X\!\) have to denominate the very same value from \(X,\!\) and likewise for \(Y\!\) and \(Z,\!\) while the pairs of tokens on the rows marked \({}^{\backprime\backprime} L {}^{\prime\prime}\) and \({}^{\backprime\backprime} M {}^{\prime\prime}\) are required to denote elements that are in the relations \(L\!\) and \(M,\!\) respectively. The upshot is that when just this much is done, that is, when the \(L,\!\) \(M,\!\) and \(\mathit{1}\!\) relations are satisfied, then the row marked \({}^{\backprime\backprime} L \circ M {}^{\prime\prime}\) will automatically bear the tokens of a pair of elements in the composite relation \(L \circ M.\!\)

Figure 10 shows a different way of viewing the same situation.


File:LOR 1870 Figure 10.jpg (10)

Commentary Note 10.3

I will devote some time to drawing out the relationships that exist among the different pictures of relations and relative terms that were shown above, or as redrawn here:


File:LOR 1870 Figure 7.0.jpg (11)
File:LOR 1870 Figure 8.0.jpg (12)

Figures 11 and 12 present examples of relative multiplication in one of the styles of syntax that Peirce used, to which I added lines of identity to connect the corresponding marks of reference. These pictures are adapted to showing the anatomy of relative terms, while the forms of analysis illustrated in Table 13 and Figure 14 are designed to highlight the structures of the objective relations themselves.


\(\text{Table 13.} ~~ \text{Relational Composition}\!\)
  \(\mathit{1}\!\) \(\mathit{1}\!\) \(\mathit{1}\!\)
\(L\!\) \(X\!\) \(Y\!\)  
\(S\!\)   \(Y\!\) \(Z\!\)
\(L \circ S\!\) \(X\!\)   \(Z\!\)


File:LOR 1870 Figure 14.jpg (14)

There are many ways that Peirce might have gotten from his 1870 Notation for the Logic of Relatives to his more evolved systems of Logical Graphs. It is interesting to speculate on how the metamorphosis might have been accomplished by way of transformations that act on these nascent forms of syntax and that take place not too far from the pale of its means, that is, as nearly as possible according to the rules and the permissions of the initial system itself.

In Existential Graphs, a relation is represented by a node whose degree is the adicity of that relation, and which is adjacent via lines of identity to the nodes that represent its correlative relations, including as a special case any of its terminal individual arguments.

In the 1870 Logic of Relatives, implicit lines of identity are invoked by the subjacent numbers and marks of reference only when a correlate of some relation is the relate of some relation. Thus, the principal relate, which is not a correlate of any explicit relation, is not singled out in this way.

Remarkably enough, the comma modifier itself provides us with a mechanism to abstract the logic of relations from the logic of relatives, and thus to forge a possible link between the syntax of relative terms and the more graphical depiction of the objective relations themselves.

Figure 15 demonstrates this possibility, posing a transitional case between the style of syntax in Figure 11 and the picture of composition in Figure 14.


File:LOR 1870 Figure 15.jpg (15)

In this composite sketch the diagonal extension \(\mathit{1}\!\) of the universe \(\mathbf{1}\!\) is invoked up front to anchor an explicit line of identity for the leading relate of the composition, while the terminal argument \(\mathrm{w}\!\) has been generalized to the whole universe \(\mathbf{1},\!\) in effect, executing an act of abstraction. This type of universal bracketing isolates the composing of the relations \(L\!\) and \(S\!\) to form the composite \(L \circ S.\!\) The three relational domains \(X, Y, Z\!\) may be distinguished from one another, or else rolled up into a single universe of discourse, as one prefers.

Commentary Note 10.4

From now on I will use the forms of analysis exemplified in the last set of Figures and Tables as a routine bridge between the logic of relative terms and the logic of their extended relations. For future reference, we may think of Table 13 as illustrating the spreadsheet model of relational composition, while Figure 14 may be thought of as making a start toward a hypergraph model of generalized compositions. I will explain the hypergraph model in some detail at a later point. The transitional form of analysis represented by Figure 15 may be called the universal bracketing of relatives as relations.

Commentary Note 10.5

We have sufficiently covered the application of the comma functor, or the diagonal extension, to absolute terms, so let us return to where we were in working our way through CP 3.73 and see whether we can validate Peirce's statements about the “commifications” of 2-adic relative terms that yield their 3-adic diagonal extensions.

But not only may any absolute term be thus regarded as a relative term, but any relative term may in the same way be regarded as a relative with one correlate more. It is convenient to take this additional correlate as the first one.

Then:

\(\mathit{l},\!\mathit{s}\mathrm{w}\)

will denote a lover of a woman that is a servant of that woman.

The comma here after \(\mathit{l}\!\) should not be considered as altering at all the meaning of \(\mathit{l}\!\), but as only a subjacent sign, serving to alter the arrangement of the correlates.

(Peirce, CP 3.73).

Just to plant our feet on a more solid stage, let's apply this idea to the Othello example. For this performance only, just to make the example more interesting, let us assume that \(\mathrm{Jeste ~ (J)}\!\) is secretly in love with \(\mathrm{Desdemona ~ (D)}.\!\)

Then we begin with the modified data set:

\(\begin{array}{*{15}{c}} \mathrm{w} & = & \mathrm{B} & +\!\!, & \mathrm{D} & +\!\!, & \mathrm{E} \'"`UNIQ-MathJax2-QINU`"' ==='"`UNIQ--h-73--QINU`"'Commentary Note 11.14=== Now, as promised, let's look at a more homely example of a morphism, say, any one of the mappings \(J : \mathbb{R} \to \mathbb{R}\!\) (roughly speaking) that are commonly known as logarithm functions, where you get to pick your favorite base. In this case, \(K(r, s) = r + s~\!\) and \(L(u, v) = u \cdot v,\!\) and the defining formula \(J(L(u, v)) = K(Ju, Jv)\!\) comes out looking like \(J(u \cdot v) = J(u) + J(v),\!\) writing a dot \((\cdot)~\!\) and a plus sign \((+)\!\) for the ordinary binary operations of arithmetical multiplication and arithmetical summation, respectively.


File:LOR 1870 Figure 49.jpg (49)

Thus, where the image \(J\!\) is the logarithm map, the compound \(K\!\) is the numerical sum, and the ligature \(L\!\) is the numerical product, one has the following rule of thumb:

\(\textit{The~image~of~the~product~is~the~sum~of~the~images.}\)

\(\begin{array}{lll} J(u \cdot v) & = & J(u) + J(v) \'"`UNIQ-MathJax3-QINU`"' So let us try to uncross Peirce's manifestly chiasmatic encryption of the condition that is called on in support of this preservation. The proviso for the equation \([xy] = [x][y]\!\) to hold is this:

There are just as many \(x\!\)'s per \(y\!\) as there are per things, things of the universe.

(Peirce, CP 3.76).

Returning to the example that Peirce gives:

NOF 4.2

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:

\([\mathit{t}][\mathrm{f}] ~=~ [\mathit{t}\mathrm{f}]\)

holds arithmetically.

(Peirce, CP 3.76).

Now that is something that we can sink our teeth into and trace the bigraph representation of the situation. It will help to recall our first examination of the “tooth of” relation and to adjust the picture we sketched of it on that occasion.

Transcribing Peirce's example:

Let \(\mathrm{m} = \text{man}\!\)  
 
and \(\mathit{t} = \text{tooth of}\,\underline{~~ ~~}.\!\)  
 
Then \(v(\mathit{t}) ~=~ [\mathit{t}] ~=~ \frac{[\mathit{t}\mathrm{m}]}{[\mathrm{m}]}.\!\)  

That is to say, the number of the relative term \(\text{tooth of}\,\underline{~~ ~~}\!\) is equal to the number of teeth of humans divided by the number of humans. In a universe of perfect human dentition this gives a quotient of \(32.\!\)

The dyadic relative term \(t\!\) determines a dyadic relation \(T \subseteq X \times Y,\) where \(X\!\) contains all the teeth and \(Y\!\) contains all the people that happen to be under discussion.

To make the case as simple as possible and still cover the point, suppose there are just four people in our universe of discourse and just two of them are French. The bigraphical composition below shows the pertinent facts of the case.

File:LOR 1870 Figure 52.jpg (52)

In this picture the order of relational composition flows down the page. For convenience in composing relations, the absolute term \(\mathrm{f} = \text{Frenchman}\!\) is inflected by the comma functor to form the dyadic relative term \(\mathrm{f,} = \text{Frenchman that is}\,\underline{~~ ~~},\!\) which in turn determines the idempotent representation of Frenchmen as a subset of mankind, \(F \subseteq Y \times Y.\!\)

By way of a legend for the figure, we have the following data:

\(\begin{array}{lllr} \mathrm{m} & = & \mathrm{J} ~+\!\!,~ \mathrm{K} ~+\!\!,~ \mathrm{L} ~+\!\!,~ \mathrm{M} \qquad = & \mathbf{1} \'"`UNIQ-MathJax4-QINU`"' and \(\mathrm{P}(\mathrm{b}) = \frac{1}{7}.\)

If these were independent terms we would have\[\mathrm{P}(\mathrm{m}\mathrm{b}) = \frac{4}{49}.\]

In point of fact, however, we have\[\mathrm{P}(\mathrm{m}\mathrm{b}) = \mathrm{P}(\mathrm{b}) = \frac{1}{7}.\]

Another way to see it is to observe that\[\mathrm{P}(\mathrm{b}|\mathrm{m}) = \frac{1}{4}\] while \(\mathrm{P}(\mathrm{b}) = \frac{1}{7}.\)

Commentary Note 11.23

Peirce's description of logical conjunction and conditional probability via the logic of relatives and the mathematics of relations is critical to understanding the relationship between logic and measurement, in effect, the qualitative and quantitative aspects of inquiry. To ground this connection firmly in mind, I will try to sum up as succinctly as possible, in more current notation, the lesson we ought to take away from Peirce's last “number of” example, since I know the account I have given so far may appear to have wandered widely.

NOF 4.4

So if men are just as apt to be black as things in general,

\([\mathrm{m,}][\mathrm{b}] ~=~ [\mathrm{m,}\mathrm{b}],\!\)

where the difference between \([\mathrm{m}]\!\) and \([\mathrm{m,}]\!\) must not be overlooked.

(Peirce, CP 3.76).

In different lights the formula \([\mathrm{m,}\mathrm{b}] = [\mathrm{m,}][\mathrm{b}]\!\) presents itself as an aimed arrow, fair sampling, or statistical independence condition. The concept of independence was illustrated above by means of a case where independence fails. The details of that counterexample are summarized below.

File:LOR 1870 Figure 53.jpg (54)

The condition that “men are just as apt to be black as things in general” is expressed in terms of conditional probabilities as \(\mathrm{P}(\mathrm{b}|\mathrm{m}) = \mathrm{P}(\mathrm{b}),\!\) which means that the probability of the event \(\mathrm{b}\!\) given the event \(\mathrm{m}\!\) is equal to the unconditional probability of the event \(\mathrm{b}.\!\)

In the Othello example, it is enough to observe that \(\mathrm{P}(\mathrm{b}|\mathrm{m}) = \tfrac{1}{4}\!\) while \(\mathrm{P}(\mathrm{b}) = \tfrac{1}{7}\!\) in order to recognize the bias or dependency of the sampling map.

The reduction of a conditional probability to an absolute probability, as \(\mathrm{P}(A|Z) = \mathrm{P}(A),\!\) is one of the ways we come to recognize the condition of independence, \(\mathrm{P}(AZ) = \mathrm{P}(A)P(Z),\!\) via the definition of conditional probability, \(\mathrm{P}(A|Z) = \displaystyle{\mathrm{P}(AZ) \over \mathrm{P}(Z)}.\!\)

To recall the derivation, the definition of conditional probability plus the independence condition yields \(\mathrm{P}(A|Z) = \displaystyle{\mathrm{P}(AZ) \over P(Z)} = \displaystyle{\mathrm{P}(A)\mathrm{P}(Z) \over \mathrm{P}(Z)},\!\) in short, \(\mathrm{P}(A|Z) = \mathrm{P}(A).\!\)

As Hamlet discovered, there's a lot to be learned from turning a crank.

Commentary Note 11.24

We come to the end of the “number of” examples that we found on our agenda at this point in the text:

NOF 4.5

It is to be observed that

\([\mathit{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.

(Peirce, CP 3.76 and CE 2, 376).

There are problems with the printing of the text at this point. Let us first recall the conventions we are using in this transcription, in particular, \(\mathit{1}\!\) for the italic 1 that signifies the dyadic identity relation and \(\mathfrak{1}\) for the “antique figure one” that Peirce defines as \(\mathit{1}_\infty = \text{something}.\)

CP 3 gives \([\mathit{1}] = \mathfrak{1},\) which I cannot make sense of. CE 2 gives the 1's in different styles of italics, but reading the equation as \([\mathit{1}] = 1,\!\) makes the best sense if the “1” on the right hand side is read as the numeral “1” that denotes the natural number 1, and not as the absolute term “1” that denotes the universe of discourse. Read this way, \([\mathit{1}]\!\) is the average number of things related by the identity relation \(\mathit{1}\!\) to one individual, and so it makes sense that \([\mathit{1}] = 1 \in \mathbb{N},\) where \(\mathbb{N}\) is the set of non-negative integers \(\{ 0, 1, 2, \ldots \}.\)

With respect to the relative term \(^{\backprime\backprime} \mathit{1} ^{\prime\prime}\) in the syntactic domain \(S\!\) and the number \(1\!\) in the non-negative integers \(\mathbb{N} \subset \mathbb{R},\) we have:

\(v(\mathit{1}) ~=~ [\mathit{1}] ~=~ 1.\)

And so the “number of” mapping \(v : S \to \mathbb{R}\) has another one of the properties that would be required of an arrow \(S \to \mathbb{R}.\)

The manner in which these arrows and qualified arrows help us to construct a suspension bridge that unifies logic, semiotics, statistics, stochastics, and information theory will be one of the main themes I aim to elaborate throughout the rest of this inquiry.

Selection 12

The Sign of Involution

I shall take involution in such a sense that \(x^y\!\) will denote everything which is an \(x\!\) for every individual of \(y.\!\)  Thus \(\mathit{l}^\mathrm{w}\!\) will be a lover of every woman.  Then \((\mathit{s}^\mathit{l})^\mathrm{w}\!\) will denote whatever stands to every woman in the relation of servant of every lover of hers;  and \(\mathit{s}^{(\mathit{l}\mathrm{w})}\!\) will denote whatever is a servant of everything that is lover of a woman.  So that

\((\mathit{s}^\mathit{l})^\mathrm{w} ~=~ \mathit{s}^{(\mathit{l}\mathrm{w})}.\!\)

(Peirce, CP 3.77).

Commentary Note 12.1

To get a better sense of why the above formulas mean what they do, and to prepare the ground for understanding more complex relational expressions, it will help to assemble the following materials and definitions:

\(X\!\) is a set singled out in a particular discussion as the universe of discourse.
\(W \subseteq X\!\) is the 1-adic relation, or set, whose elements fall under the absolute term \(\mathrm{w} = \text{woman}.\!\) The elements of \(W\!\) are sometimes referred to as the denotation or the set-theoretic extension of the term \(\mathrm{w}.\!\)
\(L \subseteq X \times X\!\) is the 2-adic relation associated with the relative term \(\mathit{l} = \text{lover of}\,\underline{~~ ~~}.\!\)
\(S \subseteq X \times X\!\) is the 2-adic relation associated with the relative term \(\mathit{s} = \text{servant of}\,\underline{~~ ~~}.\!\)
\(\mathsf{W} = (\mathsf{W}_x) = \mathrm{Mat}(W) = \mathrm{Mat}(\mathrm{w})\) is the 1-dimensional matrix representation of the set \(W\!\) and the term \(\mathrm{w}.\!\)
\(\mathsf{L} = (\mathsf{L}_{xy}) = \mathrm{Mat}(L) = \mathrm{Mat}(\mathit{l})~\!\) is the 2-dimensional matrix representation of the relation \(L\!\) and the relative term \(\mathit{l}.\!\)
\(\mathsf{S} = (\mathsf{S}_{xy}) = \mathrm{Mat}(S) = \mathrm{Mat}(\mathit{s})\!\) is the 2-dimensional matrix representation of the relation \(S\!\) and the relative term \(\mathit{s}.~\!\)

Recalling a few definitions, the local flags of the relation \(L\!\) are given as follows:

\(\begin{array}{lll} u \star L & = & L_{u \,\text{at}\, 1} \\[6pt] & = & \{ (u, x) \in L \} \\[6pt] & = & \text{the ordered pairs in}~ L ~\text{that have}~ u ~\text{in the 1st place}. \\[9pt] L \star v & = & L_{v \,\text{at}\, 2} \\[6pt] & = & \{ (x, v) \in L \} \\[6pt] & = & \text{the ordered pairs in}~ L ~\text{that have}~ v ~\text{in the 2nd place}. \end{array}\!\)

The applications of the relation \(L\!\) are defined as follows:

\(\begin{array}{lll} u \cdot L & = & \mathrm{proj}_2 (u \star L) \\[6pt] & = & \{ x \in X : (u, x) \in L \} \\[6pt] & = & \text{loved by}~ u. \\[9pt] L \cdot v & = & \mathrm{proj}_1 (L \star v) \\[6pt] & = & \{ x \in X : (x, v) \in L \} \\[6pt] & = & \text{lover of}~ v. \end{array}\!\)

Commentary Note 12.2

Let us make a few preliminary observations about the operation of logical involution, as Peirce introduces it here:

I shall take involution in such a sense that \(x^y\!\) will denote everything which is an \(x\!\) for every individual of \(y.\!\)  Thus \(\mathit{l}^\mathrm{w}\!\) will be a lover of every woman.

(Peirce, CP 3.77).

In ordinary arithmetic the involution \(x^y,\!\) or the exponentiation of \(x\!\) to the power of \(y,\!\) is the repeated application of the multiplier \(x\!\) for as many times as there are ones making up the exponent \(y.\!\)

In analogous fashion, the logical involution \(\mathit{l}^\mathrm{w}\!\) is the repeated application of the term \(\mathit{l}\!\) for as many times as there are individuals under the term \(\mathrm{w}.\!\) According to Peirce's interpretive rules, the repeated applications of the base term \(\mathit{l}\!\) are distributed across the individuals of the exponent term \(\mathrm{w}.\!\) In particular, the base term \(\mathit{l}\!\) is not applied successively in the manner that would give something like “a lover of a lover of … a lover of a woman”.

For example, suppose that a universe of discourse numbers among its contents just three women, \(\mathrm{W}^{\prime}, \mathrm{W}^{\prime\prime}, \mathrm{W}^{\prime\prime\prime}.\) This could be expressed in Peirce's notation by writing:

\(\mathrm{w} ~=~ \mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime}\)

Under these circumstances the following equation would hold:

\(\mathit{l}^\mathrm{w} ~=~ \mathit{l}^{(\mathrm{W}^{\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime} ~+\!\!,~ \mathrm{W}^{\prime\prime\prime})} ~=~ (\mathit{l}\mathrm{W}^{\prime}), (\mathit{l}\mathrm{W}^{\prime\prime}), (\mathit{l}\mathrm{W}^{\prime\prime\prime}).\)

This says that a lover of every woman in the given universe of discourse is a lover of \(\mathrm{W}^{\prime}\) that is a lover of \(\mathrm{W}^{\prime\prime}\) that is a lover of \(\mathrm{W}^{\prime\prime\prime}.\) In other words, a lover of every woman in this context is a lover of \(\mathrm{W}^{\prime}\) and a lover of \(\mathrm{W}^{\prime\prime}\) and a lover of \(\mathrm{W}^{\prime\prime\prime}.\)

The denotation of the term \(\mathit{l}^\mathrm{w}\!\) is a subset of \(X\!\) that can be obtained as follows: For each flag of the form \(L \star x\!\) with \(x \in W,\!\) collect the elements \(\mathrm{proj}_1 (L \star x)~\!\) that appear as the first components of these ordered pairs, and then take the intersection of all these subsets. Putting it all together:

\(\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} \mathrm{proj}_1 (L \star x) ~=~ \bigcap_{x \in W} L \cdot x\)

It is very instructive to examine the matrix representation of \(\mathit{l}^\mathrm{w}\!\) at this point, not the least because it effectively dispels the mystery of the name involution. First, let us make the following observation. To say that \(j\!\) is a lover of every woman is to say that \(j\!\) loves \(k\!\) if \(k\!\) is a woman. This can be rendered in symbols as follows:

\(j ~\text{loves}~ k ~\Leftarrow~ k ~\text{is a woman}\)

Reading the formula \(\mathit{l}^\mathrm{w}\!\) as “\(j\!\) loves \(k\!\) if \(k\!\) is a woman” highlights the operation of converse implication inherent in it, and this in turn reveals the analogy between implication and involution that accounts for the aptness of the latter name.

The operations defined by the formulas   \(x^y = z\!\)   and   \((x\!\Leftarrow\!y) = z\)   for \(x, y, z \in \mathbb{B} = \{ 0, 1 \}\) are tabulated below:

\( \begin{array}{ccc} x^y & = & z \\ \hline 0^0 & = & 1 \\ 0^1 & = & 0 \\ 1^0 & = & 1 \\ 1^1 & = & 1 \end{array} \qquad\qquad\qquad \begin{array}{ccc} x\!\Leftarrow\!y & = & z \\ \hline 0\!\Leftarrow\!0 & = & 1 \\ 0\!\Leftarrow\!1 & = & 0 \\ 1\!\Leftarrow\!0 & = & 1 \\ 1\!\Leftarrow\!1 & = & 1 \end{array} \)

It is clear that these operations are isomorphic, amounting to the same operation of type \(\mathbb{B} \times \mathbb{B} \to \mathbb{B}.\!\) All that remains is to see how this operation on coefficient values in \(\mathbb{B}\!\) induces the corresponding operations on sets and terms.

The term \(\mathit{l}^\mathrm{w}\!\) determines a selection of individuals from the universe of discourse \(X\!\) that may be computed by means of the corresponding operation on coefficient matrices. If the terms \(\mathit{l}\!\) and \(\mathrm{w}\!\) are represented by the matrices \(\mathsf{L} = \mathrm{Mat}(\mathit{l})\) and \(\mathsf{W} = \mathrm{Mat}(\mathrm{w}),\) respectively, then the operation on terms that produces the term \(\mathit{l}^\mathrm{w}\!\) must be represented by a corresponding operation on matrices, say, \(\mathsf{L}^\mathsf{W} = \mathrm{Mat}(\mathit{l})^{\mathrm{Mat}(\mathrm{w})},\) that produces the matrix \(\mathrm{Mat}(\mathit{l}^\mathrm{w}).\) In other words, the involution operation on matrices must be defined in such a way that the following equations hold:

\(\mathsf{L}^\mathsf{W} ~=~ \mathrm{Mat}(\mathit{l})^{\mathrm{Mat}(\mathrm{w})} ~=~ \mathrm{Mat}(\mathit{l}^\mathrm{w})\!\)

The fact that \(\mathit{l}^\mathrm{w}\!\) denotes the elements of a subset of \(X\!\) means that the matrix \(\mathsf{L}^\mathsf{W}\!\) is a 1-dimensional array of coefficients in \(\mathbb{B}\!\) that is indexed by the elements of \(X.\!\) The value of the matrix \(\mathsf{L}^\mathsf{W}\!\) at the index \({u \in X}\!\) is written \((\mathsf{L}^\mathsf{W})_u\!\) and computed as follows:

\((\mathsf{L}^\mathsf{W})_u ~=~ \prod_{v \in X} \mathsf{L}_{uv}^{\mathsf{W}_v}\!\)

Commentary Note 12.3

We now have two ways of computing a logical involution that raises a dyadic relative term to the power of a monadic absolute term, for example, \(\mathit{l}^\mathrm{w}\!\) for “lover of every woman”.

The first method operates in the medium of set theory, expressing the denotation of the term \(\mathit{l}^\mathrm{w}\!\) as the intersection of a set of relational applications:

\(\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x\!\)

The second method operates in the matrix representation, expressing the value of the matrix \(\mathsf{L}^\mathsf{W}\!\) with respect to an argument \(u\!\) as a product of coefficient powers:

\((\mathsf{L}^\mathsf{W})_u ~=~ \prod_{v \in X} \mathsf{L}_{uv}^{\mathsf{W}_v}\!\)

Abstract formulas like these are more easily grasped with the aid of a concrete example and a picture of the relations involved.

Example 6

Consider a universe of discourse \(X\!\) that is subject to the following data:

\(\begin{array}{*{15}{c}} X & = & \{ & a, & b, & c, & d, & e, & f, & g, & h, & i & \} \\[6pt] W & = & \{ & d, & f & \} \\[6pt] L & = & \{ & b\!:\!a, & b\!:\!c, & c\!:\!b, & c\!:\!d, & e\!:\!d, & e\!:\!e, & e\!:\!f, & g\!:\!f, & g\!:\!h, & h\!:\!g, & h\!:\!i & \} \end{array}\)

Figure 55 shows the placement of \(W\!\) within \(X\!\) and the placement of \(L\!\) within \(X \times X.\!\)

  File:LOR 1870 Figure 55.jpg (55)

To highlight the role of \(W\!\) more clearly, the Figure represents the absolute term \({}^{\backprime\backprime} \mathrm{w} {}^{\prime\prime}\!\) by means of the relative term \({}^{\backprime\backprime} \mathrm{w}, \! {}^{\prime\prime}\!\) that conveys the same information.

Computing the denotation of \(\mathit{l}^\mathrm{w}\!\) by way of the set-theoretic formula, we can show our work as follows:

\(\mathit{l}^\mathrm{w} ~=~ \bigcap_{x \in W} L \cdot x ~=~ L \cdot d ~\cap~ L \cdot f ~=~ \{ c, e \} \cap \{ e, g \} ~=~ \{ e \}\)

With the above Figure in mind, we can visualize the computation of \((\mathsf{L}^\mathsf{W})_u = \textstyle\prod_{v \in X} \mathsf{L}_{uv}^{\mathsf{W}_v}\!\) as follows:

1. Pick a specific \(u\!\) in the bottom row of the Figure.
2. Pan across the elements \(v\!\) in the middle row of the Figure.
3. If \(u\!\) links to \(v\!\) then \(\mathsf{L}_{uv} = 1,\!\) otherwise \({\mathsf{L}_{uv} = 0}.\!\)
4. If \(v\!\) in the middle row links to \(v\!\) in the top row then \(\mathsf{W}_v = 1,\!\) otherwise \(\mathsf{W}_v = 0.\!\)
5. Compute the value \(\mathsf{L}_{uv}^{\mathsf{W}_v} = (\mathsf{L}_{uv} \Leftarrow \mathsf{W}_v)\!\) for each \(v\!\) in the middle row.
6. If any of the values \(\mathsf{L}_{uv}^{\mathsf{W}_v}\!\) is \(0\!\) then the product \(\textstyle\prod_{v \in X} \mathsf{L}_{uv}^{\mathsf{W}_v}\!\) is \(0,\!\) otherwise it is \(1.\!\)

As a general observation, we know that the value of \((\mathsf{L}^\mathsf{W})_u\!\) goes to \(0~\!\) just as soon as we find a \(v \in X\!\) such that \(\mathsf{L}_{uv} = 0\!\) and \(\mathsf{W}_v = 1,\!\) in other words, such that \((u, v) \notin L\!\) but \(v \in W.\!\) If there is no such \(v\!\) then \((\mathsf{L}^\mathsf{W})_u = 1.\!\)

Running through the program for each \(u \in X,\!\) the only case that produces a non-zero result is \((\mathsf{L}^\mathsf{W})_e = 1.\!\) That portion of the work can be sketched as follows:

\((\mathsf{L}^\mathsf{W})_e ~=~ \prod_{v \in X} \mathsf{L}_{ev}^{\mathsf{W}_v} ~=~ 0^0 \cdot 0^0 \cdot 0^0 \cdot 1^1 \cdot 1^0 \cdot 1^1 \cdot 0^0 \cdot 0^0 \cdot 0^0 ~=~ 1\!\)

Commentary Note 12.4

Peirce next considers a pair of compound involutions, stating an equation between them that is analogous to a law of exponents in ordinary arithmetic, namely, \((a^b)^c = a^{bc}.\!\)

Then \((\mathit{s}^\mathit{l})^\mathrm{w}\!\) will denote whatever stands to every woman in the relation of servant of every lover of hers;  and \(\mathit{s}^{(\mathit{l}\mathrm{w})}\!\) will denote whatever is a servant of everything that is lover of a woman.  So that

\((\mathit{s}^\mathit{l})^\mathrm{w} ~=~ \mathit{s}^{(\mathit{l}\mathrm{w})}.\!\)

(Peirce, CP 3.77).

Articulating the compound relative term \(\mathit{s}^{(\mathit{l}\mathrm{w})}\!\) in set-theoretic terms is fairly immediate:

\(\mathit{s}^{(\mathit{l}\mathrm{w})} ~=~ \bigcap_{x \in LW} \mathrm{proj}_1 (S \star x) ~=~ \bigcap_{x \in LW} S \cdot x\!\)

On the other hand, translating the compound relative term \((\mathit{s}^\mathit{l})^\mathrm{w}\!\) into a set-theoretic equivalent is less immediate, the hang-up being that we have yet to define the case of logical involution that raises a dyadic relative term to the power of a dyadic relative term. As a result, it looks easier to proceed through the matrix representation, drawing once again on the inspection of a concrete example.

Example 7

\(\begin{array}{*{15}{c}} X & = & \{ & a, & b, & c, & d, & e, & f, & g, & h, & i\ & \} \\[6pt] L & = & \{ & b\!:\!a, & b\!:\!c, & c\!:\!b, & c\!:\!d, & e\!:\!d, & e\!:\!e, & e\!:\!f, & g\!:\!f, & g\!:\!h, & h\!:\!g, & h\!:\!i & \} \\[6pt] S & = & \{ & b\!:\!a, & b\!:\!c, & d\!:\!c, & d\!:\!d, & d\!:\!e, & f\!:\!e, & f\!:\!f, & f\!:\!g, & h\!:\!g, & h\!:\!i\ & \} \end{array}\)

  File:LOR 1870 Figure 56.jpg (56)

There is a “servant of every lover of” link between \(u\!\) and \(v\!\) if and only if \(u \cdot S ~\supseteq~ L \cdot v.\!\)  But the vacuous inclusions, that is, the cases where \(L \cdot v = \varnothing,\!\) have the effect of adding non-intuitive links to the mix.

The computational requirements are evidently met by the following formula:

\((\mathsf{S}^\mathsf{L})_{xy} ~=~ \prod_{p \in X} \mathsf{S}_{xp}^{\mathsf{L}_{py}}\!\)

In other words, \((\mathsf{S}^\mathsf{L})_{xy} = 0\!\) if and only if there exists a \({p \in X}\!\) such that \(\mathsf{S}_{xp} = 0\!\) and \(\mathsf{L}_{py} = 1.\!\)

Commentary Note 12.5

The equation \((\mathit{s}^\mathit{l})^\mathrm{w} = \mathit{s}^{\mathit{l}\mathrm{w}}\!\) can be verified by establishing the corresponding equation in matrices:

\((\mathsf{S}^\mathsf{L})^\mathsf{W} ~=~ \mathsf{S}^{\mathsf{L}\mathsf{W}}\)

If \(\mathsf{A}\) and \(\mathsf{B}\) are two 1-dimensional matrices over the same index set \(X\!\) then \(\mathsf{A} = \mathsf{B}\) if and only if \(\mathsf{A}_x = \mathsf{B}_x\) for every \(x \in X.\) Thus, a routine way to check the validity of \((\mathsf{S}^\mathsf{L})^\mathsf{W} = \mathsf{S}^{\mathsf{L}\mathsf{W}}\) is to check whether the following equation holds for arbitrary \(x \in X.\)

\(((\mathsf{S}^\mathsf{L})^\mathsf{W})_x ~=~ (\mathsf{S}^{\mathsf{L}\mathsf{W}})_x\)

Taking both ends toward the middle, we proceed as follows:

\( \begin{array}{*{7}{l}} ((\mathsf{S}^\mathsf{L})^\mathsf{W})_x & = & \displaystyle \prod_{p \in X} (\mathsf{S}^\mathsf{L})_{xp}^{\mathsf{W}_p} & = & \displaystyle \prod_{p \in X} (\prod_{q \in X} \mathsf{S}_{xq}^{\mathsf{L}_{qp}})^{\mathsf{W}_p} & = & \displaystyle \prod_{p \in X} \prod_{q \in X} \mathsf{S}_{xq}^{\mathsf{L}_{qp}\mathsf{W}_p} \\[36px] (\mathsf{S}^{\mathsf{L}\mathsf{W}})_x & = & \displaystyle \prod_{q \in X} \mathsf{S}_{xq}^{(\mathsf{L}\mathsf{W})_q} & = & \displaystyle \prod_{q \in X} \mathsf{S}_{xq}^{\sum_{p \in X} \mathsf{L}_{qp} \mathsf{W}_p} & = & \displaystyle \prod_{q \in X} \prod_{p \in X} \mathsf{S}_{xq}^{\mathsf{L}_{qp} \mathsf{W}_p} \end{array} \)

The products commute, so the equation holds. In essence, the matrix identity turns on the fact that the law of exponents \((a^b)^c = a^{bc}\!\) in ordinary arithmetic holds when the values \(a, b, c\!\) are restricted to the boolean domain \(\mathbb{B} = \{ 0, 1 \}.\) Interpreted as a logical statement, the law of exponents \((a^b)^c = a^{bc}\!\) amounts to a theorem of propositional calculus that is otherwise expressed in the following ways:

\(\begin{matrix} (a \,\Leftarrow\, b) \,\Leftarrow\, c & = & a \,\Leftarrow\, b \land c \\[8pt] (a >\!\!\!-~ b) >\!\!\!-~ c & = & a >\!\!\!-~ bc \\[8pt] c ~-\!\!\!< (b ~-\!\!\!< a) & = & cb ~-\!\!\!< a \\[8pt] c \,\Rightarrow\, (b \,\Rightarrow\, a) & = & c \land b \,\Rightarrow\, a \end{matrix}\)

Commentary Note 12.6

References

  • Boole, George (1854), An Investigation of the Laws of Thought, On Which are Founded the Mathematical Theories of Logic and Probabilities, Macmillan, 1854. Reprinted, Dover Publications, New York, NY, 1958.
  • Peirce, C.S. (1870), “Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic”, Memoirs of the American Academy of Arts and Sciences 9, 317–378, 26 January 1870. Reprinted, Collected Papers (CP 3.45–149), Chronological Edition (CE 2, 359–429). Online (1) (2) (3).
  • Peirce, C.S., Collected Papers of Charles Sanders Peirce, vols. 1–6, Charles Hartshorne and Paul Weiss (eds.), vols. 7–8, Arthur W. Burks (ed.), Harvard University Press, Cambridge, MA, 1931–1935, 1958. Cited as (CP volume.paragraph).
  • Peirce, C.S., Writings of Charles S. Peirce : A Chronological Edition, Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianoplis, IN, 1981–. Cited as (CE volume, page).

Further Reading

  • Brady, G. (2000), From Peirce to Skolem : A Neglected Chapter in the History of Logic, Elsevier, Amsterdam. Online Preview.
  • Lambek, J., and Scott, P.J. (1986), Introduction to Higher Order Categorical Logic, Cambridge University Press, Cambridge, UK.
  • Mili, A., Desharnais, J., Mili, F., with Frappier, M. (1994), Computer Program Construction, Oxford University Press, New York, NY.
  • Walsh, A. (2012), Relations Between Logic and Mathematics in the Work of Benjamin and Charles S. Peirce, Docent Press, Boston, MA.

See Also

Template:Col-breakTemplate:Col-breakTemplate:Col-end