Pat, (01)
can you cite any article that talks about contexts in terms of sets
with different ranks? In flat theories such as mereology and Boolean
algebras everything is on the same level, but in set theories there
are different granular levels. (02)
Avril (03)
Lainaus "Pat Hayes" <phayes@xxxxxxx>: (04)
>
> On Jul 25, 2012, at 6:44 AM, John Bottoms wrote:
>
>> On 7/25/2012 7:25 AM, John F Sowa wrote:
>>> On 7/25/2012 12:45 AM, Pat Hayes wrote:
>>>
>>>> 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 truth values and denotations.
>>>>
>> It almost sounds like there are two definitions of "context".
>
> Two? TWO??? I attended several workshops and meetings on the theme
> of contexts and context reasoning. At one of them I took careful
> notes. Over three days of talks, no two speakers used the same sense
> of "context". They were all talking about different things, ranging
> in scope from a psychological state lasting a few miiliseconds to an
> entire human culture lasting millennia. When people say "context"
> they simply mean "all the stuff that I havn't got an explicit theory
> of". I have in fact offered this as a definition of "context" at
> the Heidelberg ontology meeting (which John Sowa was also present at):
>
> Context
> The meaning of language is influenced by a very large number of
> factors. No theory of meaning is comprehensive enough to account for
> all of these; particular theories of meaning focus on some and
> analyze them in detail, and ignore others completely. For each such
> theory of meaning, the combined effect of the factors which the
> theory does not explicitly address is often called a "context".
>
>> One is the perceived setting which may evoke observations based on
>> the level and type of perception. While the other is the
>> brute-force real world set of facts? Is this correct? And if so,
>> should we have different terms by the type of context we refer to?
>
> The brute force real world (or part of it) is the context, not facts
> about that real world. Contexts are objects. For more on this, see
> my paper on 'contexts in context' at the AAAI context symposium,
> visible at http://bit.ly/N2yGYa . But they key point is that
> there are not two or even twenty-two 'kinds' of context, but that
> being a context is more like a status or role than an ontological
> type. ANYTHING can be a 'context' in the right, um, context.
>
>> JB: My fear is that by not defining a context type we will
>> disparage its use. That would be awkward.
>
> What do you see the "use" of contexts as being? Personally, I think
> we would make great progress (indeed, we ARE making great progress)
> by eliminating all talk of "contexts" entirely, and doing our utmost
> best to forget about the term as being pre-scientific and confusing.
> If you want to think about how time influences meaning, think about
> temporal logics. If you want to think about how beliefs influence
> meaing, think about epistemic logics. If you want to think about
> fiction, study literary theory. But don't think that by calling all
> these (and so many other things) all "contexts" that you have
> thereby achieved any kind of insight or clarity. All you have done
> is get time and belief and fiction muddled, ie created confusion.
>
> Pat
>
>
>>> I agree with that idea.
>>>
>>>
>>>> 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...
>>>>
>>> I also agree with that.
>>>
>>>
>>>> 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.
>>>>
>>> And I have no objection to that idea.
>>>
>>> JFS
>>>
>>>>> "(that p)" is a kind of quasi-quotation that allows
>>>>> variables in p to be bound to quantifiers outside of p.
>>>>>
>>> PH
>>>
>>>> Hmm, I don't think it is correct to think of it as quasi-quotation.
>>>> Rather than quoting the sentence, it treats it as defining a
>>>> zero-ary predicate, and creates a term denoting that entity.
>>>>
>>> The backquote in LISP can be applied to any expression. The IKL
>>> 'that' operator can be implemented in LISP by applying backquote
>>> to sentences in some version of logic.
>>>
>>> That is an explanation that is meaningless to anybody who does
>>> not know LISP. But LISP aficionados like that way of talking.
>>>
>>> In any case, I agree that your definition is the proper way
>>> to define 'that' in purely CL or IKL terms.
>>>
>>> John
>>>
>>> _________________________________________________________________
>>> 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
>>>
>>>
>>>
>>>
>>> -----
>>> No virus found in this message.
>>> Checked by AVG -
>>> www.avg.com
>>>
>>> Version: 2012.0.2196 / Virus Database: 2437/5153 - Release Date: 07/24/12
>>>
>>>
>>>
>>
>>
>> _________________________________________________________________
>> 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
>
> ------------------------------------------------------------
> 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
>
>
>
>
>
>
> _________________________________________________________________
> 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
>
> (05)
--
Avril Styrman
+358 40 7000 589 (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)
|