On Jul 24, 2012, at 2:05 AM, Matthew West wrote: (01)
> Dear Pat,
> I'm trying to get my head round this stuff.
>
>> And me. And it was then that I asked John about his basic logical
>> construct 'ist', written as
>>
>> ist(c, p)
>>
>> and read as meaning " p is true in the context c". The question was, is
>> the 'p' in this formula a sentence or a proposition? It is *written* in
>> the McCarthy/Guha/Makarios context logics as a sentence; but to my
>> delight, John said it was a proposition. Which is exactly what it is in
>> the IKL way of writing this as a logical relation between two things, a
>> context and a proposition:
>
> MW: How is ist different from simple inference? i.e. from
> If c then p. (02)
Several ways. First, c is not a sentence, but a context. It might be a time,
for example, in which case ist(c, p) says that p is true at that time. Or it
might be a fictional story, eg (03)
ist(SherlockHolmesStories Inhabits(Dr.Watson 221b_Baker_street) ) (04)
or indeed, it could be a sentence, I guess. But then (this is the second point)
the relationship between the context (even if it is a sentence) and the
sentence in that context is not a simple Boolean relationship like ((not c) or
p). It is probably not a function of their truth-values at all, in fact. It
would be more like a modal relationship where the c part determines the
particular modality. (05)
But just to re-emphasise my point, above, I wasn't trying to get clear about
the c part, but rather the apparently more obvious part, the p. It turned out
that this had been miscategorized for over a decade in the development of
context logics. (06)
Pat (07)
> Regards
>
> Matthew West
> Information Junction
> Tel: +44 1489 880185
> Mobile: +44 750 3385279
> Skype: dr.matthew.west
> matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
> http://www.informationjunction.co.uk/
> http://www.matthew-west.org.uk/
>
> This email originates from Information Junction Ltd. Registered in England
> and Wales No. 6632177.
> Registered office: 2 Brookside, Meadow Way, Letchworth Garden City,
> Hertfordshire, SG6 3JE.
>
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
>
> (08)
------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (09)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (010)
|