Re: tech: logic matters (rosu'o)

[Jim Carter <jimc@MATH.UCLA.EDU>]

Lojbab writes on  Sun, 4 Feb 1996 01:22:55 -0500:
> Looking at this exchange between pc and Iain, and guessing that I MIGHT have
> an inkling as to what the discussion is about, how about reversing the
> meanings and having "ro" NOT have existential import (any?) and rosu'o
> be the version with existentiual import (every?)

Yes Yes Yes Yes Yes Yes Yes Yes Yes Yes (10 yesses outweigh one no :-)

Definitely we need both.  To my mind, the more "logical" choice is to have "ro"
mean "any" without existential import, while "rosu'o" clearly does explicitly
have the additional "at least one" meaning, for existential import.

                -- jimc