Re: [lojban] semantic parser - tersmu-0.1rc1

[Jorge Llambías <jjllambias@gmail.com>]

On Sat, Nov 26, 2011 at 6:48 PM, Martin Bays <mbays@sdf.org> wrote:
>
> Yes, I know you prefer to use constant kinds in these situations, but
> would you *allow* temporally varying interpretations of {lo bradi} in
> {ro roi mi'o jinga fi lo bradi}?

("ro roi ku")

> And if I say 'please'?

I allow it in the same sense I allow temporally varying
interpretations of "mi" in "ro roi ku do viska mi". "mi" refers to one
thing, but it is also true that each time you see me you see something
different.


> There's still the question of what presuppositions are being made when
> the {lo} appears within a quantifier. But maybe that isn't so obscure.
> If we treat our generalised quantifiers in the obvious naive way, saying
> that in {PA da poi broda zo'u lo brode be da cu brodi} the prenexed
> clause is interpreted once for each {da} in the extension of broda and
> then the resulting set of truth values is checked against the semantics
> of PA, then we precisely need that {lo brode be da} has a referent for
> each such da, so we need the presupposition to hold for each such da.
>
> So in other words, we have a presupposition for each "occurrence" of
> {lo}, and we consider quantifiers to induce a (often infinite) family of
> such occurrences.
>
> Sound right?

I think we do need something like that when "lo" creates a function, yes.

mu'o mi'e xorxes

-- 
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.