From bpfk-list+bncCJ2UzZHuDRDioeHlBBoEWut2dw@googlegroups.com Fri Oct 15 06:02:42 2010 Received: from mail-ww0-f61.google.com ([74.125.82.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1P6jvj-0006DN-7s; Fri, 15 Oct 2010 06:02:42 -0700 Received: by wwe15 with SMTP id 15sf413453wwe.16 for ; Fri, 15 Oct 2010 06:02:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:mime-version:received:received :in-reply-to:references:date:message-id:subject:from:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:list-post:list-help:list-archive :sender:list-subscribe:list-unsubscribe:content-type; bh=3PnEmuwz1vlibh1YgevSPCarsSeL/XTAJ+yh1LVAZi0=; b=gTYUUwezHmorATEBGOh9JZ42Fm/GiBgMYkyfJcVZ/9+6WOFlr6s9KqixUN2aSKmGx2 gYurONse3wLktfal1ov5DQ5bfiCp00M0/NTVHAn0PoFtPXv0+EJwPtNAl5cNCeTiVOi+ 7gxUdoVLmyZhCX976AlWeYzFv3sA3MQfwutmI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; b=K4WYmzLM5DfmxQ2DLC2fYDw18lReQAEi4Nox4p1zGyZ4Hsxys3RktDh9iiA2/UJdqY kMlhvK/AOdraGBrJCFogJAgcWpBBJk1/WYwvvephJh/rvZ2tqJieP3BEtDxjPPGVM1t5 piakfcTDHuPa9lhtj82X+qLrqcTaDWzgic5Qc= Received: by 10.216.237.212 with SMTP id y62mr756588weq.2.1287147746971; Fri, 15 Oct 2010 06:02:26 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.216.198.162 with SMTP id v34ls1556687wen.3.p; Fri, 15 Oct 2010 06:02:26 -0700 (PDT) Received: by 10.216.239.7 with SMTP id b7mr76977wer.2.1287147746161; Fri, 15 Oct 2010 06:02:26 -0700 (PDT) Received: by 10.216.239.7 with SMTP id b7mr76976wer.2.1287147746078; Fri, 15 Oct 2010 06:02:26 -0700 (PDT) Received: from mail-ww0-f51.google.com (mail-ww0-f51.google.com [74.125.82.51]) by gmr-mx.google.com with ESMTP id l2si1274899weq.13.2010.10.15.06.02.25; Fri, 15 Oct 2010 06:02:25 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.51 as permitted sender) client-ip=74.125.82.51; Received: by mail-ww0-f51.google.com with SMTP id 28so772801wwb.20 for ; Fri, 15 Oct 2010 06:02:25 -0700 (PDT) MIME-Version: 1.0 Received: by 10.227.144.18 with SMTP id x18mr857270wbu.190.1287147744851; Fri, 15 Oct 2010 06:02:24 -0700 (PDT) Received: by 10.227.145.130 with HTTP; Fri, 15 Oct 2010 06:02:24 -0700 (PDT) In-Reply-To: References: <70c95ba0-9cc9-4639-8e30-5e486d25cf2b@q3g2000pra.googlegroups.com> <9572835c-55f6-4644-be9b-dd9601570d8d@m35g2000prc.googlegroups.com> Date: Fri, 15 Oct 2010 10:02:24 -0300 Message-ID: Subject: Re: [bpfk] Re: O HAI I FIXT UR LODGEBANZ From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: bpfk-list@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.51 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: bpfk-list@googlegroups.com Precedence: list Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: bpfk-list@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 On Fri, Oct 15, 2010 at 12:23 AM, Jonathan Jones wrote: >> >> > (1) jei = du'u xu kau >> >> > (2) x1 jei (bridi) kei x2 = x1 se jetlai lo du'u (bridi) kei x2 > > It looks to me as though the distinction between 1) and 2) is, 1) can have a > value of 0 or 1, whereas 2) can have any value between 0 and 1 inclusive. No, that's not it. In (1) "jei" is a du'u, it's the kind of thing you can use as the x2 of djuno, facki, jdice, senpi, and so on. Also, it's fine to answer a "xu" question with "je'u ru'e" or whatever method you want to use for intermediate truth values. But in (1) jei is a proposition, not a number. In (2) it is a number, not a du'u, not something you want as the x2 of djuno, facki, jdice, senpi, etc. mu'o mi'e xorxes -- You received this message because you are subscribed to the Google Groups "BPFK" group. To post to this group, send email to bpfk-list@googlegroups.com. To unsubscribe from this group, send email to bpfk-list+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/bpfk-list?hl=en.