[Attempto] A comment on reasoning with RACE

Norbert E. Fuchs fuchs at ifi.uzh.ch
Mon Apr 30 07:05:57 CEST 2012


On 30 Apr 2012, at 1:04 , Simon Spero wrote:

> In general isn't desired inference not entailed if there are two things which are men, and which are not the same - 
> 
> (1a) *John is a man and Paul is a man and Paul is the walrus.  |\= John is the walrus. 

Right, RACE considers two different proper names as referring to two distinct objects ...



... unless stated otherwise.



Regards.

   --- nef
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120430/9a8a610f/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2012-04-30 at 7.03.29 .png
Type: image/png
Size: 22324 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120430/9a8a610f/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2012-04-30 at 7.02.02 .png
Type: image/png
Size: 29671 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20120430/9a8a610f/attachment-0003.png>


More information about the attempto mailing list