Re: [lojban] Re: tersmu 0.2

[Ilmen <ilmen.pokebip@gmail.com>]

On 21/10/2014 03:06, Martin Bays wrote:

Firstly, we need a way to assign an event/fact variable to a proposition
without changing its semantics. {fi'o du} lets us do this; {fi'o du ko'a
broda} means that broda occurs/holds and ko'a is equal to the
event/fact of this. Let's make this a primitive in the logic, writing it
as "=.", so e.g. "{ko'a}=. broda()". (So technically "[term]=." is
a modal operator.)

(I write the above paragraph as if I'm sure it makes sense, but I'm not.
If there are many events of brodaing in the situation, is {fi'o du ko'a
broda} true when ko'a is any of those events, or only when it's the
"intended" one? The below makes sense in either case, but with subtly
different results. If instead tags work such that {fi'o du ko'a broda}
isn't true for *any* ko'a in such a situation, then there's a problem!)

I think you need {ca'e} for assigning a referent to {ko'a} (otherwise it would be an assertion "the bridi is identical to {ko'a}'s referent"), or whatever is the correct way to explicitly assign a referent to a pro-bridi without ambiguity.

{fi'o} is maybe a little too vague for your purpose; I'd suggest {broda xoi ke'a ca'e du fo'a} which would be semantically equivalent to {lo du'u broda ku ca'e du fo'a}, if I'm not mistaken.
The x1 of du would always be the bridi itself (thus a du'u), and not an event (nu) described by the bridi (the latter could be explicitly obtained by using {nundumu}).

mi'e la .ilmen. mu'o

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