Dear Pat,
I'm trying to get my head round this stuff.  (01)
> 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:  (02) 
MW: How is ist different from simple inference? i.e. from
If c then p.  (03)
Regards  (04)
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/  (05)
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.  (06)
_________________________________________________________________
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  (07)