structure for 'Theory of Logic'    |     alphabetical list of themes    |     expand these ideas

5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic

[role of terms which connect objects into relationships]

11 ideas
De Morgan started the study of relations and their properties [De Morgan, by Walicki]
De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD]
The logic of relatives relies on objects built of any relations (rather than on classes) [Peirce]
Relations are functions with two arguments [Frege]
In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel]
All relations, apart from ancestrals, can be reduced to simpler logic [Quine]
We can use mereology to simulate quantification over relations [Lewis]
Relations need terms, so they must be second-order entities based on first-order tropes [Campbell,K]
A relation is either a set of sets of sets, or a set of sets [Burgess/Rosen]
The mathematics of relations is entirely covered by ordered pairs [Chihara]
'Before' and 'after' are not two relations, but one relation with two orders [Hossack]