To get a better sense of why the above formulas mean what they do, and to prepare the ground for understanding more complex relational expressions, it will help to assemble the following materials and definitions:
is a set singled out in a particular discussion as the universe of discourse.
is the monadic relation, or set, whose elements fall under the absolute term
The elements of
are referred to as the denotation or the extension of the term
is the dyadic relation associated with the relative term
is the dyadic relation associated with the relative term
is the 1-dimensional matrix representation of the set
and the term
is the 2-dimensional matrix representation of the relation
and the relative term
is the 2-dimensional matrix representation of the relation
and the relative term
Recalling a few definitions, the local flags of the relation are given as follows:
The applications of the relation are defined as follows:
Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Overview | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Comment 1 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry