From cowan@ccil.org Wed Aug 25 12:29:48 1999 X-Digest-Num: 221 Message-ID: <44114.221.1210.959273825@eGroups.com> Date: Wed, 25 Aug 1999 15:29:48 -0400 (EDT) From: John Cowan Subject: Re: Anselmisms and gadro X-Yahoo-Message-Num: 1210 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