>And, I guess,
>
>"the 'continuous present' indicated by the English 'ing' ending, as in
>It is raining, means that the proposition 'rains' is true throughout
>some interval containing 'now'" [IKL guide]
>
>should be read as
>
>"the 'continuous present' indicated by the English 'ing' ending, as in
>It is raining, means that the false proposition 'rains' stands in the
>ist relation to some interval containing 'now'"? (01)
Why do you assume that 'rains' is logically
false? I have no idea what its actual logical
truth-value is; but in any case that would be
irrelevant to its *contextual* truth, which is
modelled in IKL by the ist relation. "True
throughout an interval" and "standing in the ist
relation to an interval" are just two ways to say
the same thing. Or perhaps, if you feel that
truth at a time is something fundamental, by all
means say that the ist-formulation is IKL's way
of modelling or describing or representing the
notion of truth at a time. (02)
Pat (03)
>vQ
>
>
>
>Waclaw Kusnierczyk wrote:
>> Pat Hayes wrote:
>>> This message, and indeed this sub-thread,
>>> illustrate perfectly what seems to me to be the
>>> key advantage of using a 'context ontology' (as
>>> IKL does: that is, treating contexts as objects
>>> and making non-contextual assertions about them)
>>> as opposed to a 'context logic' (that is, a logic
>>> in which assertions are understood as being made
>>> in a context and interpreted there using
>>> contextually local criteria). In a word, contexts
>>> in a context logic make meaningful things
>>> meaningless.
>>
>> I have an uncomfortable feeling that IKL prevents me from making some
>> simple statements, or that it forces me to do it in an awkward way.
>>
>> The sentence
>>
>> (sleeps pat)
>>
>> means
>>
>> (that (sleeps pat))
>>
>> i.e., its meaning is the proposition that Pat sleeps, simply,
>> context-independently, eternally -- which is nonsense. Let me want to
>> say that Pat sleeps during some specific interval, say int. If I make
>> the statement
>>
>> (ist int (that (sleeps pat)))
>>
>> what I say is that the (simply and eternally false) proposition that Pat
>> sleeps, simply, context-independently, eternally is (the proposition) in
>> the relation ist with the context int. But what does that mean?
>> Instead of making a statement about Pat's sleeping during int, I make a
>> statement that some proposition -- which I already know is simply false
>> -- stands in a relation to an interval. Pat suggests -- insists, in
>> fact -- that (ist c p) does not mean that p is true, it just means that
>> p ist-stands to c, which incidentally is read out as 'p is c-true', and
>> which has nothing to do with p's truthness.
>>
>>
>> So perhaps I would need to say
>>
>> (sleeps-during pat int)
>>
>> for which I need to introduce the predicate sleeps-at, or maybe even
>>
>> (sleeps-during-int pat)
>>
>> ?
>>
>>
>> If we deny that (ist c p) means that p (somehow) is true when c is the
>> case (by which I mean *is true* in c, not is-true-in-c) -- given that it
>> is just false, immutably -- then (ist int (that (sleeps pat))) cannot
>> mean that Pat sleeps during int, because it is neither about Pat's
>> sleeping, nor about (that (sleeps pat))'s truth.
>>
>> Can I say that Pat sleeps during int?
>>
>> (I must be deeply wrong about IKL, I guess.)
>>
>> vQ
>>
>> _________________________________________________________________
>> 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
>>
>
>--
>Wacek Kusnierczyk
>
>------------------------------------------------------
>Department of Information and Computer Science (IDI)
>Norwegian University of Science and Technology (NTNU)
>Sem Saelandsv. 7-9
>7027 Trondheim
>Norway
>
>tel. 0047 73591875
>fax 0047 73594466
>------------------------------------------------------
>
>_________________________________________________________________
>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)
|