[Top] [All Lists]

Re: [ontolog-forum] Ontological correctness

To: Chris Menzel <cmenzel@xxxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>, Michael Gruninger <mudcat@xxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Thu, 1 Feb 2007 11:29:18 -0600
Message-id: <p06230906c1e7d36f4b8a@[]>
>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)

<Prev in Thread] Current Thread [Next in Thread>