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

Re: [lojban] searching



Huh? If it's in the UD, it exists in the sense of the UD in the UD. That is, a UD induces a zasti3 as "x exists iff x is in the UD". That's definitions, not even logic. I think what you're saying is that under xorlo introducing {lo pavyseljirna} into the UD doesn't imply that {da pavyseljirna} in the sense of the UD. But {lo pavyseljirna} still exists in the sense of the UD, whatever that means, and more likely than not {da pavyseljrina} in the sense of the UD (if it doesn't, then you're being a jerk, in that what you're saying is basically a bear goo example). 

We really need to have a chat about how to better handle universes of discourse, I think...

mi'e la latro'a mu'o

On Tue, Jan 8, 2013 at 7:17 PM, selpa'i <seladwa@gmx.de> wrote:
la latro'a cu cusku di'e
His point involves a definition of {da broda} as "there exists x in the

universe of discourse such that x broda". This does not require "There
exists x in the universe of discourse such that x broda gi'e zasti [fi
zu'i]", since we talk about things that don't exist all the time. Under
this definition, if you say {lo pavyseljirna}, there's a unicorn in the
universe of discourse, irrespective of whether it exists in reality.

"Reality" (which you described with zasti fi zu'i) doesn't matter, since we're talking in terms of UDs. lo pavyseljirna introduces unicorns into our UD, but it still doesn't claim that one *exists* in *this UD* (other UDs don't matter, nor does "reality"). This distinction seems important, and it matters a lot when we talk about xorlo too. So, I'm not sure this is exactly the point he makes. Some clarification would be useful.


mu'o mi'e la selpa'i

--
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.


--
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.