Message-Id: <199502250058.AA12586@nfs1.digex.net> From: ucleaar Date: Fri Feb 24 19:58:35 1995 Subject: Re: Carterian formula (was: Gricean formula?) X-From-Space-Date: Fri Feb 24 19:58:35 1995 X-From-Space-Address: LOJBAN%CUVMB.BITNET@uga.cc.uga.edu 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