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