Re: [bpfk] CLL Check: Only If

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Sat, Oct 30, 2010 at 09:27:30AM -0300, Jorge Llambías wrote:
> On Sat, Oct 30, 2010 at 2:00 AM, Robin Lee Powell
> <rlpowell@digitalkingdom.org> wrote:
> >
> > Apologies for the HTML.  Here's what's in the books as far as I can
> > tell:
> >
> > - -------------
> >
> > <p><a href="../4/#e10">Example 4.10</a>, which uses the TFTT truth function, is subject to the same rules: the stated gloss of TFTT
> > as “only if” 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="../4/#e10">Example 4.10</a> illustrates the use of “if ... then” as a more natural substitute for “only
> >  if”.</p>
> > <pre>
> > <a id="e10" name="e10">4.10)</a>  la djan. nanmu .inaja la djeimyz. ninmu
> >       John is-not-a-man or James is-a-woman.
> >       John is a man only if James is a woman.
> >       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.  The t,f case is false here.
> >
> > Am I missing something?  What should this say?
> 
> The intention probably was:
> 
> <<
> the stated gloss of TFTT as “only if” 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. 

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

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

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