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

Posted on May 4, 2014 by Jon Awbrey

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

Let’s continue working our way through the above definitions, constructing appropriate examples as we go.

Relation E_1 \subseteq X \times Y exemplifies the quality of totality at X.

Dyadic Relation E₁
\text{Dyadic Relation}~ E_1

Relation E_2 \subseteq X \times Y exemplifies the quality of totality at Y.

Dyadic Relation E₂
\text{Dyadic Relation}~ E_2

Relation E_3 \subseteq X \times Y exemplifies the quality of tubularity at X.

Dyadic Relation E₃
\text{Dyadic Relation}~ E_3

Relation E_4 \subseteq X \times Y exemplifies the quality of tubularity at Y.

Dyadic Relation E₄
\text{Dyadic Relation}~ E_4

So E_3 is a pre-function e_3 : X \rightharpoonup Y and E_4 is a pre-function e_4 : X \leftharpoonup Y.

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)

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