more from this thinker     |     more from this text


Single Idea 19238

[filed under theme 5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic ]

Full Idea

In the place of the class ...the logic of relatives considers the system, which is composed of objects brought together by any kind of relations whatsoever.

Gist of Idea

The logic of relatives relies on objects built of any relations (rather than on classes)

Source

Charles Sanders Peirce (Reasoning and the Logic of Things [1898], III)

Book Ref

Peirce,Charles Sanders: 'Reasoning and the Logic of Things', ed/tr. Ketner,K.L. [Harvard 1992], p.156


A Reaction

Peirce's logic of relations might support the purely structural view of reality defended by Ladyman and Ross. Modern logic standardly expresses its semantics in terms of set theory. Peirce pioneered relations in logic.

Related Idea

Idea 14931 That there are existent structures not made of entities is no stranger than the theory of universals [Ladyman/Ross]


The 11 ideas with the same theme [role of terms which connect objects into relationships]:

De Morgan found inferences involving relations, which eluded Aristotle's syllogistic [De Morgan, by Hart,WD]
De Morgan started the study of relations and their properties [De Morgan, by Walicki]
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]