[Top] [All Lists]

Re: [ontolog-forum] Truth

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Matthew West" <dr.matthew.west@xxxxxxxxx>
Date: Tue, 24 Jul 2012 08:05:20 +0100
Message-id: <500e4932.495cb40a.02ba.ffffaafe@xxxxxxxxxxxxx>
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
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)

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