|From:||Chris Menzel <chris.menzel@xxxxxxxxx>|
|Date:||Wed, 11 Jul 2012 15:39:02 -0500|
On Wed, Jul 11, 2012 at 3:16 PM, John F Sowa <sowa@xxxxxxxxxxx> wrote:
From the semantics of CL.
For example, many logicians recommend that proper names in
But that is not how names work in the semantics of Common Logic. Names simply have a denotation. If you introduce objectified contexts into CL (via IKL extensions, say), it doesn't alter how names work. Every name will have exactly the same denotation in every context.
If you want a theory in which names can vary with contexts,
But that's not how the semantics of names works in CL. And, anyway, I'm not sure I get it. Is the idea that "Aristotle(Aristotle,c)" be true? Presumably so, because you want Aristotle to be named by 'Aristotle'. But how is that shown by the above, since it doesn't actually involve the name 'Aristotle' as an entity? You can't just say that it is so; it needs to be made so by the axioms and the semantics.
So it seems to me that if the idea in question is to have any purchase, then what you need is a predicate like "NameOf" in the language that holds between persons, names, and (perhaps) contexts. Then you could say things like "NameOf(X,'Aristotle',c). But now you've got names in the language as well as a semantic relation NameOf, and such relations are notoriously prone to paradox and notoriously difficult to axiomatize consistently. Your suggestion is not nearly as simple as you seem to think.
_________________________________________________________________ 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 (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] The class of the planet Venus, Chris Menzel|
|Next by Date:||Re: [ontolog-forum] URIs [was: Truth], Kingsley Idehen|
|Previous by Thread:||Re: [ontolog-forum] Truth, John F Sowa|
|Next by Thread:||Re: [ontolog-forum] Truth, John F Sowa|
|Indexes:||[Date] [Thread] [Top] [All Lists]|