• litewave
    892
    I don't know what pure set theory is.Moliere

    A set is pure if all of its members are sets, all members of its members are sets, and so on. For example, the set containing only the empty set is a nonempty pure set. In modern set theory, it is common to restrict attention to the von Neumann universe of pure sets, and many systems of axiomatic set theory are designed to axiomatize the pure sets only. There are many technical advantages to this restriction, and little generality is lost, because essentially all mathematical concepts can be modeled by pure sets.

    https://en.m.wikipedia.org/wiki/Set_theory#Ontology
  • bongo fury
    1.8k
    Alas, I have broken the vows in the course of this thread.litewave
    :rofl:

    Although it was not really nominalism about properties; I still regarded them as real separate objects, I just wanted to identify them with sets.litewave

    Right, but, identify them with sets in the way that model theory maps predicates to sets? (Sets defined on elements in a domain.)

    Then you can be at least extensionalist about properties just by replacing them with predicates? Or with the corresponding sets if you prefer, yes!

    Hyper-extensionalism is a further economy:

    The nominalist cancels out the property and treats the predicate as bearing a one-many relation directly to the several things it applies to or denotes.Goodman, p49

    And in this case cancelling out the property is indeed a matter of cancelling out the set. And satisfying @Banno's thirst for a restriction to individuals. See Goodman's "calculus of individuals". (Mereology as @Moliere alluded.)
  • litewave
    892
    If we listen to Frank, then we have a, and we have b, of course; two things. But we also have the set {a,b}. So there are three things: a, b and {a,b}. But then we also have {a,b,{a,b}} - so there are four things in our domain - a, b, {a,b}, and {a,b,{ab}} - and off we go. I hope folk see the problem inherent in counting a set as a different thing to it's elements.Banno

    Why would there be a problem in counting a set as a different thing to its elements?
  • Moliere
    6.1k


    Heh.

    Got it.

    That's the next logic textbook cuz of you :D
  • Banno
    28.5k
    There’s no formal problem in set theory with counting sets as different from their elements. The “problem” arises only if one has an intuition that collections shouldn’t add to ontology—that a set should “just be” its members. In that case, the proliferation looks like an unnecessary or suspicious multiplication of entities.
  • Banno
    28.5k
    That's the next logic textbook cuz of you :DMoliere

    Sorry.
  • Moliere
    6.1k
    While I understand the apology I'm a sucker for pain.
  • Moliere
    6.1k
    At least, when it comes to Truth and Logic.
  • Banno
    28.5k
    One of the problems here was a classic for Tones - the move from formal exposition to philosophical exposition. The OP makes that move, by equating the formality of set theory with the informality of properties. So we are a bit stuck with it.
  • litewave
    892
    Right, but, identify them with sets in the way that model theory maps predicates to sets?bongo fury

    I wanted to say that the set is the common property of its elements.
  • bongo fury
    1.8k


    Yes, and so does a model theorist? (And earlier theorists of the semantics of first order logic too.) I thought this was what @Banno was pointing out to you 4 years ago? I may have misunderstood.
  • litewave
    892
    There’s no formal problem in set theory with counting sets as different from their elements. The “problem” arises only if one has an intuition that collections shouldn’t add to ontology—that a set should “just be” its members. In that case, the proliferation looks like an unnecessary or suspicious multiplication of entities.Banno

    But in set theory, sets do add to ontology. And in pure set theory all elements of a set are sets too.
  • bongo fury
    1.8k
    But in set theory, sets do add to ontology.litewave

    That's why nominalists (e.g. Quine) didn't like taking it for granted in logic.
  • litewave
    892
    Yes, so a model theorist? Ibongo fury

    I have not studied model theory.
  • Banno
    28.5k
    I wanted to say that the set is the common property of its elements.litewave

    Thanks for the clarity.

    To my eye, this reifies the property, making it a thing alongside the elements of the set.

    That is, you now have the set and the property, separately, and are apparently defining the set in terms of the property.

    But of course we could then stipulate a set with no common properties.

    I had taken you as proposing to eliminate properties in favour of sets. I would agree with that. But it seems you have something else in mind.

    And I'm not at all sure what.

    I thought this was what Banno was pointing out to you 4 years ago?bongo fury
    Me, too.

    But in set theory, sets do add to ontology.litewave
    What does this mean?

    Here's one way to look at it. We have the domain <a,b>. The only items in that domain are a and b. Constructing the set {a,b} does not add to the domain. It does not add {a,b} to the domain.

    Are you eliminating properties in favour of sets (which I would support), or making sets into reified metaphysical entities that ground properties?
  • bongo fury
    1.8k
    or making sets into reified metaphysical entitiesBanno

    Well, they are, a bit. :wink:
  • frank
    17.9k
    That's why nominalists (e.g. Quine) didn't like taking it for granted in logic.bongo fury

    Mary Tiles (a philosopher of math) says she can imagine mathematicians ditching set theory someday.
  • litewave
    892
    That is, you now have the set and the property, separately, and are apparently defining the set in terms of the property.Banno

    Yes, because my attempt to treat the set and the property as one and the same object seems to have failed.
  • litewave
    892
    But in set theory, sets do add to ontology.
    — litewave
    What does this mean?
    Banno

    That sets are objects in the ontology of set theory.
  • Banno
    28.5k
    Well, they are, a bit. :wink:bongo fury

    :lol:

    Which is why these threads are neverending.
  • Banno
    28.5k
    Mary Tiles (a philosopher of math) says she can imagine mathematicians ditching set theory someday.frank

    And I hope has the sense not to ditch it yet?
  • Moliere
    6.1k
    :cheer:

    That you're willing to say as much is a credit to you.
  • frank
    17.9k
    And I hope has the sense not to ditch it yet?Banno

    Why do you say that?
  • Banno
    28.5k
    Yes, because my attempt to treat the set and the property as one and the same object seems to have failed.litewave

    But I hope you see that your intuition - that having the property of being red and being a member of the set of red things say much the same thing - remains valid?

    That sets are objects in the ontology of set theory.litewave
    And so long as you do not expect to bump in to them as you walk down the street, that's fine, isn't it? What is needed is to keep track of which domain is which.

    I think the intuition in the OP is quite right, and in a rough line with Quine and indeed pretty much all of more recent logic.

    Cheers. Respect.
  • litewave
    892
    Are you eliminating properties in favour of sets (which I would support), or making sets into reified metaphysical entities that ground properties?Banno

    I have always treated sets as real metaphysical entities. So if properties were sets, then properties would be real too. If properties are not sets, I am not sure if properties are real, but I tend to think they are.
  • Banno
    28.5k
    Odd.

    You think she should throw it out on the basis of of her imaginings?
  • litewave
    892
    But I hope you see that your intuition - that having the property of being red and being a member of the set of red things say much the same thing - remains valid?Banno

    Yes.

    That sets are objects in the ontology of set theory.
    — litewave
    And so long as you do not expect to bump in to them as you walk down the street, that's fine, isn't it?
    Banno

    I interact with collections of objects all the time.
  • Banno
    28.5k
    I have always treated sets as real metaphysical entities. So if properties were sets, then properties would be real too. If properties are not sets, I am not sure if properties are real, but I tend to think they are.litewave

    Do you want me to go on?

    What is a real metaphysical entity as contrasted with a real entity? What does the word "metaphysical" do here?

    What is a real metaphysical entity as contrasted with a metaphysical entity? What does the word "real" do here?

    So what more do we have then "I have always treated sets as entities", which seems quite agreeable.

    Just leave aside the baggage of "real" and "Metaphysical".


    So if properties were sets, then properties would be real too.litewave
    So instead think about these issues in terms of sets, with all the clarity of the formal apparatus that invokes, and just drop the use of "property", or use it as an anachronistic approximation.

    If properties are not sets, I am not sure if properties are real, but I tend to think they are.litewave
    What does it mean to say they are real? What more can we do with real properties that we can't do just with properties? Or much better, with talk of sets or predicates?

    This stuff:

    What's curious here is how "the property of..." serves to confuse things. The very grammar of "the property of..." encourages us to think we're talking about entities when we're really just manipulating linguistic constructions.Banno

    This is the legacy of syllogistic logic. Since it can only deal in terms of "All S are P", "Some S are P", and so on, it obliges the user to think in terms of substances having properties. It squeezes the world in to an ontology of things and properties. Scholastic metaphysics elaborated on this logical limitation by inventing essences, accidents, substance and so on.

    We now have better logical tools for dealing with all of this stuff. The answer on offer to ↪litewave is not to identify properties with sets but to drop talk of properties for talk of sets and predication and extension. Indeed, that is probably the intuition behind the OP.
    a day ago
    Banno
  • Banno
    28.5k
    I interact with collections of objects all the time.litewave
    Sure. Just not in the way you interact with chairs. Different domains.
bold
italic
underline
strike
code
quote
ulist
image
url
mention
reveal
youtube
tweet
Add a Comment

Welcome to The Philosophy Forum!

Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.