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

Re: [lojban] Re: tersmu 0.2



Well, the history of {zo'e} shows that at one point it (or its predecessor) did indeed say something like "the obvious one or we don't care which one", but that was consciously dropped for the present versin.  Obviously, your use of {zo'e} in the "definition" of {lo} relies on the first of those possibilities (though probably "salient" rather than "obvious" would be to the point).  Alas, that is not what the current specification of {zo'e} is.  Now would be a good time to change it (as should be done), but it is not clear what hat change should be.  The past usage is at least in three different directions, with no obvious connection other than that we want to say that we are not saying what the referent is (that is, choosing not to leave the place blank or use a short scope particular quantifier).
As for the claim that sentences involving {zo'e} must be able to be false, note that I just said they were and under what conditions.  I suppose that you mean something more, something like what you need for your "definition" to become plausible, roughly that the referent is a salient object in the context, thus cutting it free from reliance on {brode} in the formula.  But that is getting back to making it something best defined in terms of {lo}, the locus of saliency within Lojban.  It also goes against the history of {zo'e}, which is entirely in the context of filling places in predicates, functioning in lieu of referring, not as an independent referring _expression_. And, of course, the salience is within that context; we want to salient candidate for a particular place, whether or not its filling that space makes for a true proposition.  But this is a long way from {zo'e} now, which was, admittedly, a long way from what it was probably meant to be.
So, aside from wondering what the purpose of your definition is and noting that the words used ({zo'e}, {noi}) are wrong, I suspect the intention is probably good.


On Thursday, October 9, 2014 5:31 PM, Jorge Llambías <jjllambias@gmail.com> wrote:




On Thu, Oct 9, 2014 at 1:15 PM, 'John E Clifford' via lojban <lojban@googlegroups.com> wrote:
Okay, not exactly a tautology, but failing in a particularly questionable way.  That is, {zo'e brode} is false (or, at least, not true) just in case there are no brode, in which case {zo'e} is referentless, to the disgust of Griceans and the puzzlement of logicians.

I don't think that's how "zo'e" works. Sentences with "zo'e" must be able to be false, otherwise sentences with "zo'e" are not very informative.

Consider questions, for example. If someone asks "xu da zvati"? "Is anyone at?" can the question be at all meaningful? It can only be meaningful if the zo'e in zvati2 can have a value, one obvious from context, possibly "here" or whatever other relevant place we had been talking about. If we must understand "zo'e" to mean "the value that makes the sentence true", then the only answer we could truthfully give to that question is "go'i", but that wouldn't be at all informative to the questioner. Sure, there is almost certainly a value for "zo'e" that will make "da zvati zo'e" true, but that's not what the questioner wants to know.

The value of "zo'e" is a value obvious from context (or unimportant), but not necessarily one that will make the sentence true. In most cases the sentence will be true, but not by virtue of the value of zo'e being determined by that, but rather because in most cases assertions are true or at least intended to be true. 

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.