Date: Mon, 2 Feb 2015 22:59:59 -0800 (PST)
From: ravas <ravas@outlook.com>
To: lojban-beginners@googlegroups.com
Message-Id: <555b3462-f947-42b0-8dc8-00782f128988@googlegroups.com>
In-Reply-To: <CAKOEKkTWd6AW+FNYDZayJAXx7jhP7aiOrR_xAxUAEu1a=5sXqQ@mail.gmail.com>
References: <ddf9bf79-6666-498a-a15b-9b960419b8f8@googlegroups.com>
 <CAKOEKkTWd6AW+FNYDZayJAXx7jhP7aiOrR_xAxUAEu1a=5sXqQ@mail.gmail.com>
Subject: Re: [lojban-beginners] ganai-gi and if-then
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_3369_592621419.1422946799032"
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
Sender: lojban-beginners@googlegroups.com
X-Spam_score: 0.8
X-Spam_score_int: 8
X-Spam_bar: /
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org",
 has NOT identified this incoming email as spam.  The original
 message has been attached to this so you can view it or label
 similar future email.  If you have any questions, see
 @@CONTACT_ADDRESS@@ for details.
 
 Content preview:  On Monday, February 2, 2015 at 8:11:23 PM UTC-8, Michael Turniansky
    wrote: > > No. You are making a common mistake of confusing the English "if"
    with > the logician's if. When we are not talking about one thing depending
    on > another ("if I get my car fixed, then we can go to the movies"), but
    rather > logical implication (two statements that relate in their truth value)
    ("if > it is raining, then the ground is wet"). Is that statement true if
    the > ground is wet from a sprinkler, but yet it is sunny?, Yes, because
   we are > only told what happens if it is rainy. But if it is NOT rainy, we
    aren't > making any conclusion about the wetness of the ground, so the combined
    > statement is still true. The only time it can be false if the hypothesis
    > ("it is sunny") is true, but the conclusion ("the ground is wet") is false.
    > [...] 
 
 Content analysis details:   (0.8 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 URIBL_BLOCKED          ADMINISTRATOR NOTICE: The query to URIBL was blocked.
                             See
                             http://wiki.apache.org/spamassassin/DnsBlocklists#dnsbl-block
                              for more information.
                             [URIs: googlegroups.com]
  2.7 DNS_FROM_AHBL_RHSBL    RBL: Envelope sender listed in dnsbl.ahbl.org
                             [listed in googlegroups.com.rhsbl.ahbl.org.	IN]
                             [A]
 -0.0 RCVD_IN_MSPIKE_H2      RBL: Average reputation (+2)
                             [209.85.192.62 listed in wl.mailspike.net]
  0.0 T_HEADER_FROM_DIFFERENT_DOMAINS From and EnvelopeFrom 2nd level mail
                             domains are different
 -0.0 SPF_PASS               SPF: sender matches SPF record
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                             (ravas[at]outlook.com)
  0.0 HTML_MESSAGE           BODY: HTML included in message
 -1.9 BAYES_00               BODY: Bayes spam probability is 0 to 1%
                             [score: 0.0000]
 -0.1 DKIM_VALID             Message has at least one valid DKIM or DK signature
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
  0.0 T_FREEMAIL_FORGED_FROMDOMAIN 2nd level domains in From and
                             EnvelopeFrom freemail headers are different
Content-Length: 4587

------=_Part_3369_592621419.1422946799032
Content-Type: multipart/alternative; 
	boundary="----=_Part_3370_159034347.1422946799032"

------=_Part_3370_159034347.1422946799032
Content-Type: text/plain; charset=UTF-8


On Monday, February 2, 2015 at 8:11:23 PM UTC-8, Michael Turniansky wrote:
>
>   No.  You are making a common mistake of confusing the English "if" with 
> the logician's if.  When we are not talking about one thing depending on 
> another ("if I get my car fixed, then we can go to the movies"), but rather 
> logical implication (two statements that relate in their truth value) ("if 
> it is raining, then the ground is wet").  Is that statement true if the 
> ground is wet from a sprinkler, but yet it is sunny?,   Yes, because we are 
> only told what happens if it is rainy.  But if it is NOT rainy, we aren't 
> making any conclusion about the wetness of the ground, so the combined 
> statement is still true.  The only time it can be false if the hypothesis 
> ("it is sunny") is true, but the conclusion ("the ground is wet") is false.
>

In the example I provided, why is ganai-gi (TFTT) preferred over ge-gi 
(TFFF)?
I don't understand how the last two rows of the truth table resulting in 
True is useful to the statement.
Can the example be translated the same way if we replace ganai with ge?
If not: why not, and what changes?

8.3) ro da zo'u ganai da klama le zarci gi cadzu le foldi
     For-every X: if X is-a-goer-to the store then X is-a-walker-on the 
field.

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners.
For more options, visit https://groups.google.com/d/optout.

------=_Part_3370_159034347.1422946799032
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br>On Monday, February 2, 2015 at 8:11:23 PM UTC-8, Micha=
el Turniansky wrote:<blockquote class=3D"gmail_quote" style=3D"margin: 0;ma=
rgin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div dir=
=3D"ltr">&nbsp; No.&nbsp; You are making a common mistake of confusing the =
English "if" with the logician's if.&nbsp; When we are not talking about on=
e thing depending on another ("if I get my car fixed, then we can go to the=
 movies"), but rather logical implication (two statements that relate in th=
eir truth value) ("if it is raining, then the ground is wet").&nbsp; Is tha=
t statement true if the ground is wet from a sprinkler, but yet it is sunny=
?, &nbsp; Yes, because we are only told what happens if it is rainy.&nbsp; =
But if it is NOT rainy, we aren't making any conclusion about the wetness o=
f the ground, so the combined statement is still true.&nbsp; The only time =
it can be false if the hypothesis ("it is sunny") is true, but the conclusi=
on ("the ground is wet") is false.<br></div></blockquote><div><br><span sty=
le=3D"font-family: verdana,sans-serif;">In the example I provided, why is g=
anai-gi (TFTT) preferred over ge-gi (TFFF)?<br>I don't understand how the l=
ast two rows of the truth table resulting in True is useful to the statemen=
t.<br>Can the example be translated the same way if we replace ganai with g=
e?<br>If not: why not, and what changes?</span><br><span style=3D"font-fami=
ly: courier new,monospace;"><br>8.3)   ro da zo'u ganai da klama le zarci g=
i cadzu le foldi<br>&nbsp;&nbsp;&nbsp;&nbsp;         For-every X: if X is-a=
-goer-to the store then X is-a-walker-on the field.</span><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;Lojban Beginners&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban-beginners+unsubscribe@googlegroups.com">lo=
jban-beginners+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban-beginners@goo=
glegroups.com">lojban-beginners@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban-beginn=
ers">http://groups.google.com/group/lojban-beginners</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

------=_Part_3370_159034347.1422946799032--
------=_Part_3369_592621419.1422946799032--