>On Wednesday 31 January 2007 17:44, Chris Menzel wrote:
>> (And isn't the possibility of
>> isomorphic models always ruled out for first-order ontologies simply by the
>> Loewenheim-Skolem theorem?)
>
>What I meant here, of course, is the possibility that all models of the
>ontology are isomorphic. But now I think what you meant is simply the idea
>that every model of the ontology turn out to be isomorphic to one of the
>intended models. This could obviously turn out to be the case so long as one
>simply defines one's class of intended models broadly enough.
> (01)
Like, in the case of arithmetic, by defining it
to be the class of all models of Peano arithmetic? (02)
Pat (03)
>_________________________________________________________________
>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
> (04)
--
---------------------------------------------------------------------
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 (05)
_________________________________________________________________
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 (06)
|