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

Peirce’s 1870 “Logic of Relatives”Comment 11.18

An order-preserving map is a special case of a structure-preserving map and the idea of preserving structure, as used in mathematics, means preserving some but not necessarily all the structure of the source domain in the transition to the target domain.  In that vein, we may speak of structure preservation in measure, the suggestion being that a property able to be qualified in manner is potentially able to be quantified in degree, admitting answers to questions like, “How structure-preserving is it?”

Let’s see how this applies to Peirce’s “number of” function v : S \to \mathbb{R}.  Let ``-\!\!\!<\!" denote the implication relation on logical terms, let ``\!\le\!" denote the less than or equal to relation on real numbers, and let x, y be any pair of absolute terms in the syntactic domain S.  Then we observe the following relationships.

\begin{array}{lll}  x ~-\!\!\!< y & \Rightarrow & v(x) \le v(y)  \end{array}

Equivalently:

\begin{array}{lll}  x ~-\!\!\!< y & \Rightarrow & [x] \le [y]  \end{array}

Nowhere near the number of logical distinctions on the left sides of the implication arrows are typically preserved as one passes to the linear orderings of real numbers on their right sides but that is not required in order to call the map v : S \to \mathbb{R} order-preserving, or what is known as an order morphism.

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.18

  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.