Relations & Their Relatives : 2

It may help to clarify the relationship between logical relatives and mathematical relations.  The word relative as used in logic is short for relative term — as such it refers to an article of language that is used to denote a formal object.  So what kind of object is that?  The way things work in mathematics, we are free to make up a formal object that corresponds directly to the term, so long as we can form a consistent theory of it, but it’s probably easier and more practical in the long run to relate the relative term to the kinds of relations that are ordinarily treated in mathematics and universally applied in relational databases.

In these contexts a relation is just a set of ordered tuples and — if you are a fan of strong typing like I am — such a set is always set in a specific setting, namely, it’s a subset of a specified Cartesian product.

Peirce wrote k-tuples (x_1, x_2, \ldots, x_{k-1}, x_k) in the form x_1 : x_2 : \ldots : x_{k-1} : x_k and he referred to them as elementary k-adic relatives.  He expressed a set of k-tuples as a “logical aggregate” or “logical sum”, what we would call a logical disjunction of elementary relatives, and he frequently regarded them as being arranged in the form of k-dimensional arrays.

Time for some concrete examples, which I will give in the next post.

Resources

Advertisements
This entry was posted in C.S. Peirce, Denotation, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Sign Relations, Triadic Relations and tagged , , , , , , , , , . Bookmark the permalink.

3 Responses to Relations & Their Relatives : 2

  1. Pingback: Survey of Relation Theory • 1 | Inquiry Into Inquiry

  2. Pingback: Survey of Relation Theory • 2 | Inquiry Into Inquiry

  3. Pingback: Survey of Relation Theory • 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 )

Google+ photo

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

Connecting to %s