On Jul 24, 2012, at 7:16 AM, John F Sowa wrote: (01)
> Pat,
>
> I agree very strongly with these points, but I think they were
> discussed at a different meeting. At the one I recall, McCarthy said
> that it was premature to standardize a theory of contexts. He said
> that as we were leaving the comp. sci. building at Stanford. (02)
He never disagreed with this position, AFAIK. JMcC's point was that there was
no single "theory" of contexts; that contexts are not a natural kind, and a
"context" is just anything that anyone cares to use in a context kind of a way,
ie as something that influences triuhvalues and denotations. So to my (often
repeated) objection that time, for example, and belief, for example, were very
different kinds of thing and influenced truth in very different kinds of ways,
so subsuming them under a common rubric of "kinds of context" was actually
regressive rather than helpful, his response was always that the point of a
context logic was not to capture the essence or nature of contexts, but rather
to be simply a general framework for stating inferences which might be
influenced by *any* kind of context. (03)
> JFS
>>> [The informal meeting in 2006] included John McCarthy, his student Selene
>>> Makarios (who was working on a theory of contexts), and Mike Genesereth.
>
> PH
>> 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: (ist c (that p))
>
> I prefer the IKL method, because it enables the two operators to be
> used independently. "(that p)" is a kind of quasi-quotation that
> allows variables in p to be bound to quantifiers outside of p. (04)
Hmm, I don't think it is correct to think of it as quasi-quotation. Rather than
quoting the sentence, it treates it as defining a zero-ary predicate, and
creates a term denoting that entity. (05)
Pat (06)
------------------------------------------------------------
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 (07)
_________________________________________________________________
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)
|