From bpfk-list+bncCK30vq5WENO6seYEGgSzBfAh@googlegroups.com Sat Oct 30 11:01:06 2010 Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PCFji-0002i4-Ug; Sat, 30 Oct 2010 11:01:06 -0700 Received: by pxi19 with SMTP id 19sf113486pxi.16 for ; Sat, 30 Oct 2010 11:00:57 -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:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to:user-agent :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 :content-disposition:content-transfer-encoding; bh=n0ll2PSwkUtk60Cfm1Gn2WlyIjNsxHK6CvUOQjSa76Y=; b=lWytmRWzfrT+M+cSAqTwUXWJboZZBdsNOhZqwBYi2y/gn3QY2T7VkPS8EAs1cZCtlV jAXcxLNj27gIHfDdKjvWk0uUsGiIz2y67TgZnxmMdbg4x9ks0wt/SoURZVikii7Kt6fL Rn57/dC4whIgRO80bJCX+GABzuE3arY+anIX8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id :mail-followup-to:references:mime-version:in-reply-to:user-agent :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 :content-disposition:content-transfer-encoding; b=jCj2mDaem0OXtn4hyfdP8BvwIz/HBYLBQjX3sPag9OLU5ps+0PgFKsqOrSq2GdLJUc 0efY6q4iqS66Nkmjna5nb41/2dfQcmfXLDXiLCVpUc4BrkPCGztMtrYk59IbBUp+34DR k6Q2pe8rfZ9FbiA2cePZC5LDxA1zyyIadpOPQ= Received: by 10.142.150.5 with SMTP id x5mr134568wfd.62.1288461651306; Sat, 30 Oct 2010 11:00:51 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.142.2.41 with SMTP id 41ls3318240wfb.0.p; Sat, 30 Oct 2010 11:00:50 -0700 (PDT) Received: by 10.142.201.10 with SMTP id y10mr2061802wff.44.1288461650632; Sat, 30 Oct 2010 11:00:50 -0700 (PDT) Received: by 10.142.201.10 with SMTP id y10mr2061801wff.44.1288461650594; Sat, 30 Oct 2010 11:00:50 -0700 (PDT) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id y8si4886567wfj.5.2010.10.30.11.00.50; Sat, 30 Oct 2010 11:00:50 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1PCFjV-0002hn-JL for bpfk-list@googlegroups.com; Sat, 30 Oct 2010 11:00:50 -0700 Date: Sat, 30 Oct 2010 11:00:49 -0700 From: Robin Lee Powell To: bpfk-list@googlegroups.com Subject: Re: [bpfk] CLL Check: Only If Message-ID: <20101030180049.GV1105@digitalkingdom.org> Mail-Followup-To: bpfk-list@googlegroups.com References: <20101030050036.GS1105@digitalkingdom.org> MIME-Version: 1.0 In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org 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=windows-1252 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Sat, Oct 30, 2010 at 09:27:30AM -0300, Jorge Llamb=EDas wrote: > On Sat, Oct 30, 2010 at 2:00 AM, Robin Lee Powell > wrote: > > > > Apologies for the HTML. =A0Here's what's in the books as far as I can > > tell: > > > > - ------------- > > > >

Example 4.10, which uses the TFTT truth fu= nction, is subject to the same rules: the stated gloss of TFTT > > as =93only if=94 works naturally only when the right-hand bridi is true= ; if it is false, the left-hand bridi may be either true or false > > . The last gloss of Example 4.10 illustrates = the use of =93if ... then=94 as a more natural substitute for =93only > > =A0if=94.

> > 
> > 4.10) =A0la djan. nanmu .inaja la djeimy=
z. ninmu
> > =A0 =A0 =A0 John is-not-a-man or James is-a-woman.
> > =A0 =A0 =A0 John is a man only if James is a woman.
> > =A0 =A0 =A0 If John is a man, then James is a woman.
> >
> > > > - ------------- > > > > "if it is false, the left-hand bridi may be either true or false" > > is, as far as I can tell, wrong. =A0The t,f case is false here. > > > > Am I missing something? =A0What should this say? >=20 > The intention probably was: >=20 > << > the stated gloss of TFTT as =93only if=94 works naturally only when the > right-hand bridi is *false*; if it is *true*, the left-hand bridi may > be either true or false. > >> Someone else, ideally John, please confirm that; that looks right to me. -Robin --=20 http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ --=20 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@googleg= roups.com. For more options, visit this group at http://groups.google.com/group/bpfk-l= ist?hl=3Den.