Icon Index Symbol • 7

Questions Concerning Certain Faculties Claimed For Signs

Re: Peirce List (1) (2) (3)Helmut Raulien

Looking back over many previous discussions, I think one of the main things keeping people from being on the same page, or even being able to understand what others write on their individual pages, is the question of what makes a relation.

There’s a big difference between a single ordered tuple, say, (a_1, a_2, \ldots, a_k), and a whole set of ordered tuples that it takes to make up a k-place relation.  The language we use to get a handle on the structure of relations goes like this:

Say the variable x_1 ranges over the set X_1,
and the variable x_2 ranges over the set X_2,
and the variable x_k ranges over the set X_k.

Then the set of all possible k-tuples (x_1, x_2, \ldots, x_k) ranges over a set notated as X_1 \times X_2 \times \ldots \times X_k and called the “cartesian product” of the “domains” X_1 to X_k.

There are two different ways in common use of defining a k-place relation.

  1. Some define a relation L on the domains X_1 to X_k as a subset of the cartesian product X_1 \times \ldots \times X_k, in symbols, L \subseteq X_1 \times \ldots \times X_k.
  2. Others like to make the domains of the relation an explicit part of the definition, saying that a relation L is a list of domains plus a subset of their cartesian product.

Sounds like a mess but it’s usually pretty easy to translate between the two conventions, so long as one watches out for the difference.

By way of a geometric image, the cartesian product X_1 \times \ldots \times X_k may be viewed as a space in which many different relations reside, each one cutting a different figure in that space.

To be continued …


cc: Peirce List (1) (2) (3)

This entry was posted in Abduction, Algorithms, Animata, Artificial Intelligence, Automated Research Tools, C.S. Peirce, Cognition, Computation, Data Structures, Deduction, Icon Index Symbol, Induction, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Interpretive Frameworks, Knowledge Representation, Logic, Logic of Relatives, Logic of Science, Logical Graphs, Objective Frameworks, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

6 Responses to Icon Index Symbol • 7

  1. Pingback: Icon Index Symbol • 8 | Inquiry Into Inquiry

  2. Pingback: Survey of Pragmatic Semiotic Information • 4 | Inquiry Into Inquiry

  3. Pingback: Survey of Semiotics, Semiosis, Sign Relations • 1 | Inquiry Into Inquiry

  4. Pingback: Survey of Pragmatic Semiotic Information • 5 | Inquiry Into Inquiry

  5. Pingback: Survey of Semiotics, Semiosis, Sign Relations • 2 | Inquiry Into Inquiry

  6. Pingback: Survey of Semiotics, Semiosis, Sign Relations • 3 | 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.