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

Re: [lojban] Re: tersmu 0.2




On Mon, Oct 13, 2014 at 10:07 PM, Martin Bays <mbays@sdf.org> wrote:

So e.g. {la'e ko'a} would typically be a particular thing referred to by
ko'a according to some particular relevant notion of reference, rather
than being the collection of all possible referents or the kind
"referents of ko'a", or rather than requiring restricting the domain to
exclude all other possible referents.

I would have no problem with "lo smuni be di'u" in the same contexts we use "la'e di'u". I wouldn't say one excludes more or less than the other.

I see what you mean, and I agree it's a worthwhile exercise to express
the final logical form in lojban using as few constructs as possible;
but I don't see why this should be done greedily, i.e. first translating
to minimalistic lojban and then finding the logical form.

Just economy of rules I suppose. 

We already have a rule to interpret the sumti created with ".e" when it is used as an argument of a predicate. We can use this same rule if we interpret LAhE in terms of a predicate. If not, we need a separate rule for how to interpret the sumti created with ".e" when used as the argument of a LAhE. 


In isolation, I don't see a difference between
    broda .i brode
and
    broda .i je brode

There are differences once other constructs get involved, but I don't
see how to use that to differentiate between {ju'e} and {e} as sumti
connectives.

Do we even know what "na ku zo'u broda .i bo brode" means? 

How about:

kukte lo plise .e re lo ci plise noi vi zvati

The idea here is to force some individual apples into the domain, so if
{lo} is really \iota then {lo plise} can't refer to the kind.


I suppose if "lo" was \iota and you don't allow the universe of discourse to change then the sentence must be contradictory. But I have no problem reading it as something like "apples, and two of these three in particular, are delicious". Maybe more explicitly, for when we tackle UI:  

 kukte fa lo plise .e su'a nai re lo ci plise noi vi zvati

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.