Hmm, so predicates, even without zi'o, are not inextricable from their places. That's interesting, although it stabs the "lojban has a pure logical core" thing a bit more than it was already stabbed, since predicates are functions from n-tuples to truth values in formal logic, and having no x4 for klama means you have no 5-tuple that is related by klama.
mu'o mi'e .latros.On Thu, Feb 24, 2011 at 9:53 PM, Michael Turniansky <mturniansky@gmail.com> wrote:
--
If I say that "mi klama lo zdani lo zarci no da" it does NOT necessarily mean that I didn't go home from the store. It simply means that IF I did, I followed no path doing so. I got there by teleporting point-to-point ("There is no path X such I went to home from the store along it"). Tagged places work exatly the same way
--gejyspaOn Thu, Feb 24, 2011 at 7:45 PM, Ian Johnson <blindbravado@gmail.com> wrote:
That's inconsistent with what you said earlier. That is, if {no da} *really* works the same between both cases, then {lo du'u ko'a broda no da cu nibli lo du'u ko'a na broda} and {lo du'u ko'a broda broda TAG no da cu nibli lo du'u ko'a na broda} must both be true. I know the former is true; you said the latter is false.
mu'o mi'e .latros.--On Thu, Feb 24, 2011 at 11:23 AM, Pierre Abbat <phma@phma.optus.nu> wrote:
On Thursday 24 February 2011 10:13:11 Ian Johnson wrote:"noda" works the same way whether it's in a numbered place or a tagged place.
> That seems like a pretty significant irregularity to me; if {no da} fills a
> predicate place, it is as if {na} were put in, but if {no da} fills a TAG
> place, it isn't. Or is it that {broda TAG} is a new predicate which is
> false when {broda TAG no da} is true even though {broda} itself may be
> true?
Prepositions (including tense markers) can be negated, though, whereas FA
cannot.
Pierre
--
I believe in Yellow when I'm in Sweden and in Black when I'm in Wales.
--
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.