Re: Carterian formula (was: Gricean formula?)

[ucleaar <ucleaar@ucl.ac.uk>]

John:
> This definition doesn't work for Lojban/Loglan, and in fact I have suggested
> to Carter that it is buggy in general (see the file "cowan" in the guaspi
> directory on www.math.ucla.edu).  "x1 has a heart" and "x1 has kidneys" have
> the same referent sets (neglecting partly dissected animals, etc.).  But we
> don't want to call them the same predicate.

Is this so even if we don't limit ourselves to this world, but instead
allow there to be worlds where things have kidneys but no heart, and
vice versa?

---
And