new voi
Jump to navigation
Jump to search
This page contains discussions of experimental/scientific/philosophical/logical aspects of Lojban that are non-official and not for everyday usage. You've been warned. |
A new use for the cmavo voi, as proposed by la selpa'i
cmavo: voi (NU)Proposed DefinitionPrenex predicate abstraction. x1 is such that the contained bridi holds true of it. Contains a {ke'a} whose antecedent is the x1 of the voi-abstraction. Allows for many kinds of argument-fronting and mid-sentence prenexes. See Also:
KeywordsExamples
Formulae
MeritsThe proposed voi has a wide range of applications, from fluid prenexes to jai-like argument fronting (but without needing fai) and is helpful when a bridi contains complex scope interactions. It allows one to easily express complex reflexives, and overall increases Lojban's flexibilty at the word order level. As voi is like a mid-sentence prenex, it also enables the use of quasi-prenexes after bridi-tail connectives (see examples above). |