From sentto-44114-2149-mark=kli.org@returns.onelist.com Fri Mar 03 13:19:01 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 29221 invoked from network); 3 Mar 2000 13:19:00 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 3 Mar 2000 13:19:00 -0000 Received: (qmail 10831 invoked by uid 40001); 3 Mar 2000 13:19:01 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 10828 invoked from network); 3 Mar 2000 13:18:59 -0000 Received: from fk.egroups.com (208.50.144.73) by zash.lupine.org with SMTP; 3 Mar 2000 13:18:59 -0000 X-eGroups-Return: sentto-44114-2149-mark=kli.org@returns.onelist.com Received: from [10.1.10.38] by fk.egroups.com with NNFMP; 03 Mar 2000 13:18:58 -0000 Received: (qmail 10091 invoked from network); 3 Mar 2000 13:18:56 -0000 Received: from unknown (10.1.10.26) by m4.onelist.org with QMQP; 3 Mar 2000 13:18:56 -0000 Received: from unknown (HELO mailhost.pemail2.net) (195.92.25.8) by mta1.onelist.com with SMTP; 3 Mar 2000 13:18:55 -0000 Received: (qmail 460 invoked from network); 3 Mar 2000 13:18:53 -0000 Received: from m534-mp1-cvx1c.gui.ntl.com (HELO andrew) (62.252.14.22) by mailhost.pemail2.net with SMTP; 3 Mar 2000 13:18:53 -0000 To: "lojban" Message-ID: X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 MIME-Version: 1.0 Mailing-List: list lojban@onelist.com; contact lojban-owner@onelist.com Delivered-To: mailing list lojban@onelist.com Precedence: bulk List-Unsubscribe: Date: Fri, 3 Mar 2000 13:19:44 -0000 X-eGroups-From: "And Rosta" From: "And Rosta" Subject: [lojban] final clubs Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit From: "And Rosta" John: >Which leads me to the following challenge, due to Quine. A student at Yale >may belong to zero or more clubs. Some clubs are final clubs. A final >club is defined as "a club such that membership in it precludes membership >in any other final club". > >Express the definition of "final club" in good Lojban without circularity. Is the definition not inherently circular? The only way you'd know what was a Final Club would be by listing all Final Clubs, at least given the 'definition' you give. Or is the definition more like this: "a club such that membership in it precludes membership in any (every) other club that precludes membership in any (some) other club"? At any rate, the problem is in understand what counts as a final club. One you do that, then defining it in Lojban is trivial. --And. ------------------------------------------------------------------------ GET A NEXTCARD VISA, in 30 seconds! Get rates as low as 0.0% Intro or 9.9% Fixed APR and no hidden fees. Apply NOW! http://click.egroups.com/1/937/1/_/17627/_/952089536/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com