ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Visual Complexity

 To: "John F. Sowa" "[ontolog-forum]" Pat Hayes Thu, 8 Feb 2007 11:59:24 -0600
 ```>Sergei and Bill, > >That is the distinction between set theory and mereology: > > > If sets are there in the world, then no - there's nothing > > abstract going on. I'm real. Chuck is real. And the set > > of me and Chuck is real. > >In mereology, Bill and Chuck are each parts of the collection    (01) "sum" is the correct term I believe. Whether or not collections are sums is a matter of active debate.    (02) >that consists of Bill and Chuck. You can call that pair C, >but C is not a new entity. It is just Bill and Chuck.    (03) It has them as parts, but it's not the same as them. There are (at least) three mereological sums in this story so far.    (04) > >But in set theory, if Bill and Chuck are members of the set S, >then S is a third entity that is different from each of them.    (05) Same in mereology.    (06) >You have three things: Bill, Chuck, and {Bill,Chuck}. You >can also construct a fourth thing, which is the set whose only >member is the set whose members are Bill and Chuck: {{Bill,Chuck}}.    (07) Right, therein lies the difference. Better example is to stick with Bill. Then in mereology that is all we have (until we decide to carve him up) but in set theory we also have {Bill}, {{Bill}}, {{Bill}, Bill}, etc.. ad infinitum.    (08) Pat    (09) -- --------------------------------------------------------------------- IHMC (850)434 8903 or (650)494 3973 home 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 cell phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes    (010) _________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/ Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx Shared Files: http://ontolog.cim3.net/file/ Community Wiki: http://ontolog.cim3.net/wiki/ To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (011) ```
 Current Thread Re: [ontolog-forum] Visual Complexity, (continued) Re: [ontolog-forum] Visual Complexity, Christopher Menzel Re: [ontolog-forum] Visual Complexity, John F. Sowa Re: [ontolog-forum] Visual Complexity, Chris Menzel Re: [ontolog-forum] Visual Complexity, John F. Sowa [ontolog-forum] UNSUBSCRIBE, jdelre Re: [ontolog-forum] UNSUBSCRIBE, Horning, Jim Re: [ontolog-forum] UNSUBSCRIBE, Christopher Menzel Re: [ontolog-forum] Visual Complexity, Cassidy, Patrick J. Re: [ontolog-forum] Visual Complexity, Christopher Menzel Re: [ontolog-forum] Visual Complexity, Pat Hayes Re: [ontolog-forum] Visual Complexity, Pat Hayes <= Re: [ontolog-forum] Visual Complexity, Pat Hayes Re: [ontolog-forum] Visual Complexity, Pat Hayes Re: [ontolog-forum] Visual Complexity, Pat Hayes Re: [ontolog-forum] Visual Complexity, John F. Sowa Re: [ontolog-forum] Visual Complexity, Pat Hayes Re: [ontolog-forum] Visual Complexity, John F. Sowa Re: [ontolog-forum] Visual Complexity, Pat Hayes Re: [ontolog-forum] Visual Complexity, Pat Hayes Re: [ontolog-forum] Visual Complexity, Charles D Turnitsa Re: [ontolog-forum] Visual Complexity, John F. Sowa