Concept
Can two sets with different meanings still be equal?
Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk / Chapter 1
"Note that two sets with different intensions might nevertheless have the same extension. Suppose O is “the set of all people over 25 years old” and R is “the set of all people who wear wedding rings.” If our Ω is the Davies family, then O and R have the same extension, namely, Mom and Dad. They have different intensions, though: conceptually speaking, they’re describing different things. One could imagine a world in which older people don’t all wear wedding rings, or one in which some younger people do. Within the domain of discourse of the Davies family, however, the extensions happen to coincide. We say two sets are equal if they have the same extension. So it is totally legitimate to write O = R since, by the definition of set equality, they are in fact equal. This is no weirder than saying “the number of years the Civil War lasted = Brett Favre’s jersey number when he played for the Packers.” The things on the left and right side of that equals sign refer conceptually to two very different things, but that doesn’t stop them from both having the value 4, and thus being equal."
Related Ideas
- Can a set be extensional or intensional?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Can an infinite set be defined extensionally?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- Are sets with Smith and Will in different orders the same?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How can a set be an element of another set without being its subset?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How are sets written, and what are empty and domain sets?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How do sets differ from arrays and linked lists in order and duplication?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- How can a relation be defined extensionally or intensionally?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1
- What is a set, and how does it identify its members?Stephen Davies, Ph.D. Version 2.2.2 Through Discrete Mathematics A Cool Brisk Walk · Chapter 1