Peirce’s 1870 “Logic Of Relatives” • Selection 7

We continue with §3. Application of the Algebraic Signs to Logic.

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 [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 [Gothic], where only one was necessary.  But it is convenient to use both.

(Peirce, CP 3.71–72)


  • 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 3.45–149, Chronological Edition 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.
  • Peirce, C.S., Writings of Charles S. Peirce : A Chronological Edition, Peirce Edition Project (eds.), Indiana University Press, Bloomington and Indianapolis, IN, 1981–.
This entry was posted in Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics and tagged , , , , , . Bookmark the permalink.

One Response to Peirce’s 1870 “Logic Of Relatives” • Selection 7

  1. Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s