For example:

"Cars have wheels."

If we take "have wheels" as a property of a set A, would cars as a category be an element of set A, or only a subset of A?

  • Are you identifying categories with their (current) extension? (Most) cars are instances of objects with wheels, so the category of such cars is its subcategory. It is, in principle, different from sets, subsets and elements. – Conifold Sep 22 '19 at 21:01
  • @Conifold hi, I was saying "category" to mean "car" as a concept instead of individual cars. If all individual cars are members of a set via some property that all cars have, where does it put "car," the category? – csp2018 Sep 22 '19 at 21:49
  • 2
    Wheeled car, the category, is a subcategory of object-with-wheels, the category. Specific car, the concept of it, is an instance of wheeled car, the category. – Conifold Sep 22 '19 at 21:59
  • @Conifold I see. But does that translate in terms of sets? I'm using this definition of property - a subset in which a property holds. en.wikipedia.org/wiki/Property_(mathematics) – csp2018 Sep 22 '19 at 22:05
  • Sure. Individual wheeled car is an element of the set of wheeled cars, which is a subset of the set of wheeled objects. – Conifold Sep 22 '19 at 22:08

Whether or not a subset is considered an element of the superset is a metaphysical presupposition in your set theory. In naive set theory, the relationship between sets as elements is not clear, because often the context treats elements and sets as objects and containers through conceptual metaphor. As such, certain implications arise from having containers in containers.

With the advent of Russell-Zermelo Paradox (RZP), the question of whether sets in sets leads to contradiction (it does) comes to the forefront specifically regarding sets being members of themselves. This of course breaks with our intuition as containers cannot contain themselves. To wit:

Some sets, such as the set of all teacups, are not members of themselves. Other sets, such as the set of all non-teacups, are members of themselves. Call the set of all sets that are not members of themselves “R.” If R is a member of itself, then by definition it must not be a member of itself. Similarly, if R is not a member of itself, then by definition it must be a member of itself.

Should the set of car (4-wheeled), which has the same criteria as the superset, be included in the set as an element? That depends on whether or not you want to allow or disallow the operation. Type theory (which is essentially a restriction on set theory regarding operations and relations) and category theory (which is essentially an abstraction of set theory) have differing approaches to having collections as elements. In response to RZP, besides type theory, which was invented to avoid the paradox, so too came axiomatic set theories, e.g. ZFC, which still allows sets to contain sets, albeit with restrictions to avoid the paradox.

To answer your question, can given your definitions the set "cars" belong to the set "4-wheeled vehicles". That depends on how you define "4-wheeled vehicles". Whether by intensional or extensional definition, you can include or exclude it as you see fit; to a large extent it depends on the purpose of your use of set theory. Sets as elements of sets is the norm with sets such as the power set and heredity sets serving examples of sets within sets.

EDIT It should be noted that the question you are asking is one that occurs within the philosophy of mathematics. What is the nature of a set? Of elements? Of membership? Although not explicitly stated, set theory is not a monolithic theory, but rather a collection of theories based upon different ontologies. The comparison of those logics and theories is known as metalogic and metamathematics.

| improve this answer | |

We have the concept "car" : an abstract (an universal), and we have individual cars : the objects (the particulars).

Individual cars fall under the general car concept.

If we assume the existence of the set of all cars (an abstract : the extension of the concept), an individual car is an element of the set of all cars.

The concept car is subsumed into the more general concept four-wheeled : thus, the set of all cars is a subset of the set of all four-wheeled objects.

| improve this answer | |

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.