[Top] [All Lists]

Re: [ontolog-forum] Ontology, Information Models and the 'Real World': C

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Waclaw Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>
Date: Sun, 03 Jun 2007 18:07:55 +0200
Message-id: <4662E75B.6060700@xxxxxxxxxxx>
Waclaw Kusnierczyk wrote:    (01)

> John, you're right, of course.  I am aware that there is a distinction 
> between logic and ontology.  I have already agreed with your
>> My recommendation is to replace the above statements with something
>> along the following lines:
>>   1. The IKL model theory defines an evaluation function Phi, which
>>      for any proposition p, determines a truth value Phi(p).
>>   2. Inside a nested context, however, the proposition p could have
>>      a truth value that is different from the value Phi(p) that would
>>      be determined outside any nested context.
> as a reasonable way of explaining truth and truth-in-context of
> propositions (to which Pat objected, by the way).    (02)

I mean, I agree to explain the meaning of a formula in IKL (or any other 
logic) by means of referring to the model.  In the particular case 
above, it seems clear to me that you take it wrong, and that Pat objects 
rightfully.    (03)

vQ    (04)

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

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