>PH:
>
>> Our IKRIS project made a small start on this. In
>> IKL, all character strings are in the domain and
>> they are all 'potential' names. A string gets to
>> be a name when it is used as one in the language,
>> ie when it is used in a formula. For those, we
>> have a special rule that relates the name's
>> meaning to the name OF the name. Its very simple:
>> if you give a character sting as an argument to
>> the special function tnb (thing named by), its
>> value is required to be whatever that character
>> string would denote if you were to use it as a
>> name. Formally,
>>
>> (= (tnb 'name') name)
>
>Clearly, but you either have to assume a single global context (for
>'name' to always denote the same entity), (01)
I do assume a global context, yes. In fact, in
IKL we assume no context at all. The logic simply
isn't contextual, which IMO is the way the base
logic should be for information interchange. So
names are global, just as URIs are. (02)
> or, having admitted local
>contexts -- some sort of lexical or other scoping -- you leave way for a
>name to denote different entities. (03)
If one wants to admit local name scoping - and we
did need to do this for IKL - then the
appropriate way to do it is to combine the
context with the *quoted* name (not the name
itself), and in IKL this is done by simply adding
a context argument:
(tnb 'name' context1)
denotes the thing that 'name' denotes in
context1. This handles referential opacity and so
on very neatly. (04)
>For example, you may have two contexts c1 and c2 such that (= (tnb
>'name') name) evaluates to true in both of them (05)
That is meaningless in IKL. Contexts are objects
in the domain, not entities in which sentences
are evaluated. You are talking 'context logic'
style. IMO context logic is a dead end. One of
John McCarthy's rare blunders. (06)
>, 'name' as in c1 =
>'name' as in c2 (trivially), yet name as in c1 != name as in c2. (07)
In IKL:
(not (= (tnb s context1) (tnb s context2))) (08)
where s is 'name'. Indeed, this situation can
arise. But there are types of 'context', such as
times and locations - parts of the 'real world' -
which do not affect the meanings of names. In IKL
these can be defined axiomatically: (09)
(forall (x) (iff (transparentContext x)
(forall ((s charseq))(= (tnb s)(tnb s x)))
)) (010)
Pat (011)
>
>Simply put: the rule that 'e' should always mean e may be satisfied
>even if 'e' denotes different entities (on different occasions of use).
>
>vQ
>
>_________________________________________________________________
>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (012)
--
---------------------------------------------------------------------
IHMC (850)434 8903 or (650)494 3973 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 cell
phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (013)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (014)
|