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

Re: [lojban] Re: Get Much Ca$h !



In a message dated 00-09-26 19:30:09 EDT, you write:

<< >roda nirna roda
 >roda se nirna roda
 >roda selnirna roda
 >roda roda selnirna
 
 It is not clear what is the effect of quantifying the
 same variable twice in the same sentence. Either the
 second {da} has to be taken as a new variable, saying
 that each thing is a nerve/neuron of each thing, or the
 second quantifier has to be ignored, saying that each
 thing is a nerve/neuron of itself. >>

In standard logic, it would be the second.  However, in standard logic, both 
of these would be prenex and so both of the {da}s would be in the scope of 
both quantifiers and thus of the second, to which the pair qwould then 
reduce.  So the result would be the second version.
Now, in Lojban. ...