Chris, Leo, (01)
I've started a reply but I won't be able to finish
before Friday. The basic premise is that as humans
we don't have a mechanism to (completely) step outside
of ourselves and the natural languages we use to
communicate. (02)
Todd (03)
From:
"Obrst, Leo J." <lobrst@xxxxxxxxx>
To:
"[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Date:
03/30/2011 07:35 PM
Subject:
Re: [ontolog-forum] Fact Guru, Controlled NLs, and OOR
Sent by:
ontolog-forum-bounces@xxxxxxxxxxxxxxxx (04)
Todd, (05)
I also don't understand what you mean. I do think that natural language
semantics (and formal language semantics) is well-founded, as I've argued
here, though it is incomplete or rather, partial. (06)
The formal pragmatics area, for example, is barely touched. Really there
are only first steps towards a pragmatics of formal languages yet, but
folks do use pragmas as indicators to compilers about intent. And of
course agent communication languages like KQML and ACL use speech act
performatives (and finite states which represent those). (07)
Thanks,
Leo (08)
-----Original Message-----
From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [
mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Christopher
Menzel
Sent: Wednesday, March 30, 2011 5:03 PM
To: [ontolog-forum]
Subject: Re: [ontolog-forum] Fact Guru, Controlled NLs, and OOR (09)
On Mar 30, 2011, at 3:52 PM, Todd J Schneider wrote:
> Ed,
>
> "...turtles all the way down..." Exactly. This is an overlooked
> point (among others) in many of these discussions. Natural
> language semantics (and natural languages) are not well
> founded. The application of the notion of interpretation
> from First Order Logic in these arenas also suffers from
> this attribute. (010)
Could you explain what you mean by that? (011)
-chris (012)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (013)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (014)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (015)
|