Theme One • A Program Of Inquiry : 13 http://inquiryintoinquiry.com/2018/04/16/theme-one-%e2%80%a2-a-program-of-inquiry-13/
Peircers, The abstract character of the cactus language relative to its logical interpretations makes it possible to give abstract rules of equivalence for transforming one cactus into another that partition the space of cacti into formal equivalence classes. These transformation rules and the resulting equivalence classes are “purely formal” in the sense of being indifferent to the logical interpretation, entitative or existential, one happens to choose. Two definitions are useful here: • A “reduction” is an equivalence transformation that applies in the direction of decreasing graphical complexity. • A “basic reduction” is a reduction that applies to a basic connective, either a node connective or a lobe connective. The two kinds of basic reductions are described as follows: • A “node reduction” is permitted if and only if every component cactus joined to a node itself reduces to a node. [see figure, attached] • A “lobe reduction” is permitted if and only if exactly one component cactus listed in a lobe reduces to an edge. [see figure, attached] That is roughly the gist of the rules. More formal definitions can wait for the day when we have to explain all this to a computer. Resources ========= • Theme One Program • Documentation http://intersci.ss.uci.edu/wiki/index.php/Theme_One_Program • Theme One Program • Exposition http://intersci.ss.uci.edu/wiki/index.php/Theme_One_Program_%E2%80%A2_Exposition • Theme One Program • Expository Note 14 http://intersci.ss.uci.edu/wiki/index.php/Theme_One_Program_%E2%80%A2_Exposition#Expository_Note_14 • Theme One Program • User Guide https://www.academia.edu/5211369/Theme_One_Program_User_Guide -- inquiry into inquiry: https://inquiryintoinquiry.com/ academia: https://independent.academia.edu/JonAwbrey oeiswiki: https://www.oeis.org/wiki/User:Jon_Awbrey isw: http://intersci.ss.uci.edu/wiki/index.php/JLA 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 peirce-L@list.iupui.edu . To UNSUBSCRIBE, send a message not to PEIRCE-L but to l...@list.iupui.edu with the line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .
