From bpfk-list+bncCK30vq5WEKq6seYEGgQGJId4@googlegroups.com Sat Oct 30 11:00:35 2010 Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PCFj3-0002ek-VE; Sat, 30 Oct 2010 11:00:35 -0700 Received: by pwi2 with SMTP id 2sf357350pwi.16 for ; Sat, 30 Oct 2010 11:00:16 -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=B/LxBrulYHiEktC/kG+BetqA4mGMwuNey+puMaCNuZc=; b=bJcCJsJTvBjgAEsJQnWHZ0kpY4Q4IKMqFoiYRBt99L/RoLozBsJEoOj7DTGKEQr066 ZE8yin5LDxHMfn7M4Lr3bzXIbI7LYRbzB2GXHrX3URjVBe6yeESppRgIHSy+CFFZoToc DusHGSewH3VERkaXkXDbGgONX2L2w1bT7DLgk= 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=JewnzTAc/RWKRQ3gYURufXXxFsdu84oKX1AS79SGn3lfSOgNMHrWMAY6TQO0vDmVK1 /GolaX6tbG2v9uzlnzvUQxhAdXU1GIVLxaSYi025/kR9SBtuk2SYsz4/PdkuuqXPDVMO BpmN6IAFAmEYW1yD36Zc+DIB0mJneomnnBj4I= Received: by 10.142.150.9 with SMTP id x9mr129552wfd.40.1288461610919; Sat, 30 Oct 2010 11:00:10 -0700 (PDT) X-BeenThere: bpfk-list@googlegroups.com Received: by 10.142.2.41 with SMTP id 41ls3317565wfb.0.p; Sat, 30 Oct 2010 11:00:10 -0700 (PDT) Received: by 10.142.141.3 with SMTP id o3mr2066960wfd.41.1288461609975; Sat, 30 Oct 2010 11:00:09 -0700 (PDT) Received: by 10.142.141.3 with SMTP id o3mr2066958wfd.41.1288461609943; Sat, 30 Oct 2010 11:00:09 -0700 (PDT) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTP id n6si4884139wfl.7.2010.10.30.11.00.09; Sat, 30 Oct 2010 11:00:09 -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 1PCFiq-0002dQ-Tc for bpfk-list@googlegroups.com; Sat, 30 Oct 2010 11:00:09 -0700 Date: Sat, 30 Oct 2010 11:00:08 -0700 From: Robin Lee Powell To: bpfk-list@googlegroups.com Subject: Re: [bpfk] CLL Check: Only If Message-ID: <20101030180008.GU1105@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. > >> >=20 > But I find the whole discussion between examples 4.8 and 4.10 somewhat > confusing.=20 I have every intention of re-writing it to not use the terms "if" or "only if" at all, ever; it's wrong and confusing to a native English speaker. But that is not for today. Today is for correcting errors only. -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.