From LOJBAN@CUVMB.BITNET  Sat Mar  6 22:59:18 2010
Reply-To: "Mark E. Shoulson" <shoulson@CS.COLUMBIA.EDU>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
Date: Mon Nov 25 10:00:56 1996
From: "Mark E. Shoulson" <shoulson@CS.COLUMBIA.EDU>
Subject:      Re: subordinate interrogatives
X-To:         lojban@cuvmb.cc.columbia.edu
To: John Cowan <cowan@LOCKE.CCIL.ORG>
In-Reply-To:  <199611230229.VAA27090@cs.columbia.edu>
              (jorge%INTERMEDIA.COM.AR@CUVMB.CC.COLUMBIA.EDU)
X-UIDL: 33e04e99dc7a877280b95b6ede142f38
X-Mozilla-Status: 0011
Content-Length: 792
X-From-Space-Date: Mon Nov 25 10:00:56 1996
X-From-Space-Address: -
Message-ID: <lGDKRseZF5.A.bGC.G70kLB@chain.digitalkingdom.org>

>Date:         Fri, 22 Nov 1996 23:29:09 -0300
>From: "Jorge J. Llambias" <jorge%INTERMEDIA.COM.AR@CUVMB.CC.COLUMBIA.EDU>
>
>Excellent! Excelentisimo!
>
>Let's see now, we can also do {mokau}:
>
>        ko'a djuno ku'au mi mo kau
>        she  knows that  I  Qu N.I.F.
>        "She knows what I am."
>
>Which expands to:
>
>        ro bu'a zo'u ge da jei zei jei gi ko'a djuno ku'au
>        da jei mi bu'a
>        "For every F(), there is something that is a truth value and
>        that she thinks is the truth value of the proposition F(mi)."

This reminds me of when I first ran into these second-order propositions, I
think with a sentence in the Book of Esther where it says "For she had told
the King what he (Mordecai) was to her."  I don't think we needed a ku'au
for it.

~mark