Re: [lojban] Mathy person interested in concept, unsure where to begin.

[Jorge Llambías <jjllambias@gmail.com>]

On Wed, Sep 24, 2014 at 8:16 PM, 'John E. Clifford' via lojban <lojban@googlegroups.com> wrote:

As the mystics say, the way up is the way down. We won't get the way From Lojban to logic right if we haven't worked out the other direction, because only then can we be sure that Lojban has incorporated all the clues needed.

For me there's just no way one can get the FOPL to Lojban wrong, if one knows the very simple and trivial rules that apply.

 

 In the examples here, some of the shifts are very secondary, but deprenexification is surely essential

Deprenexification is needed for getting concise/ergonomic forms, but not to get the logic right in the first place.

 

(and dangerous, as you say, though this case is Ok apparently) and so is this sort of collapse.  The Principia to Polish shift and the logical moves are just dressing.

The move is fine in this simple case. Getting the rule precisely right for the general case needs some consideration of several issues, but it's still one of the easy ones. But this is already part of Lojban->Lojban moves, not part of the FOPL->Lojban step,  

mu'o mi'e xorxes

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