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

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



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.  In the examples here, some of the shifts are very secondary, but deprenexification is surely essential (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.

Sent from my iPad

On Sep 24, 2014, at 18:03, Jorge Llambías <jjllambias@gmail.com> wrote:



On Wed, Sep 24, 2014 at 7:43 PM, 'John E Clifford' via lojban <lojban@googlegroups.com> wrote:
Well, given that formula there isn't a lot to do but maybe team 1 coming up with 'da ge broda gi nai brode' or 'da na ku ge ganai broda gi brode'

That would be team 1 making extra Lojban -> Lojban moves that are not always well defined, so risking messing up. If team 1 sticks with vanilla FOPL -> Lojban without trying any additional fancy Lojban -> Lojban shortcuts, then they can be assured that team 2 will be able to do the Lojban -> FOPL without any trouble.

That's not to say that we don't need to define all the Lojban -> Lojban shortcuts, of course we do, but they are not required in order to be able to express any FOPL in Lojban. They are required to go the other way, and express any Lojban in FOPL

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.

--
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.