Re: [lojban] Bald men

["James F. Carter" <jimc@MATH.UCLA.EDU>]

I didn't notice that this question actually got answered.

On Sun, 28 Oct 2001, Invent Yourself wrote:
> The naku Wiki page says the following. Is it true?

jimc says: No.

> "All men don't have hair" can be represented in Lojban as
>        ro nanmu na se kerfa

As pc points out, English speakers could interpret the sentence two ways:
"each and every man doesn't have hair", or "it's not true that every man
has hair".  A logician would pick the first one, Lojban is a logical
language, and the Lojban text is constructed accordingly.

> which prenexes as
>        naku ro da poi nanmu zo'u kerfa da

No, it doesn't.  The author hoped for the second interpretation, but has
failed to use De Morgan's rules when re-ordering a negated sentence:
exchange "and" vs.  "or", and likewise exchange existential vs. universal
quantification.

>        It is false that for each X that is a man, (something) is X's hair
> which is true: some men are bald.

Here's my rendition:

        naku *su'o* da poi nanmu zo'u kerfa da
	It's false that for even one X which is a man, there exists
            Y [which is] the hair of X.
	All men are bald.

James F. Carter          Voice 310 825 2897    FAX 310 206 6673
UCLA-Mathnet;  6115 MSA; 405 Hilgard Ave.; Los Angeles, CA, USA  90095-1555
Email: jimc@math.ucla.edu    http://www.math.ucla.edu/~jimc (q.v. for PGP key)