On Sun, Apr 29, 2012 at 2:02 PM, Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch" target="_blank">fuchs@ifi.uzh.ch</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi<br>
<br>
Recently this mailing list discussed RACE's interpretation of the copula "to be", specifically whether the copula should be interpreted symmetrically so that RACE would perform the deduction<br>
<br>
(1) John is a man. |- A man is John.<br></blockquote><div>[....] </div><blockquote class="gmail_quote" style="margin-top:0px;margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<span style>First, above I stated that the ACE sentences ACE_A and ACE_T are *assumed* to be true. This is an assumption that we – i.e. the human users – make. Nothing prevents us from deciding otherwise, for instance by assuming that the ACE theorem "A man is John." of (1) is not true. To prevent the deduction (1) in this situation, we must not add the auxiliary axiom "A is B |- B is A" to RACE. Otherwise, we would violate RACE's correctness since we could derive an ACE sentence that is not (assumed to be) true.</span></blockquote>
<div> </div><div><br></div><div>In general isn't desired inference  not entailed  if there are two things which are men, and which are not the same - </div><div><br></div><div>(1a) *John is a man and Paul is a man and Paul is the walrus  |\= John is the walrus. </div>
<div><br></div><div>Simon</div><div><br></div><div><br></div></div>