* Sunday, 2011-09-11 at 13:46 -0400 - Martin Bays <mbays@sdf.org>:
> So we need something corresponding to Chierchia's down operator. This
> shouldn't be {lo'e}, because that's about genericity. I'm wondering
> whether it could indeed be {lo} - using Chierchia's type-shifting (which
> is similar to Carlson's quantification over stages) to get back to
> existential quantification over instances.
On second thoughts it looks like {lo ka} already does the job of the
down operator. Kinds are little more than reified predicates. The down
operator has a massifying effect which {lo ka} doesn't, but I don't see
why we'd want want that in lojban anyway.
Attachment:
pgp6aNhLE2Skp.pgp
Description: PGP signature