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".
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.