From a.rosta@dtn.ntl.com Fri Sep 28 14:54:35 2001 Return-Path: X-Sender: a.rosta@dtn.ntl.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_4_1); 28 Sep 2001 21:53:32 -0000 Received: (qmail 87100 invoked from network); 28 Sep 2001 21:53:32 -0000 Received: from unknown (10.1.10.27) by 10.1.1.223 with QMQP; 28 Sep 2001 21:53:32 -0000 Received: from unknown (HELO mta03-svc.ntlworld.com) (62.253.162.43) by mta2 with SMTP; 28 Sep 2001 21:54:34 -0000 Received: from andrew ([62.253.88.199]) by mta03-svc.ntlworld.com (InterMail vM.4.01.03.00 201-229-121) with SMTP id <20010928215432.CGJJ23687.mta03-svc.ntlworld.com@andrew> for ; Fri, 28 Sep 2001 22:54:32 +0100 Reply-To: To: Subject: RE: [lojban] Set of answers encore Date: Fri, 28 Sep 2001 22:53:49 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) In-Reply-To: <90.1a7e7765.28e49ca3@aol.com> X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 Importance: Normal From: "And Rosta" pc: > arosta@uclan.ac.uk writes: > "da zo'u There is a proposition p such that p is true just in case da is > extension of tu'odu'u ce'u klama kei and John believes that p" > > Well, in one sense it is hard to complain about this, since it covers > the extension/intension problem nicely. I am now off again worrying > about what soert of thing the extension of {tu'o du'u ce'u klama kei} > is, as a result of a discussion on some other topic. Don't worry too much, because by 'extension' I mean "the set of (ordered) n-tuples that can fill the n ce'u slots & yield true propositions". I'm quite happy to use some term other than 'extension' (ideally, a lujvo). --And