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

Re: [lojban] Re: tersmu 0.2

Sorry I got the wrong reading.  I have to take your word that the "Lojban" says something else, since it is quite unintelligible.

Sent from my iPad

On Oct 11, 2014, at 9:20, Jorge Llambías <jjllambias@gmail.com> wrote:



On Sat, Oct 11, 2014 at 9:39 AM, 'John E. Clifford' via lojban <lojban@googlegroups.com> wrote:

I got to wondering about "What I think John knows is possible", ignoring the extra problems of cognitive predicates and using / for the descriptor, since typefaces keep confusing LC ell with one and uc i. P /x(Bi/y(^Kjx^y)), which Is not going to convert easily, as you say.

Actually, the English is ambiguous, but my example was just a referring term, not a complete formula:  /x(Bi/y(^Kj/z(^Px^z)^y)  if I understand the notation correctly. I suppose you just read the English and not the Lojban forms, which didn't share that ambiguity:

  lo poi'i mi jinvi lo du'u la djan cu djuno lo du'u ke'a cumki
  xxx poi mi jinvi lo du'u la djan cu djuno lo du'u ke'a cumki
  zo'e noi mi jinvi lo du'u la djan cu djuno lo du'u ke'a cumki

 
 But that is no reason to disparage cases that do convert easily.  

 We're not disparaging the more ergonomic forms, they are used all the time. 

Indeed, it makes me inclined to doubt the legitimacy of the form itself (quantifying in and all that).

What would it mean that it was illegitimate? It wouldn't mean anything, or it would mean something else?

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.