From lojban-out@lojban.org Tue Mar 21 10:44:30 2006 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 74140 invoked from network); 21 Mar 2006 18:44:29 -0000 Received: from unknown (66.218.67.33) by m22.grp.scd.yahoo.com with QMQP; 21 Mar 2006 18:44:29 -0000 Received: from unknown (HELO chain.digitalkingdom.org) (64.81.49.134) by mta7.grp.scd.yahoo.com with SMTP; 21 Mar 2006 18:44:29 -0000 Received: from lojban-out by chain.digitalkingdom.org with local (Exim 4.60) (envelope-from ) id 1FLlqD-0007Rd-VY for lojban@yahoogroups.com; Tue, 21 Mar 2006 10:44:26 -0800 Received: from chain.digitalkingdom.org ([64.81.49.134]) by chain.digitalkingdom.org with esmtp (Exim 4.60) (envelope-from ) id 1FLlod-0006sO-2P; Tue, 21 Mar 2006 10:42:47 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Tue, 21 Mar 2006 10:42:38 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.60) (envelope-from ) id 1FLloA-0006fp-HS for lojban-list-real@lojban.org; Tue, 21 Mar 2006 10:42:18 -0800 Received: from zproxy.gmail.com ([64.233.162.197]) by chain.digitalkingdom.org with esmtp (Exim 4.60) (envelope-from ) id 1FLlo8-0006fC-KN for lojban-list@lojban.org; Tue, 21 Mar 2006 10:42:18 -0800 Received: by zproxy.gmail.com with SMTP id n29so54223nzf for ; Tue, 21 Mar 2006 10:42:14 -0800 (PST) Received: by 10.37.2.80 with SMTP id e80mr949347nzi; Tue, 21 Mar 2006 10:42:14 -0800 (PST) Received: by 10.37.20.27 with HTTP; Tue, 21 Mar 2006 10:42:14 -0800 (PST) Message-ID: Date: Tue, 21 Mar 2006 13:42:14 -0500 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_13384_6084510.1142966534588" X-Spam-Score: -2.1 (--) X-archive-position: 11198 X-ecartis-version: Ecartis v1.0.0 Errors-to: lojban-list-bounce@lojban.org X-original-sender: matt.mattarn@gmail.com X-list: lojban-list X-Spam-Score: -2.1 (--) To: lojban@yahoogroups.com X-Originating-IP: 64.81.49.134 X-eGroups-Msg-Info: 1:12:0:0 X-eGroups-From: "Matt Arnold" From: "Matt Arnold" Reply-To: matt.mattarn@gmail.com Subject: [lojban] ce'u: lambda X-Yahoo-Group-Post: member; u=116389790; y=ApStsMv9NoHQ3lsZgOCmAQ6sgINuiDJBZ5jJujScu7rG1Ybs-g X-Yahoo-Profile: lojban_out X-Yahoo-Message-Num: 25608 ------=_Part_13384_6084510.1142966534588 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Several months ago, when I got to the flashcard for {ce'u} in my Supermemo database, I saw that the gloss word was "lambda". I looked to the note of the card to see what that meant. It read: "pseudo-quantifier binding a variable within an abstraction that represents an open place." Without further explanation this left me as ignorant as I had been before. When I finished laughing in delight at the elaborately gnarled obscurity of my second language, I skipped over the card to leave i= t for last (or nearly last, at least before mekso). It now appears that I need it more than I expected. I have been surprised t= o see {ce'u} used multiple times in jboselkei. In practical terms, what does it mean to be a pseudo-quantifier binding a variable within an abstraction that represents an open place? -epkat ------=_Part_13384_6084510.1142966534588 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Several months ago, when I got to the flashcard for {ce'u} in my Supermemo = database, I saw that the gloss word was "lambda".

I looke= d to the note of the card to see what that meant. It read: "pseudo-qua= ntifier binding a variable within an abstraction that represents an open pl= ace." Without further explanation this left me as ignorant as I had be= en before. When I finished laughing in delight at the elaborately gnarled o= bscurity of my second language, I skipped over the card to leave it for las= t (or nearly last, at least before mekso).

It now appears that I need it more than I expected. I have been sur= prised to see {ce'u} used multiple times in jboselkei. In practical terms, = what does it mean to be a pseudo-quantifier binding a variable within an ab= straction that represents an open place?

-epkat
------=_Part_13384_6084510.1142966534588--