[lojban] Re: Is importing ro *really* "normal" in modern logic? (Re: importing ro)

[Robin Lee Powell <lojban-out@lojban.org>]

On Fri, Nov 08, 2002 at 02:22:12PM +0200, Adam Raizen wrote:
> The *best* evidence that in modern logic universal quantification does
> not have existential import comes from pc's own website
> (http://users.aol.com/pycyn/quantify.html):
> 
> pc> Lojban, following the modernest of logics, fell in with this
> pc> scheme. Although it has several ways of saying ?All S is P,? they
> pc> are all equivalent and all ultimately the first:
> pc> 
> pc> roda zo?u ganai da S gi da P
> pc> 
> pc> roda poi S cu P
> pc> 
> pc> ro lo S cu P
> pc> 
> pc> ro S cu P
> 
> I guess opinions do change, even logicians' opinions.

BWAHAHAHAAHAHAHAHAHAHAAAAAAA!

-Robin

-- 
http://www.digitalkingdom.org/~rlpowell/  http://www.lojban.org/
la lojban. jai curmi roda .einai to ku'i so'ada mukti le nu co'a
darlu le'o -- RLP                            I'm a *male* Robin.