Re: Anselmisms and gadro

[John Cowan <cowan@ccil.org>]

mark@kli.org scripsit:

> The thing to remember about all this is that {lo broda} is the same,
> semantically, as {da poi [ke'a] broda}, with the exception that the latter
> also asserts the existence of such a thing, while the former doesn't.  ({le
> broda} is correspondingly {da voi broda}).  Similarly, "the x such that
> Fyx" is {da poi de se broda da[/ke'a]} in {da poi} syntax, and {lo se broda
> be de} as a gadrified sumti (note the necessity for the link with {be};
> also note I'm glossing over the implicit existential quantifier on {de} as
> well).
> 
> Given this parity between {lo broda} and {da poi broda}, you can easily see
> how to create something of any complexity: 
> 
> da poi le nu rode rodi zo'u de krici lenu di zmadu da kei kei cu na cumki

Correct. But logician's "the" is not "le" at all, but is really "da
poi pamei", "the unique thing ...".

-- 
John Cowan                                   cowan@ccil.org
       I am a member of a civilization. --David Brin