[Top] [All Lists]

Re: [ontolog-forum] Truth

To: ontolog-forum@xxxxxxxxxxxxxxxx
From: John F Sowa <sowa@xxxxxxxxxxx>
Date: Wed, 11 Jul 2012 17:26:14 -0400
Message-id: <4FFDEF76.9030802@xxxxxxxxxxx>
On 7/11/2012 4:39 PM, Chris Menzel wrote:
> 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.    (01)

Yes, of course.  That is what I have been doing with conceptual graphs
since 1976.  I admit that for little examples, I have been sloppy
in using names like 'Tom' and 'Sue' in CGIF and CLIF illustrations.    (02)

But those names are so hopelessly ambiguous that I assumed nobody
would take them seriously as a way of handling named entities in
actual documents.  You have too many issues about ambiguities, aliases,
nicknames, etc., to make that identification of any value whatsoever.    (03)

> 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.    (04)

Gimme a break.  Programmers have been processing names in computer
systems since the 1950s and in punched card systems since 1890.
And they *never* use names in their programming languages or their
database languages to represent the external names that appear
in the real world.    (05)

In database systems, it is standard practice to use "surrogates" to
represent individuals.  Then the name assigned to that individual is
just one field in the DB that is treated in the same way as any other
attribute of that individual.    (06)

I discussed these issues in my 1984 book, my 2000 book, and numerous
papers about how to map language to and from logic.  And the answer
about paradoxes is that you fix them.  Database administrators have
probably faced more such examples than philosophers have dreamed of.
They sometimes make mistakes -- called bugs.  And they fix them.    (07)

John    (08)

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    (09)

<Prev in Thread] Current Thread [Next in Thread>