[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
mei again
I ran across this message I sent Cowan a couple of months ago.
>leviticus> mail cowan
>Subject: formal semantics - masses
>
>You write in response to Colin on formal semantics:
>>Non-logical connectives, OTOH, can I think be viewed as structured
>>terms, in Prologese: klama(joi(mi,do),le_zarci). In essence, each
>>non-logical connective is really a sort of nominalized predication,
>>although exactly what the subordinate predicate is is not clear in
>>purely Lojban terms: there simply is no (surface) predicate with the
>>place structure "x1 is a mass whose components are x2, x3, x4 ...".
>
>This is true on its face, though gunma is quite similar. Perhaps
>on could treat "melu'o" as being a predicate with this place structure.
>
>lojbab
Is it now true that the place structure we have given mei meets this need
by matching x1 and x3?
lojbab