more from this thinker | more from this text
Full Idea
While in general a relation is taken to be a set of ordered pairs <u, v> = {{u}, {u, v}}, and hence a set of sets of sets, in special cases a relation can be represented by a set of sets.
Gist of Idea
A relation is either a set of sets of sets, or a set of sets
Source
JP Burgess / G Rosen (A Subject with No Object [1997], II.C.1.a)
Book Ref
Burgess,J/Rosen,G: 'A Subject with No Object' [OUP 1997], p.150
A Reaction
[See book for their examples, which are <, symmetric, and arbitrary] The fact that a relation (or anything else) can be represented in a certain way should never ever be taken to mean that you now know what the thing IS.
13501 | De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD] |
17744 | De Morgan started the study of relations and their properties [De Morgan, by Walicki] |
19238 | The logic of relatives relies on objects built of any relations (rather than on classes) [Peirce] |
8492 | Relations are functions with two arguments [Frege] |
10036 | In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel] |
21698 | All relations, apart from ancestrals, can be reduced to simpler logic [Quine] |
10816 | We can use mereology to simulate quantification over relations [Lewis] |
8525 | Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K] |
9926 | A relation is either a set of sets of sets, or a set of sets [Burgess/Rosen] |
9561 | The mathematics of relations is entirely covered by ordered pairs [Chihara] |
23627 | 'Before' and 'after' are not two relations, but one relation with two orders [Hossack] |