Received: from mail-wy0-f189.google.com ([74.125.82.189])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <bpfk-list+bncCJ2UzZHuDRC0nrDmBBoEqOW_pA@googlegroups.com>)
	id 1PCAXA-0004ab-D1; Sat, 30 Oct 2010 05:27:47 -0700
Received: by wyb38 with SMTP id 38sf2270637wyb.16
        for <multiple recipients>; Sat, 30 Oct 2010 05:27:38 -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
         :content-transfer-encoding;
        bh=mfW83iLS5kSzLYA7PoPwVwD531zUGTRdGCL8t/MyiBs=;
        b=3dwT1P/q4ABAhnzsC9cF9ko8x3dO5x3pAu1QoO1hCslc6aicZScOv9rblG0fBHnz+2
         mWrDQEGuf35WVEt27YDRTIeqzBZiaYn83sKob/4ZhE+efxzYdnrhkOtiM7quug4oS1BP
         dM7lg4RJCUpNt9BaEaEHZ3eyedVglIG8d3AT0=
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:content-transfer-encoding;
        b=5e5YXyt086vtPX5zQux+6W/xN3alWATclaITy48y1gPkWCD7RlqWxe4cG0xyucS0n5
         rkCi7EEG/gN6I4llSAxDuBqqZI5fodWPh4Pn3EHg+zK7BgNQDwX3TiHdGmqffqcZMmna
         ZOTef2dgnEhr4n1svfyGTmnWcG9NdZjDYWw5I=
Received: by 10.216.237.35 with SMTP id x35mr1990104weq.5.1288441652357;
        Sat, 30 Oct 2010 05:27:32 -0700 (PDT)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.216.58.143 with SMTP id q15ls1673388wec.1.p; Sat, 30 Oct 2010
 05:27:31 -0700 (PDT)
Received: by 10.216.46.19 with SMTP id q19mr36725web.0.1288441651445;
        Sat, 30 Oct 2010 05:27:31 -0700 (PDT)
Received: by 10.216.46.19 with SMTP id q19mr36724web.0.1288441651415;
        Sat, 30 Oct 2010 05:27:31 -0700 (PDT)
Received: from mail-ww0-f45.google.com (mail-ww0-f45.google.com [74.125.82.45])
        by gmr-mx.google.com with ESMTP id l5si1107863weq.15.2010.10.30.05.27.30;
        Sat, 30 Oct 2010 05:27:30 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 74.125.82.45 as permitted sender) client-ip=74.125.82.45;
Received: by mail-ww0-f45.google.com with SMTP id 40so4130295wwj.26
        for <bpfk-list@googlegroups.com>; Sat, 30 Oct 2010 05:27:30 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.227.133.140 with SMTP id f12mr729931wbt.139.1288441650099;
 Sat, 30 Oct 2010 05:27:30 -0700 (PDT)
Received: by 10.227.32.140 with HTTP; Sat, 30 Oct 2010 05:27:30 -0700 (PDT)
In-Reply-To: <20101030050036.GS1105@digitalkingdom.org>
References: <20101030050036.GS1105@digitalkingdom.org>
Date: Sat, 30 Oct 2010 09:27:30 -0300
Message-ID: <AANLkTim5NsTw_dymxAqSNGV1ByYm0QmHQpbGF8NyY=kz@mail.gmail.com>
Subject: Re: [bpfk] CLL Check: Only If
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: bpfk-list@googlegroups.com, bpfk@lojban.org
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.45 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: <bpfk-list.googlegroups.com>
List-Post: <http://groups.google.com/group/bpfk-list/post?hl=en_US>, <mailto:bpfk-list@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:bpfk-list+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/bpfk-list?hl=en_US>
Sender: bpfk-list@googlegroups.com
List-Subscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>, <mailto:bpfk-list+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>,
 <mailto:bpfk-list+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable
Content-Length: 2974

On Sat, Oct 30, 2010 at 2:00 AM, Robin Lee Powell
<rlpowell@digitalkingdom.org> wrote:
>
> Apologies for the HTML. =A0Here's what's in the books as far as I can
> tell:
>
> - -------------
>
> <p><a href=3D"../4/#e10">Example 4.10</a>, which uses the TFTT truth func=
tion, 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 <a href=3D"../4/#e10">Example 4.10</a> illustrates th=
e use of =93if ... then=94 as a more natural substitute for =93only
> =A0if=94.</p>
> <pre>
> <a id=3D"e10" name=3D"e10">4.10)</a> =A0la djan. nanmu .inaja la djeimyz.=
 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.
> </pre>
>
> - -------------
>
> "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?

The intention probably was:

<<
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.
>>

But I find the whole discussion between examples 4.8 and 4.10 somewhat
confusing. The examples should not use tendentiously true ("John is a
man") or false ("James is a woman") statements. They should use
neutral statements, that can be either true or false, as well as being
causally unrelated. Say "John's car is blue" and "James' car is red".

       John's car is blue only if James' car is red.

tells us something about the color of John's car when we know that
James' car is not red. When we know that James' car is red, that
sentence doesn't tell us anything about the color of John's car. That
may be what is being called "unnatural", something like
"uninformative". In the English gloss we expect this sentence to be
information about John's car, because "John's car" is the subject. If
we know that James' car is red, that sentence, if true, is
uninformative (and hence somewhat "unnatural", we don't usually go
around stating empty truths).

The difference with the Lojban is that "if" and "only if" are
subordinators in English, while ".inaja" and ".ijanai" are proper
sentence connectives. So in Lojban there is no reason to expect this
statement to be information about John's car any more than it could be
information about James' car. That's where the "unnaturality" comes
from, I suppose.

mu'o mi'e xorxes

--=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.