[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Wallops #8
- To: John Cowan <cowan@SNARK.THYRSUS.COM>, Eric Raymond <eric@SNARK.THYRSUS.COM>, Eric Tiedemann <est@SNARK.THYRSUS.COM>
- Subject: Wallops #8
- From: Ivan A Derzhanski <cbmvax!uunet!COGSCI.ED.AC.UK!iad>
- Date: Thu, 9 Jul 1992 14:38:49 BST
- In-Reply-To: "Mark E. Shoulson"'s message of Thu, 9 Jul 1992 09:25:22 -0400 <12642.9207091325@cogsci.ed.ac.uk>
- Reply-To: Ivan A Derzhanski <cbmvax!uunet!COGSCI.ED.AC.UK!iad>
- Sender: Lojban list <cbmvax!uunet!CUVMB.BITNET!pucc.Princeton.EDU!LOJBAN>
> Date: Thu, 9 Jul 1992 09:25:22 -0400
> From: "Mark E. Shoulson" <shoulson@EDU.COLUMBIA.CTR>
> >From: Ivan A Derzhanski <iad%COGSCI.ED.AC.UK@CUVMB.CC.COLUMBIA.EDU>
> >
> >I was afraid whether the scoping didn't work the opposite way (to the
> >effect of `Christ and the Devil want no one').
>
> Remember the default quantifier on {da}: {su'opada zo'u}. Unless otherwise
> specified, variables are presumed to be existentially quantified.
Yes, but existential quantification in the scope of negation is the
same as negation in the scope of universal quantification.
Ivan