Date: Dec 2, 2012 12:25 PM
Author: Zaljohar@gmail.com
Subject: Re: What are sets? again

On Dec 2, 10:44 am, William Elliot <ma...@panix.com> wrote:
> On Sat, 1 Dec 2012, Zuhair wrote:
> > On Dec 1, 1:41 pm, William Elliot <ma...@panix.com> wrote:
> > > On Fri, 30 Nov 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:

http://plato.stanford.edu/entries/mereology/

The relation "is part of" is well understood philosophically speaking,
it has natural examples.
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.

Zuhair