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

Re: [lojban] Re: tersmu 0.2



Does p have to be the same for each value of x?  Or does it just have to be the same up to x?  That is, can this be "I want three men to run for governor" in the sense of, say, needing to fill out a ballot.  They have to be this worldly, but my wishes don't involve their identities. ?

Sent from my iPad

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



On Sat, Oct 11, 2014 at 3:10 PM, 'John E. Clifford' via lojban <lojban@googlegroups.com> wrote:
So, with {ci da} in 1, we get something like "There are three people I want to run for governor" (I tell you wo I mean and why I want them to run, say).  Case 3 is "I want three people t rn for governor" (I don't much care who they are but a three-way race is more interesting, say). What case 2 like?  The {da} ranges over the home universe, not that of the Wunschwelt, but is somehow also influenced by the wishing.

Case 2 would be a weird one. The proposition p that I would be claiming to want to be true would have to satisfy this:

   ci da zo'u py du'u da co'e
   For exactly three values of x, p is the proposition that x [runs for governor].

Since the proposition p has to be the same for each one of three different values of x, it doesn't really make much sense with co'e as "runs for governor". We would be forced to interpret "co'e" in such a way that "x co'e" gives the same proposition for different values of x. 

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.