[YG Conlang Archives] > [jboske group] > messages [Date Index] [Thread Index] >


[Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: [jboske] The contradiction



Adam Raizen scripsit:

> [A]ccording to CLL, (16.11, p.405-407) we can move the negation
> boundary in (2) past the universally quantified term, and switch
> the universally quantified term to an existentially quantified
> term, thus:

Ah.  I think that the answer is that DeMorgan's Laws apply only
in the case of *unrestricted* quantification: to roda, but not to
rodapoi/rolo/ro.  The passage of CLL that you mention seems to use only
singular terms in the examples, though I have only taken a quick look.

See my reply to And's consensus-seeking posting on the main list.

-- 
My confusion is rapidly waxing          John Cowan
For XML Schema's too taxing:            jcowan@hidden.email
    I'd use DTDs                        http://www.reutershealth.com
    If they had local trees --          http://www.ccil.org/~cowan
I think I best switch to RELAX NG.