Author: jmorliaguet Date: Thu Jun 15 15:49:00 2006 New Revision: 3417 Added: cpsskins/branches/paris-sprint-2006/relations/peirce-relations.txt (contents, props changed) Removed: cpsskins/branches/paris-sprint-2006/doc/peirce-relations.txt

Log: - moved text to cpsskins.relations Added: cpsskins/branches/paris-sprint-2006/relations/peirce-relations.txt ============================================================================== --- (empty file) +++ cpsskins/branches/paris-sprint-2006/relations/peirce-relations.txt Thu Jun 15 15:49:00 2006 @@ -0,0 +1,143 @@ + +Extending SchoolBell relationship library +========================================= + +The SchoolBell relationship library implements only one type of relation +(i.e. dyadic relations). A "link" defines only "one half" of a relationship. + + "Implementation of relationships. + Relationships are represented as collections of links. A link defines one + half of a relationship" (relationship.relationships.py) + + +There are in Peirce's logic of relations used in semiotic, knowledge +representation (...) 3 categories of relations, each category has subdivisions: + +These are: + +1. monadic relations + + +2. dyadic relations + + 2.1 degenerate + + 2.2 genuine (authentic) + + +3. tradic relations + + 3.1 degenerate in the second degree (monadically degenerate) + + 3.2 degenerate in the first degree (dyadically degenerate) + + 3.3 genuine (authentic) + + +Summary (quoted from [1]) +------- + + For those who are familiar with the phenomenology of Charles Sanders Peirce + (which we call "phaneroscopy") these terms -"concepts," "kinds of things," + "singular beings" and "qualities" immediately bring to mind the three + universes which are distinguished by him as three "modes of being" of which + the subjects are respectively: + + Ideas or Possibles (potential qualities such as redness), which can be + described using only monadic predicates ( _ is red, _ is a cat). + + Existents and the Facts concerning these existents, which can be described + using only monadic and dyadic predicates (for instance, the fact: + "the cat eats the mouse" is described by the combination of the monadic + predicates "_ is a cat" and "_ is a mouse" and of the dyadic predicate + "_ eats _"). + + Necessitants (laws, habits and concepts), defined using only monadic, + dyadic and triadic predicates (for instance, the concept of "sale" + instanciated in the fact John sells a book to Mary can be described by + the predicates "_ is a seller," "_ is a book," "_ is a buyer," + "_ makes a transaction with _," "_ sells _ to _"). + + +Monadic relations: +------------------ + +"a monad will mean an element which, except that it is thought +as applying to some subject, has no other characters than those which +are complete in it without any reference to anything else" +(Collected Papers 1.292) + +Example: +........ + +- the CSS property: { color: red; } + +Dyadic relations: +----------------- + +"A genuine relation will consist of two realities, which are in relation either +by existential or conceptual relations. A real relation subsists in virtue of +a fact which would be totally impossible were either of the related objects +destroyed; while a relation of reason subsists in virtue of two facts, one +only of which would disappear on the annihilation of either of the relates" +(Collected Papers 1.365) + + +Examples: +......... + +- authentic dyadic relation (genuine, existential relation) + + Portlet A -- is located in -- Folder A + + +- degenerate dyadic relation (relation of reason, conceptual relation) + + Box A -- has the same style as -- Box B + + +Triadic relations: +------------------ + +"Every triad is either monadically degenerate, dyadically degenerate, or +genuine." + +"A monadically degenerate triad is one which results from the essence of +three monads, its subjects." + +"A dyadically degenerate triad is one which results from dyads." + +"A genuine triad is one which cannot be resolved in any such way." + +ref. Charles Sanders Peirce The Collected Papers: +Principles of Philosophy III. Phenomenology 4. The Logic of Mathematics. +Triads (http://www.textlog.de/4279.html) + +Examples: +......... + +TODO + +Reduction thesis: +----------------- + +- n-adic relations (n > 3) can be reduced as a combination of triadic relations. + +- triadic relation cannot be built with any combinaison of dyadic relations + only + + +References: +----------- + +[1] Foliated Semantic Networks: concept, facts, qualities, R. Marty + http://www.univ-perp.fr/see/rch/lts/marty/semantic-ns/ + +[2] The Logic of Mathematics, C.S. Peirce + http://www.textlog.de/4267.html + +[3] The categories in detail, C.S. Peirce + http://www.textlog.de/4269.html + +[4] A Guess at the Riddle, C.S. Peirce + http://www.textlog.de/4268.html -- http://lists.nuxeo.com/mailman/listinfo/z3lab-checkins