Readings On Determination • Discussion 2

Re: Peirce List DiscussionJeffrey Brian Downard

Having been through this same discussion on many previous occasions I will try to sum up the more persistent confusions that never cease to bedevil the subject.  Most of these arise from a failure to observe a number of critical distinctions.

  1. There is above all the distinction between relations and tuples.  When it is necessary to emphasize the distinction I will describe relations as “relations in general” or “relations proper” while referring to tuples as “elementary relations”.
  1. There is the corresponding distinction between sign relations and elementary sign relations or triples of the form (o, s, i).

Relations are, generally speaking, much more complex structures than elementary relations, so classifying relations is a much more complex affair than classifying elementary relations.

The same goes for sign relations and elementary sign relations.  Almost all the literature you see on “classifying sign relations” actually goes no further than the much simpler task of classifying elementary sign relations.  Classifying sign relations, in the proper sense of the word, is a task for the future.

  1. There is the distinction between formal or informational determination and causal or temporal determination.  The latter form of determination is a special case of the former.  A simple example of formal determination is found in such venerable phrases as “two points determine a line”.  Pairs of points do not cause lines or precede them in time.  Formal determination is defined at a higher level of abstraction than cause and time.
  1. There is the distinction between dyadic forms of determination and triadic forms of determination.  Here we run into a verbal problem.  There is something about the word “determination” — possibly the grammatical category of “to determine” as a transitive verb with a lone direct object — that almost inexorably drags the mind down into the ruts of dyadic thinking, so it helps to use the more general and less biased idea of constraint.

    In this more general perspective, the family of concepts including correspondence, determination, law, relation, structure, and so on all fall under the notion of constraint.  Constraint is present in a system to the extent that one set of choices is distinguished by some mark from a larger set of choices.  That mark may distinguish the actual from the possible, the desired from the conceivable, or any number of other divisions depending on the subject in view.

    Thus we have a form of determination wherever we have a form of constraint.  One of the most general ways of expressing a constraint is in terms of the subset relation:

    • A dyadic relation D is defined by the constraint D \subseteq X \times Y, where X and Y are the domains of the relation D.
    • A triadic relation T is defined by the constraint T \subseteq X \times Y \times Z, where X, Y, Z are the domains of the relation T.
    • A sign relation L is defined by the constraint L \subseteq O \times S \times I, where O, S, I are the domains of the sign relation L.


This entry was posted in Comprehension, Computer Science, Constraint, Definition, Determination, Differential Calculus, Differential Logic, Extension, Form, Information, Inquiry, Inquiry Driven Systems, Leibniz, Logic, Logic of Relatives, Mathematics, Peirce, Prigogine, Relation Theory, Relational Programming, Semiotics, Sign Relations, Structure, Triadic Relations and tagged , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

One Response to Readings On Determination • Discussion 2

  1. Pingback: Definition and Determination : 14 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your 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 )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s