Rob,
I can't imagine why you would want to identify concepts with sets (I
presume you are referring to the instances of some class). In most
ontologies (perhaps ISO15926 is an exception) classes (types) are identified
by their inclusion conditions. If you allow possible worlds, the number of
possible instances of many sets associated with descriptions are infinite. (01)
The linguistic phrase " the number of ways you can find agreement (subsets)
will
generally be greater than there are elements in either set" conveys nothing
to me. (02)
Can you express these notions in logical notation? I really can't figure
out what your point is. (03)
Pat (04)
Patrick Cassidy
MICRA, Inc.
908-561-3416
cell: 908-565-4053
cassidy@xxxxxxxxx (05)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
> bounces@xxxxxxxxxxxxxxxx] On Behalf Of Rob Freeman
> Sent: Wednesday, February 10, 2010 3:52 PM
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] Inconsistent Theories
>
> On Wed, Feb 10, 2010 at 12:17 PM, Patrick Cassidy <pat@xxxxxxxxx> wrote:
> > Rob Freeman wrote:
> >> (BTW my answer to that Pat, is that what two contradictory
> >> descriptions agree on may not be the same from case to
> >> case, so you still don't get your FO
> >
> > I don't understand your premise and certainly can't see how it
> leads to
> > the conclusion.
> >
> > Could you fill in the missing steps?
>
> "What two contradictory descriptions agree on may not be the same from
> case to case": If you identify concepts with sets, and agreement with
> subsets, the number of ways you can find agreement (subsets) will
> generally be greater than there are elements in either set.
>
> "You still don't get your FO": It will be a poor FO which is larger
> than the sets it seeks to describe. In fact I think contradiction
> follows automatically from the greater number.
>
> -Rob
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|