ontolog-forum
[Top] [All Lists]

## Re: [ontolog-forum] Truth

 To: "[ontolog-forum] " , "Matthew West" Pat Hayes Wed, 25 Jul 2012 00:37:18 -0500
 ``` 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) ```
 Current Thread Re: [ontolog-forum] Truth, (continued) Re: [ontolog-forum] Truth, Gary Berg-Cross Re: [ontolog-forum] Truth, David Eddy Re: [ontolog-forum] Truth, Obrst, Leo J. Re: [ontolog-forum] Truth, Pat Hayes Re: [ontolog-forum] Truth, doug foxvog Re: [ontolog-forum] Truth, Pat Hayes Re: [ontolog-forum] Truth, John F Sowa Re: [ontolog-forum] Truth, Pat Hayes Re: [ontolog-forum] Truth, Matthew West Re: [ontolog-forum] Truth, John F Sowa Re: [ontolog-forum] Truth, Pat Hayes <= Re: [ontolog-forum] Truth, John F Sowa Re: [ontolog-forum] Truth, Pat Hayes Re: [ontolog-forum] Truth, John F Sowa Re: [ontolog-forum] Truth, John Bottoms Re: [ontolog-forum] Truth, Pat Hayes Re: [ontolog-forum] Truth, John F Sowa Re: [ontolog-forum] Truth, Kingsley Idehen [ontolog-forum] Context [was: Truth], doug foxvog Re: [ontolog-forum] Truth, Avril Styrman Re: [ontolog-forum] Truth, Pat Hayes