ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] semantics of the mKR language

To: "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "FERENC KOVACS" <f.kovacs@xxxxxxxxxxxxxx>
Date: Sat, 28 Mar 2009 13:48:14 -0000
Message-id: <0113E730CD874CD3BFA8F8970C42D298@Swindon>
http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=9978&mode=toc
May I expect an answer to my preious email sent to you?
Regards, frank    (01)

> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx [mailto:ontolog-forum-
> bounces@xxxxxxxxxxxxxxxx] On Behalf Of John F. Sowa
> Sent: 26 March 2009 14:05
> To: [ontolog-forum]
> Subject: Re: [ontolog-forum] semantics of the mKR language
> 
> Dick,
> 
> RHM> Your focus on "possible worlds" has prevented you from
>  > grasping the true meaning of words, which is derived from
>  > sensory perception of things in the real world.
> 
> First of all, Pat and I are not focusing on "possible worlds."
> Pat is highly skeptical about various versions of modal logic,
> and I have written criticisms of possible worlds semantics.
> 
> In fact, the papers I wrote have recommended Dunn's semantics,
> which replaces possible worlds by collections of laws and facts.
> I talk about possible worlds because there are many people who
> have used that formal approach, and it's necessary to show the
> connections.
> 
> Second, Pat and I have also stressed the mapping between
> Tarski-style models and the real world.  Those mappings can
> be and have been implemented in robotics by artificial
> sensory mechanisms, but they are also consistent with the
> research in cognitive psychology.
> 
> And third, Pat, I, and many others who have been criticizing
> the loose ends in mKR have worked with and collaborated with
> many professional psychologists and philosophers over the
> years.  We are very well aware of those issues.  But we are
> also very well aware that you can't get away with loose ends
> in any notation th
> at is intended for computer implementation.
> 
> 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
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> 
> No virus found in this incoming message.
> Checked by AVG - www.avg.com
> Version: 8.0.238 / Virus Database: 270.11.28/2022 - Release Date: 03/25/09
> 07:16:00    (02)


_________________________________________________________________
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    (03)

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