[Attempto] Meaning of the copula "to be"

[Norbert E. Fuchs]

On 20 Apr 2012, at 16:04 , David Whitten wrote:

> ...
> 
> This is what I think I understand.
> If you don't make "is" an equivalence relation, then
> with a sentence like:
>  
> a tonsure is a pate.
> 
> You know these things are true:
> ...

David

I am sorry, I do not understand what you are getting at. I do not understand, what you mean by "You know these things are true:...". Who is this "you", a person or a theorem prover like RACE? Also, I cannot reproduce the logical conclusions that you make, and believe that some of them are simply wrong.

> PS: I would also like to discuss how "part of" interacts with "is" ... I would like to know about how RACE handles conclusions.

RACE currently does not have any special treatment of "part of".

> Could we have a "wordy" RACE mode where the statements that come from how "is" is classified as a relation would be explicitly stated? ...

When you activate the "raw" parameter of RACE's web-interface, then you get all results including the auxiliary axioms that were used during the proof.

Regards.

   --- nef