The Math Forum

Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Math Forum » Discussions » sci.math.* » sci.math

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: What are sets? again
Replies: 21   Last Post: Dec 9, 2012 10:12 AM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
William Elliot

Posts: 2,637
Registered: 1/8/12
Re: What are sets? again
Posted: Dec 2, 2012 10:38 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Sun, 2 Dec 2012, Zuhair wrote:
> On Dec 2, 10:44 am, William Elliot <> wrote:
> > On Sat, 1 Dec 2012, Zuhair wrote:

> > > > > The following is an account about what sets are,
> >
> > > > > Language: FOL + P, Rp
> > > > > P stands for "is part of"

> >
> > > > Does P represent "subset of" or "member of"?
> > > Neither.
> >
> > > P represents "is part of"
> > > review mereology to understand that relation informally.

> > What is simple jargon, a brief intuitive description of "is a part of".

> Just read Varzi's article on Mereology:

It's long winded as philosophy usually is.
Basically, "is a part of" is a (partial) order.
"Subset" is the better interpretation that "is member of".

So I'll take it as "subset" unless you give a useful
interpretation within 300 words or less.

> The relation "is part of" is well understood philosophically speaking,
> it has natural examples.

For example?

> I think Varzi's account on it is nice and interesting really. You can
> also read David Lewis account on it. The discipline of Mereology is
> well established.

What's the point of mereology?

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.