Post : Peirce's 1870 “Logic Of Relatives” • Comment 11.18
http://inquiryintoinquiry.com/2014/05/28/peirces-1870-logic-of-relatives-%e2%80%a2-comment-11-18/
Posted : May 28, 2014 at 3:48 pm
Author : Jon Awbrey
Peircers,
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''
of 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 the “number of” function v : S → R. Let “─<” denote the implication
relation on logical terms, let “≤” 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:
• x ─< y ⇒ v(x) ≤ v(y)
Equivalently:
• x ─< y ⇒ [x] ≤ [y]
Nowhere near the number of logical distinctions that exist on the left hand side of the implication
arrows can be preserved as one passes to the linear ordering of real numbers on the right hand side
of the implication arrows, but that is not required in order to call the map v : S → R
''order-preserving'', or what is known as an ''order morphism''.
Regards,
Jon
--
academia: http://independent.academia.edu/JonAwbrey
my word press blog: http://inquiryintoinquiry.com/
inquiry list: http://stderr.org/pipermail/inquiry/
isw: http://intersci.ss.uci.edu/wiki/index.php/JLA
oeiswiki: http://www.oeis.org/wiki/User:Jon_Awbrey
facebook page: https://www.facebook.com/JonnyCache
-----------------------------
PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L
to this message. PEIRCE-L posts should go to [email protected] . To
UNSUBSCRIBE, send a message not to PEIRCE-L but to [email protected] with the
line "UNSubscribe PEIRCE-L" in the BODY of the message. More at
http://www.cspeirce.com/peirce-l/peirce-l.htm .
