A couple o= f recent threads have gone back and forth on the issue that there was no lo= gical way to do something in Lojban or that the way to do it in Lojban wasn= 't very logical. Given relevant readings of "logical", these cl= aims are true. But uninteresting. Lojban is not merely logical = (in the relevant restricted senses), it is also a language and the things t= hat are illogical to say in Lojban are things peculiar to language, without= any logical significance (or significance that can be introduced into logi= c only with difficulty).

The matter of the comments = inserted into quotations is purely a language matter, style, in fact (logic notoriously does not have style in the short run). Repeating = "Alice said" or "said Alice" at the beginning or ending of every paragraph = is monotonous. So you find other ways to do it without interfering wi= th the structure and metastructural inserts do the job quite nicely. = The quote is not "really" split, of course, because the {sei ...se'u} phras= e is not really there (i.e. in the place it appears to be). Illogical= because deceptive in appearance and unnecessary in the structure -- except= for speaking and reading humans.

The "any" case is = slightly more complex, because one can force some logical distinction into = it sometimes. "Any" is broad scope universal quantifier which (quite = logically) sometimes serves as a narrow scope particular in negative contexts (and, perhaps, some other odd contexts as well -- dialects vary a= nd donkey sentences make their own muck). That is the language situat= ion. And the logic situation is not much different, but the use of an= imperative form creates a problem, since it is not clear about the relativ= e scopes of the quantifier and the speech-act indicator. Usually, the= speech-act indicator has to come first, because, otherwise, we would have = a sentence without performance instructions, but in complex situations this= need not be a problem. But here we have a simple case: Give me an ap= ple. That is, logicially, Imp(( Sx: apple x) you give x to me) (roughly spe= aking). A sentence which is "true" (fulfilled) if you give me somethi= ng, anything, that is an apple. But, you say, suppose I want a partic= ular apple -- or want to explicitly exclude that possibility. The exc= lusion is easy -- the given English (or {ko dando da poi plise/ su'o plise}in Lojban) does the trick. I have explicitly NOT restricted th= e choice of apples. If I do want to restrict that choice, I have to t= ake another step, either moving the quantifier (or marking it as move= d), explicitly specifying some further restriction on the apple, or appeali= ng implicitly to some aspect of the situation not in the present sentence: = "There is an apple I want, give it to me", "Give me a certain apple", "Give= me the golden apple", "Give me the apple". The first of these is, as= noted, tricky to transcribe in strict logical form (though the dialogical = form is probably straightforward). The second is equally difficult, s= ince logic does not generally have expressions like "a certain" that have b= road scope even in restricted contexts (that is language again, not logic).= The third is obvious. The fourth uses some sort of descriptor,= {le} or {lo} depending (more or less) on whether the implicit context is internal or external. A case can be made that {lo} also f= unctions as a long scope particular quantifier, running back at least to th= e introduction of its bound predicate, and so might also be used for the se= cond case (again, this passes beyond logic somewhat to dialogical analysis,= but that seems to be the wave of the future anyhow).

--
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@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.
--1789658926-1552445105-1356564381=:16293--