Re: [bpfk] {ro}, existential import and De Morgan

[Alex Burka <durka42@gmail.com>]

I really appreciate your explanation of the historical discussion here, but it seems to me if it were "essentially harmless" to make {ro} importing all the time, it wouldn't break De Morgan's law or invalidate simple examples. So I'm still confused.

On Sunday, November 9, 2014 at 11:19 AM, Gleki Arxokuna wrote:

2014-11-09 18:20 GMT+03:00 John Cowan <cowan@mercury.ccil.org>:

Ozymandias Haynes scripsit:

> In examples 11.5 through 11.7, the
> predicate logic negation theorem is applied to "ro da poi" statements.

Ah.  In that case, those examples are wrong and should be fixed (someone
should mark the wiki

Could you please provide the correct text of those examples?

The current CLL text is in
https://lojban.github.io/cll/

If you provide the corrected text i will put it tothe Errata page which is
http://www.lojban.org/tiki/CLL,+aka+Reference+Grammar,+Errata
 

, or wherever the errata go nowadays).  As I'm sure
you can imagine, it's damned hard to keep a consistent point of view
throughout such a book, especially when the semantic interpretations
changed during the period of writing it.

Sorry for the noise.

--
John Cowan          http://www.ccil.org/~cowan        cowan@ccil.org
        You tollerday donsk?  N.  You tolkatiff scowegian?  Nn.
        You spigotty anglease?  Nnn.  You phonio saxo?  Nnnn.
                Clear all so!  `Tis a Jute.... (Finnegans Wake 16.5)

--
You received this message because you are subscribed to the Google Groups "BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.

--
You received this message because you are subscribed to the Google Groups "BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "BPFK" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bpfk-list+unsubscribe@googlegroups.com.
To post to this group, send email to bpfk-list@googlegroups.com.
Visit this group at http://groups.google.com/group/bpfk-list.
For more options, visit https://groups.google.com/d/optout.