Bifalgorithm post · Brisk · Chapter 1
Can two sets with different meanings still be equal?
Can two sets with different meanings still be equal? (Brisk · Chapter 1) — "Note that two sets with different intensions might nevertheless have the same exten…
Ideas in this flowchart
- Set equality depends on extension, even when intensions differ.
- Intension and extension are distinct aspects of a set.
- An intension is the concept or description used to identify a set.
- An extension is the collection of objects belonging to a set.
- O is the set of people over 25, while R is the set of people who wear wedding rings.
- Within the Davies family as the domain of discourse, O and R have the same extension.
- That common extension consists of Mom and Dad.
- O and R still have different intensions because they describe different concepts.
- In another world, older people might not all wear wedding rings, or some younger people might wear them.
- Two sets are equal if and only if they have the same extension.
- Therefore, writing O = R is legitimate within the given domain.
- Likewise, conceptually different quantities can be equal when both have the value 4.
