Dear Pat,
You can also see these different Venus' as branches of a single
pan-multiverse individual, merely having different extents in different
possible worlds, but some common root from which they all started. (01)
Again, the challenge is working out which is the appropriate way to
represent what you are trying to capture. (02)
Regards (03)
Matthew West
Information Junction
Tel: +44 1489 880185
Mobile: +44 750 3385279
Skype: dr.matthew.west
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/ (04)
This email originates from Information Junction Ltd. Registered in England
and Wales No. 6632177.
Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
Hertfordshire, SG6 3JE. (05)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
> bounces@xxxxxxxxxxxxxxxx] On Behalf Of cassidy@xxxxxxxxx
> Sent: 10 July 2012 23:25
> To: ontolog-forum@xxxxxxxxxxxxxxxx
> Subject: [ontolog-forum] The class of the planet Venus
>
> Wandering far off topic, ergo changing the topic from 'Truth':
>
> A comment on the comment of Doug F.:
> >> However, one would stretch to come up with what
> >"an instance of the
> >> planet Venus" would be.
>
> This touches on an ontological issue that concerns me for several reasons:
> possible worlds.
>
> Consider the planet Venus in each of the Sci-Fi novels in which the planet
is
> described - it can have different properties, therefore is in fact a
different
> individual.
> Likewise if we live in a multiverse that forks for each collapse of an
> entangled quantum system (lots of 'em!).
>
> So one can have 'ThePlanetVenusInAnyPossibleWorld' as a class. If each
> ontology is restricted to one possible world, then Venus would be an
> individual in that world (I think) but in general ... ?
>
> How does Cyc represent such a class?
>
> Pat
>
> Patrick Cassidy
> cassidy@xxxxxxxxx
> 908-561-3416
>
> _________________________________________________________________
> 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
> (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 (07)
|