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

Peirce’s 1870 “Logic of Relatives”Comment 11.11

The preceding exercises were intended to beef-up our “functional literacy” skills to the point where we can read our functional alphabets backwards and forwards and recognize the local functionalities immanent in relative terms no matter where they reside among the domains of relations.  These skills will serve us in good stead as we work to build a catwalk from Peirce’s platform of 1870 to contemporary scenes on the logic of relatives, and back again.

By way of extending a few very tentative planks, let us experiment with the following definitions.

  • A relative term ``p" and the corresponding relation P \subseteq X \times Y are both called functional on rèlates if and only if P is a function at X.  We write this in symbols as P : X \to Y.
  • A relative term ``p" and the corresponding relation P \subseteq X \times Y are both called functional on correlates if and only if P is a function at Y.  We write this in symbols as P : X \gets Y.

When a relation happens to be a function, it may be excusable to use the same name for it in both applications, writing out explicit type markers like P : X \times Y,   P : X \to Y, and P : X \gets Y, as the case may be, when and if it serves to clarify matters.

From this current, perhaps transient, perspective, it appears our next task is to examine how the known properties of relations are modified when aspects of functionality are spied in the mix.  Let us then return to our various ways of looking at relational composition and see what changes and what stays the same when the relations in question happen to be functions of various kinds at some of their domains.  Here is one generic picture of relational composition, cast in a style that hews pretty close to the line of potentials inherent in Peirce’s syntax of this period.

Universal Bracket P ◦ Q
\text{Figure 44. Anything that is a}~ p ~\text{of a}~ q ~\text{of Anything}

From this we extract the hypergraph picture of relational composition.

Relational Composition Figure P ◦ Q
\text{Figure 45. Relational Composition}~ P \circ Q

All the information contained in these Figures can be expressed in the form of a constraint satisfaction table, or spreadsheet picture of relational composition.

\text{Table 46. Relational Composition}~ P \circ Q

Relational Composition Table P ◦ Q

The following plan of study then presents itself, to see what easy mileage we can get in our exploration of functions by adopting the above templates as the primers of a paradigm.

Resources

cc: CyberneticsOntolog ForumStructural ModelingSystems Science
cc: FB | Peirce MattersLaws of Form • Peirce List (1) (2) (3) (4) (5) (6) (7)

This entry was posted in C.S. Peirce, Logic, Logic of Relatives, Logical Graphs, Mathematics, Relation Theory, Visualization and tagged , , , , , , . Bookmark the permalink.

5 Responses to Peirce’s 1870 “Logic of Relatives” • Comment 11.11

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

  2. Pingback: Peirce’s 1870 “Logic Of Relatives” • Overview | Inquiry Into Inquiry

  3. Pingback: Peirce’s 1870 “Logic Of Relatives” • Comment 1 | Inquiry Into Inquiry

  4. Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry

  5. Pingback: Survey of Relation Theory • 5 | Inquiry Into Inquiry

Leave a Reply

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

WordPress.com Logo

You are commenting using your WordPress.com 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 )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.