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)
Regards,
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)
|