(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (194)
Orphanage
Unclass'd
Unproven (498)
Corrections (27)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

triadic relation

(Topic)

In logic, mathematics, and semiotics, a triadic relation is an important special case of a polyadic or finitary relation, one in which the number of places in the relation is three. In other language that is often used, a triadic relation is called a ternary relation. One may also see the adjectives 3-adic, 3-ary, 3-dimensional, or 3-place being used to describe these relations.

Mathematics is positively rife with examples of 3-adic relations, and the concept of a sign relation, a special case of a 3-adic relation, is fundamental to the field of semiotics, or the theory of signs. Therefore it will be useful to consider a few concrete examples from each of these two realms.

Examples from mathematics

For the sake of topics to be taken up later it is useful to examine a pair of 3-adic relations in tandem, and , that can be described in the following manner.

The first order of business is to define the space in which the relations and take up residence. This space is constructed as a 3-fold cartesian power in the following way.

The boolean domain is the set $\mathbb{B} = \{ 0, 1 \}.$
The plus sign “” denotes addition modulo 2.
The third cartesian power of $\mathbb{B}$ is defined as follows:

$\displaystyle \mathbb{B}^3 = \mathbb{B} \times \mathbb{B} \times \mathbb{B} = \{ (x_1, x_2, x_3) : x_j \in \mathbb{B}\$ for $\displaystyle \ j = 1, 2, 3 \}.$

In what follows, the space $X \times Y \times Z$ is isomorphic to $\mathbb{B} \times \mathbb{B} \times \mathbb{B} = \mathbb{B}^3.$

The relation is defined as follows:

$\displaystyle L_0 = \{ (x, y, z) \in \mathbb{B}^3 : x + y + z = 0 \}.$

The relation is the set of four triples enumerated here:

$\displaystyle L_0 = \{ (0, 0, 0), (0, 1, 1), (1, 0, 1), (1, 1, 0) \}.$

The relation is defined as follows:

$\displaystyle L_1 = \{ (x, y, z) \in \mathbb{B}^3 : x + y + z = 1 \}.$

The relation is the set of four triples enumerated here:

$\displaystyle L_1 = \{ (0, 0, 1), (0, 1, 0), (1, 0, 0), (1, 1, 1) \}.$

The triples that make up the relations and are conveniently arranged in the form of relational data tables, as follows:

$L_0 = \{ (x, y, z) \in \mathbb{B}^3 : x + y + z = 0 \}$

0 0 0

0 1 1

1 0 1

1 1 0

$L_1 = \{ (x, y, z) \in \mathbb{B}^3 : x + y + z = 1 \}$

0 0 1

0 1 0

1 0 0

1 1 1

Examples from semiotics

The study of signs -- the full variety of significant forms of expression -- in relation to the things that signs are significant of, and in relation to the beings that signs are significant to, is known as semiotics or the theory of signs. As just described, semiotics treats of a 3-place relation among signs, their objects, and their interpreters.

The term semiosis refers to any activity or process that involves signs. Studies of semiosis that deal with its more abstract form are not concerned with every concrete detail of the entities that act as signs, as objects, or as agents of semiosis, but only with the most salient patterns of relationship among these three roles. In particular, the formal theory of signs does not consider all of the properties of the interpretive agent but only the more striking features of the impressions that signs make on a representative interpreter. In its formal aspects that impact or influence may be treated as just another sign, called the interpretant sign, or the interpretant for short. A 3-adic relation among objects, signs, and interpretants is called a sign relation.

For example, consider the aspects of sign use that concern two people, say, $\mathrm{Ann}$ and $\mathrm{Bob}$ , in using their own proper names, $\mathrm{\lq\lq Ann''}$ and $\mathrm{\lq\lq Bob''}$ , and in using the pronouns, $\mathrm{\lq\lq I''}$ and $\mathrm{\lq\lq you''}$ . For simplicity, these four signs may be abbreviated to form the set $\{ \mathrm{\lq\lq A''}, \mathrm{\lq\lq B''}, \mathrm{\lq\lq i''}, \mathrm{\lq\lq u''} \}$ . The abstract consideration of how $\mathrm{A}$ and $\mathrm{B}$ use this set of signs to refer to themselves and to each other leads to the contemplation of a pair of 3-adic relations, the sign relations $L_{\mathrm{A}}$ and $L_{\mathrm{B}}$ , that reflect the differential use of these signs by $\mathrm{A}$ and $\mathrm{B}$ , respectively.

Each of the sign relations, $L_{\mathrm{A}}$ and $L_{\mathrm{B}}$ , consists of eight triples of the form , where the object belongs to the object domain $O = \{ \mathrm{A}, \mathrm{B} \}$ , where the sign belongs to the sign domain , where the interpretant sign belongs to the interpretant domain , and where it happens in this case that $S = I = \{ \mathrm{\lq\lq A''}, \mathrm{\lq\lq B''}, \mathrm{\lq\lq i''}, \mathrm{\lq\lq u''} \}$ . In general, it is convenient to refer to the union $S \cup I$ as the syntactic domain, but in this case $S = I = S \cup I$ .

The set-up so far can be summarized as follows:

$L_{\mathrm{A}}, L_{\mathrm{B}} \subseteq O \times S \times I.$
$O = \{ \mathrm{A}, \mathrm{B} \}.$
$S = \{ \mathrm{\lq\lq A''}, \mathrm{\lq\lq B''}, \mathrm{\lq\lq i''}, \mathrm{\lq\lq u''} \}.$
$I = \{ \mathrm{\lq\lq A''}, \mathrm{\lq\lq B''}, \mathrm{\lq\lq i''}, \mathrm{\lq\lq u''} \}.$

The relation $L_{\mathrm{A}}$ is the set of eight triples enumerated here:

$\displaystyle \begin{array}{lccccr} \{ & \mathrm{(A,\lq\lq A'',\lq\lq A'')}, & \mathrm{(A... ...'')}, & \mathrm{(B,\lq\lq u'',\lq\lq B'')}, & \mathrm{(B,\lq\lq u'',\lq\lq u'')} & \}. \end{array}$

The triples in $L_{\mathrm{A}}$ represent the way that interpreter $\mathrm{A}$ uses signs. For example, the listing of the triple $\mathrm{(B,\lq\lq u'',\lq\lq B'')}$ in $L_{\mathrm{A}}$ represents the fact that $\mathrm{A}$ uses $\mathrm{\lq\lq B''}$ to mean the same thing that $\mathrm{A}$ uses $\mathrm{\lq\lq u''}$ to mean, namely, $\mathrm{B}$ .

The relation $L_{\mathrm{B}}$ is the set of eight triples enumerated here:

$\displaystyle \begin{array}{lccccr} \{ & \mathrm{(A,\lq\lq A'',\lq\lq A'')}, & \mathrm{(A... ...'')}, & \mathrm{(B,\lq\lq i'',\lq\lq B'')}, & \mathrm{(B,\lq\lq i'',\lq\lq i'')} & \}. \end{array}$

The triples in $L_{\mathrm{B}}$ represent the way that interpreter $\mathrm{B}$ uses signs. For example, the listing of the triple $\mathrm{(B,\lq\lq i'',\lq\lq B'')}$ in $L_{\mathrm{B}}$ represents the fact that $\mathrm{B}$ uses $\mathrm{\lq\lq B''}$ to mean the same thing that $\mathrm{B}$ uses $\mathrm{\lq\lq i''}$ to mean, namely, $\mathrm{B}$ .

The triples that make up the relations $L_{\mathrm{A}}$ and $L_{\mathrm{B}}$ are conveniently arranged in the form of relational data tables, as follows:

$L_{\mathrm{A}}$ = Sign Relation of Interpreter A

Object Sign Interpretant

$\mathrm{A}$ $\mathrm{\lq\lq A''}$ $\mathrm{\lq\lq A''}$

$\mathrm{A}$ $\mathrm{\lq\lq A''}$ $\mathrm{\lq\lq i''}$

$\mathrm{A}$ $\mathrm{\lq\lq i''}$ $\mathrm{\lq\lq A''}$

$\mathrm{A}$ $\mathrm{\lq\lq i''}$ $\mathrm{\lq\lq i''}$

$\mathrm{B}$ $\mathrm{\lq\lq B''}$ $\mathrm{\lq\lq B''}$

$\mathrm{B}$ $\mathrm{\lq\lq B''}$ $\mathrm{\lq\lq u''}$

$\mathrm{B}$ $\mathrm{\lq\lq u''}$ $\mathrm{\lq\lq B''}$

$\mathrm{B}$ $\mathrm{\lq\lq u''}$ $\mathrm{\lq\lq u''}$

$L_{\mathrm{B}}$ = Sign Relation of Interpreter B

Object Sign Interpretant

$\mathrm{A}$ $\mathrm{\lq\lq A''}$ $\mathrm{\lq\lq A''}$

$\mathrm{A}$ $\mathrm{\lq\lq A''}$ $\mathrm{\lq\lq u''}$

$\mathrm{A}$ $\mathrm{\lq\lq u''}$ $\mathrm{\lq\lq A''}$

$\mathrm{A}$ $\mathrm{\lq\lq u''}$ $\mathrm{\lq\lq u''}$

$\mathrm{B}$ $\mathrm{\lq\lq B''}$ $\mathrm{\lq\lq B''}$

$\mathrm{B}$ $\mathrm{\lq\lq B''}$ $\mathrm{\lq\lq i''}$

$\mathrm{B}$ $\mathrm{\lq\lq i''}$ $\mathrm{\lq\lq B''}$

$\mathrm{B}$ $\mathrm{\lq\lq i''}$ $\mathrm{\lq\lq i''}$

"triadic relation" is owned by Jon Awbrey.

(view preamble)

Other names:

ternary relation

Log in to rate this entry.
(view current ratings)

Cross-references: mean, represent, union, reflect, sign relations, interpretants, properties, objects, term, expression, variety, isomorphic, plus sign, domain, power, first order, theory, field, language, places, number, relation, polyadic, logic
There are 6 references to this entry.

This is version 27 of triadic relation, born on 2008-02-11, modified 2008-02-13.
Object id is 10260, canonical name is TriadicRelation.
Accessed 721 times total.

Classification:

AMS MSC:	03B10 (Mathematical logic and foundations :: General logic :: Classical first-order logic)
	03B42 (Mathematical logic and foundations :: General logic :: Logic of knowledge and belief)
	03E20 (Mathematical logic and foundations :: Set theory :: Other classical set theory )
	03G15 (Mathematical logic and foundations :: Algebraic logic :: Cylindric and polyadic algebras; relation algebras)
	94A05 (Information and communication, circuits :: Communication, information :: Communication theory)
	94A15 (Information and communication, circuits :: Communication, information :: Information theory, general)

Pending Errata and Addenda

None.

Discussion

forum policy

No messages.

Interact

post | correct | update request | add example | add (any)