From LOJBAN@CUVMB.CC.COLUMBIA.EDU  Sat Mar  6 22:59:16 2010
Return-Path: <LOJBAN@CUVMB.CC.COLUMBIA.EDU>
Delivered-To: veion@XIRON.PC.HELSINKI.FI
Received: (qmail 5747 invoked from network); 24 Nov 1996 19:51:08 -0000
Received: from SEGATE.SUNET.SE (192.36.125.6)
  by xiron.pc.helsinki.fi with SMTP; 24 Nov 1996 19:51:08 -0000
Received: from listmail.sunet.se by SEGATE.SUNET.SE (LSMTP for OpenVMS v1.1a) with SMTP id <9.ABCA34FD@SEGATE.SUNET.SE>; Sun, 24 Nov 1996 20:51:04 +0100
Date:         Sun, 24 Nov 1996 14:50:34 -0500
Reply-To:     "Mark E. Shoulson" <shoulson@CS.COLUMBIA.EDU>
Sender:       Lojban list <LOJBAN@CUVMB.BITNET>
From:         "Mark E. Shoulson" <shoulson@CS.COLUMBIA.EDU>
Subject:      Re: subordinate interrogatives
X-To:         lojban@cuvmb.cc.columbia.edu
To:           Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>
In-Reply-To:  <199611230229.VAA27090@cs.columbia.edu>
              (jorge%INTERMEDIA.COM.AR@CUVMB.CC.COLUMBIA.EDU)
Content-Length: 792
Lines: 24
Message-ID: <UteHG7DaSKD.A.gFC.E70kLB@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