[Top] [All Lists]

Re: [ontolog-forum] Fwd: MOVED: Re: [ontology-summit] Hackathon: BACnet

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Steven Ericsson-Zenith <steven@xxxxxxx>
Date: Wed, 20 Mar 2013 22:52:21 -0700
Message-id: <42C0CEE8-1295-4449-BE45-67CBC019CF3C@xxxxxxx>

It is unlikely that any "controlled English" can be processed into formal logic 
and maintain its original meaning, not least because of Peirce's "third."    (01)

Peirce's simple example is: "A gives B to C" which is impossible to capture in 
dyadic form.    (02)

Steven    (03)

On Mar 20, 2013, at 10:07 PM, "Barkmeyer, Edward J" <edward.barkmeyer@xxxxxxxx> 
wrote:    (04)

> It does not define a controlled English that one could guarantee to process 
>into formal logic    (05)

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

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