Peirce’s 1870 “Logic of Relatives” • Comment 11.1

Posted on April 29, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 11.1

Dear Reader,

We have reached a suitable place to pause in our reading of Peirce’s text — actually, it’s more like a place to run as fast as we can along a parallel track — where I can pay off a few of the expository IOUs I’ve been using to pave the way to this point.

The more pressing debts that come to mind are concerned with Peirce’s “number of” function which maps a term t into a number [t] and with my justification for calling a certain style of illustration the hypergraph picture of relational composition.  As it happens, there is a thematic relation between these topics, and so I can make my way forward by addressing them together.

At this point we have two good pictures of how to compute the relational compositions of dyadic relations, namely, the bigraph representation and the matrix representation, each of which has its differential advantages in different types of situations.

But we lack a comparable picture of how to compute the richer variety of relational compositions involving triadic or higher adicity relations.  As a matter of fact, we run into a non-trivial classification problem simply to enumerate the different types of compositions arising in those cases.

Therefore let us inaugurate a systematic study of relational composition, general enough to articulate the “generative potency” of Peirce’s 1870 Logic of Relatives.

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 10 Comments

Peirce’s 1870 “Logic of Relatives” • Selection 11

Posted on April 29, 2014 by Jon Awbrey

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

Peirce’s 1870 “Logic of Relatives” • Selection 11

The Signs for Multiplication (concl.)

The conception of multiplication we have adopted is that of the application of one relation to another.  So, a quaternion being the relation of one vector to another, the multiplication of quaternions is the application of one such relation to a second.

Even ordinary numerical multiplication involves the same idea, for 2 \times 3 is a pair of triplets, and 3 \times 2 is a triplet of pairs, where “triplet of” and “pair of” are evidently relatives.

If we have an equation of the form

xy ~=~ z,

and there are just as many x’s per y as there are, per things, things of the universe, then we have also the arithmetical equation,

[x][y] ~=~ [z].

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.

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.

It is to be observed that

[\mathit{1}] ~=~ \mathfrak{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)

References

  • 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–.

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 16 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 10.12

Posted on April 26, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 10.12

Potential ambiguities in Peirce’s two versions of the “rich black man” example can be resolved by providing them with explicit graphical markups, as shown in Figures 28 and 29.

Man that is Black that is Rich

\text{Figure 28. Man that is Black that is Rich}

Man that is a Rich Individual and is a Black Person that is that Rich Individual

\text{Figure 29. Man that is a Rich Individual and is}
\text{a Black Person that is that Rich Individual}

On the other hand, as the forms of relational composition become more complex, the corresponding algebraic products of elementary relatives, for example, \mathrm{(x\!:\!y\!:\!z)(y\!:\!z)(z)}, will not always determine unique results without the addition of more information about the intended linkings of terms.

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 10 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 10.11

Posted on April 25, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 10.11

Let us return to the point where we left off unpacking the contents of CP 3.73.  Here Peirce remarks that the comma operator can be iterated at will.

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,\!,\!b,\!r} interpreted like \mathfrak{g}\mathit{o}\mathrm{h} means a man that is a rich individual and is a black [person] that is that rich individual.  But this has no other meaning than \mathrm{m,\!b,\!r} or a man that is a black [person] 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.

(Peirce, CP 3.73)

Again, let’s check whether this makes sense on the stage of our small but dramatic model.  Let’s say Desdemona and Othello are rich and, among the persons of the play, only they.  On this premiss we obtain a sample of absolute terms sufficiently ample to work through Peirce’s example.

Display 1

One application of the comma operator yields the following dyadic relatives.

Display 2

Another application of the comma operator generates the following triadic relatives.

Display 3

Assuming the associativity of multiplication among dyadic relatives, the product \mathrm{m,\!b,\!r} may be computed by a brute force method to yield the following result.

Display 4

This says that a man that is black that is rich is Othello, which is true on the premisses of our present universe of discourse.

Following the standard associative combinations of \mathfrak{g}\mathit{o}\mathrm{h}, the product \mathrm{m,\!,\!b,\!r} is multiplied out along the following lines, where the trinomials of the form \mathrm{(X\!:\!Y\!:\!Z)(Y\!:\!Z)(Z)} are the only ones producing a non‑null result, namely, \mathrm{(X\!:\!Y\!:\!Z)(Y\!:\!Z)(Z) = X}.

Display 5

So we have that \mathrm{m,\!,\!b,\!r} ~=~ \mathrm{m,\!b,\!r}.

In closing, observe how the teridentity relation has turned up again in this context, as the second comma‑ing of the universal term itself.

Display 6

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 10 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 10.10

Posted on April 24, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 10.10

The last of Peirce’s three examples involving the composition of triadic relatives with dyadic relatives is shown again in Figure 25.

Lover that is a Servant of a Woman

\text{Figure 25. Lover that is a Servant of a Woman}

The hypergraph picture of the abstract composition is given in Figure 26.

Anything that is a Lover that is a Servant of Anything

\text{Figure 26. Anything that is a Lover that is a Servant of Anything}

This example illustrates the way Peirce analyzes the logical conjunction, we might even say the parallel conjunction, of a pair of dyadic relatives in terms of the comma extension and the same style of composition we saw in the last example, that is, according to a pattern of anaphora invoking the teridentity relation.

Laying out the above analysis of logical conjunction on the spreadsheet model of relational composition, the gist of it is the diagonal extension of a dyadic loving relation L \subseteq X \times Y to a triadic being and loving relation L \subseteq X \times X \times Y, which is then composed with a dyadic serving relation S \subseteq X \times Y so as to determine a dyadic relation L,\!S \subseteq X \times Y.  Table 27 schematizes the associated constraints on tuples.

\text{Table 27. Relational Composition}~ L,S

Relational Composition Table L,S

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 10 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 10.9

Posted on April 23, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 10.9

Ergo in numero quo numeramus repetitio unitatum facit pluralitatem;
in rerum vero numero non facit pluralitatem unitatum repetitio,
vel si de eodem dicam “gladius unus mucro unus ensis unus”.

Therefore in the case of that number by which we number,
      the repetition of ones makes a plurality;
but in the number consisting in things
      the repetition of ones does not make a plurality,
as, for example, if I say of one and the same thing,
      “one sword, one brand, one blade”.

Boethius (Anicius Manlius Severinus Boethius, c. 480–524 A.D.),
De Trinitate (The Trinity Is One God Not Three Gods),
The Theological Tractates, H.F. Stewart, E.K. Rand, S.J. Tester (trans.),
New Edition, Loeb Classical Library, Harvard/Heinemann, 1973.

The use of the concepts of identity and teridentity is not to identify a thing-in-itself with itself, much less twice or thrice over — there is no need and thus no utility in that.  I can imagine Peirce asking, on Kantian principles if not entirely on Kantian premisses, “Where is the manifold to be unified?”  The manifold requiring unification does not reside in the object but in the phenomena — in the appearances which might have been appearances of different objects but are bound by the indicated identities to be just so many aspects, facets, parts, roles, or signs of one and the same object.

Notice how the various identity concepts actually functioned in the last example, where they had the opportunity to show their behavior in something like their natural habitat.

Anything that is a Giver of Anything to an Owner of It

\text{Figure 23. Anything that is a Giver of Anything to an Owner of It}

The use of the teridentity concept in the “giver of a horse to an owner of it” is to say the thing appearing with respect to its quality under an absolute term, “a horse”, the thing appearing with respect to its existence as the correlate of a dyadic relative, “a potential possession”, and the thing appearing with respect to its synthesis as the correlate of a triadic relative, “a gift”, are one and the same thing.

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 10 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 10.8

Posted on April 22, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 10.8

Our progress through the 1870 Logic of Relatives brings us in sight of a critical transition point, one which turns on the teridentity relation.

The markup for Peirce’s “giver of a horse to an owner of it” is shown again in Figure 22.

Giver of a Horse to an Owner of It

\text{Figure 22. Giver of a Horse to an Owner of It}

The hypergraph picture of the abstract composition is given in Figure 23.

Anything that is a Giver of Anything to an Owner of It

\text{Figure 23. Anything that is a Giver of Anything to an Owner of It}

If we analyze this in accord with the spreadsheet model of relational composition then the core of it is a particular way of composing a triadic giving relation G \subseteq X \times Y \times Z with a dyadic owning relation O \subseteq Y \times Z in such a way as to determine a specialized dyadic relation (G \circ O) \subseteq X \times Z.  Table 24 schematizes the associated constraints on tuples.

\text{Table 24. Relational Composition}~ G \circ O

Relational Composition Table G ◦ O

So we see the notorious teridentity relation, which I left equivocally denoted by the same symbol as the identity relation \mathit{1}, is already implicit in Peirce’s discussion at this point.

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 10 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 10.7

Posted on April 18, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 10.7

Here is what I get when I analyze Peirce’s “giver of a horse to a lover of a woman” example along the same lines as the dyadic compositions.

We may begin with the mark-up shown in Figure 19.

Giver of a Horse to a Lover of a Woman

\text{Figure 19. Giver of a Horse to a Lover of a Woman}

If we analyze this in accord with the spreadsheet model of relational composition then the core of it is a particular way of composing a triadic giving relation G \subseteq T \times U \times V with a dyadic loving relation L \subseteq U \times W so as to obtain a specialized type of triadic relation (G \circ L) \subseteq T \times V \times W.  The applicable constraints on tuples are shown in Table 20.

\text{Table 20. Relational Composition}~ G \circ L

Relational Composition G ◦ L

The hypergraph picture of the abstract composition is given in Figure 21.

Anything that is a Giver of Anything to a Lover of Anything

\text{Figure 21. Anything that is a Giver of Anything to a Lover of Anything}

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 11 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 10.6

Posted on April 16, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 10.6

As Peirce observes, it is not possible to work with relations in general without eventually abandoning all the more usual algebraic principles, in due time the associative law and even the distributive law, just as we already gave up the commutative law.  It cannot be helped, as we cannot reflect on a law except from a perspective outside it, in any case, virtually so.

This could be done in the framework of the combinator calculus, and there are places where Peirce verges on systems of a comparable character, but here we are making a deliberate effort to stay within the syntactic neighborhood of Peirce’s 1870 Logic of Relatives.  Not too coincidentally, it is for the sake of making smoother transitions between narrower and wider realms of algebraic law that we have been developing the paradigm of Figures and Tables indicated above.

In the next several episodes, then, I’ll examine the cases Peirce uses to illustrate the next level of complexity in the multiplication of relative terms, as shown in the Figures below.

Giver of a Horse to a Lover of a Woman

\text{Figure 16. Giver of a Horse to a Lover of a Woman}

Giver of a Horse to an Owner of It

\text{Figure 17. Giver of a Horse to an Owner of It}

Lover that is a Servant of a Woman

\text{Figure 18. Lover that is a Servant of a Woman}

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 11 Comments

Peirce’s 1870 “Logic of Relatives” • Comment 10.5

Posted on April 6, 2014 by Jon Awbrey

Peirce’s 1870 “Logic of Relatives” • Comment 10.5

We have sufficiently covered the application of the comma functor 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 commafications of dyadic relative terms and the corresponding diagonal extensions to triadic relations.

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 us 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:

Display 1

And next we derive the following results:

Display 2

Now what are we to make of that?

If we operate in accordance with Peirce’s example of \mathfrak{g}\mathit{o}\mathrm{h} as the “giver of a horse to an owner of that horse” then we may assume the associative and distributive laws remain in force, allowing us to derive the following equation.

Display 3

Evidently what Peirce means by the associative principle, as it applies to this type of product, is that a product of elementary relatives having the form (\mathrm{R\!:\!S\!:\!T})(\mathrm{S\!:\!T})(\mathrm{T}) is equal to \mathrm{R} but that no other form of product yields a non-null result.  Scanning the implied terms of the triple product tells us that only the case (\mathrm{J\!:\!J\!:\!D})(\mathrm{J\!:\!D})(\mathrm{D}) = \mathrm{J} is non‑null.

It follows that:

Display 4

And so what Peirce says makes sense in this case.

Resources

cc: Cybernetics • Ontolog Forum • Structural Modeling • Systems Science
cc: FB | Peirce Matters • Laws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

Posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization | Tagged , , , , , , | 10 Comments