[Top] [All Lists]

Re: [ontolog-forum] Ontological Assumptions of FOL

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Sat, 17 Mar 2007 21:45:09 -0500
Message-id: <667380E2-3EF3-408D-A4E4-BDAE8ECAAEF6@xxxxxxxx>
>> Certainly true.  Tarski interpretations can serve as models of the  
>> world
>> but are not identical to it.  However, those models are often  
>> capable of
>> capturing all of the relevant structure of some piece of the world  
>> that
>> we're interested in representing.
> A model is finite...    (01)

Tarski models can most definitely be infinite.  Though to understand  
what this means you need to study set theory, in particular  
transfinite arithmetic.    (02)

-chris    (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)

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