Re: [ontolog-forum] Ontological Assumptions of FOL

[Christopher Menzel <cmenzel@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)