Received: from mail-px0-f189.google.com ([209.85.212.189])
	by chain.digitalkingdom.org with esmtp (Exim 4.71)
	(envelope-from <lojban-beginners+bncCML0xpmUARCnt-PeBBoE6XeOew@googlegroups.com>)
	id 1O7IDP-000897-Tl; Wed, 28 Apr 2010 18:07:02 -0700
Received: by pxi11 with SMTP id 11sf2176702pxi.16
        for <multiple recipients>; Wed, 28 Apr 2010 18:06:50 -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:received:received:received:received
         :mime-version:received:received:date:message-id:subject:from:to
         :x-original-authentication-results:x-original-sender:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :sender:list-subscribe:list-unsubscribe:content-type;
        bh=nHLB7Al+nD76FEKc3dHS641ypIFzryb/modLqUQf/eo=;
        b=BydTUjh5caOG2XMPPchc+mwSieanW9M5/wdOU9r3xJTOVPaUgPq7LhbzKM6RLz74/e
         YvW8sRUFfuHGfPNPsAg8ASFzX1Q4G0qgm8Z9algu0ZZDs2Iu2FkbmaYfCflik7SIp5ng
         nzDwmXyG8XOTignK5RtOIQGaklDDzf1jxr91k=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:date:message-id:subject:from
         :to:x-original-authentication-results:x-original-sender:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :sender:list-subscribe:list-unsubscribe:content-type;
        b=XHpK8BLLMNmvZ/jnFcNJYfnGPrV4SmqQpRL62XFLb5+kXOYckOKLredi4UT8pV8XXb
         jGqSAMkIBeZ51NkX4LKiHyUc6ZTOdmdSSPNRZcRbDVU/60IFGyLkbgq+NAcswA4QOSaj
         Q1UAbgnhp8AoRGhan4xYPODwI5+l12Zl9+z4M=
Received: by 10.114.242.5 with SMTP id p5mr118700wah.14.1272503207720;
        Wed, 28 Apr 2010 18:06:47 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.115.133.33 with SMTP id k33ls54549606wan.2.p; Wed, 28 Apr 2010 
	18:06:46 -0700 (PDT)
Received: by 10.115.115.4 with SMTP id s4mr1646786wam.20.1272503206274;
        Wed, 28 Apr 2010 18:06:46 -0700 (PDT)
Received: by 10.115.115.4 with SMTP id s4mr1646785wam.20.1272503206229;
        Wed, 28 Apr 2010 18:06:46 -0700 (PDT)
Received: from mail1.sea5.speakeasy.net (mail1.sea5.speakeasy.net [69.17.117.39])
        by gmr-mx.google.com with ESMTP id 35si248259wac.5.2010.04.28.18.06.44;
        Wed, 28 Apr 2010 18:06:45 -0700 (PDT)
Received-SPF: neutral (google.com: 69.17.117.39 is neither permitted nor denied by best guess record for domain of nobody@digitalkingdom.org) client-ip=69.17.117.39;
Received: (qmail 26925 invoked from network); 29 Apr 2010 01:06:44 -0000
Received: from chain.digitalkingdom.org ([64.81.66.169])
          (envelope-sender <nobody@digitalkingdom.org>)
          by mail1.sea5.speakeasy.net (qmail-ldap-1.03) with AES256-SHA encrypted SMTP
          for <lojban-beginners@googlegroups.com>; 29 Apr 2010 01:06:44 -0000
Received: from nobody by chain.digitalkingdom.org with local (Exim 4.71)
	(envelope-from <nobody@digitalkingdom.org>)
	id 1O7IDC-000891-QT
	for lojban-beginners@googlegroups.com; Wed, 28 Apr 2010 18:06:43 -0700
Received: from mail-qy0-f179.google.com ([209.85.221.179])
	by chain.digitalkingdom.org with esmtp (Exim 4.71)
	(envelope-from <blindbravado@gmail.com>)
	id 1O7ID8-00088i-Il
	for lojban-beginners@lojban.org; Wed, 28 Apr 2010 18:06:42 -0700
Received: by qyk9 with SMTP id 9so22201283qyk.1
        for <lojban-beginners@lojban.org>; Wed, 28 Apr 2010 18:06:32 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.229.219.203 with SMTP id hv11mr10599952qcb.46.1272503192189; 
	Wed, 28 Apr 2010 18:06:32 -0700 (PDT)
Received: by 10.229.71.8 with HTTP; Wed, 28 Apr 2010 18:06:32 -0700 (PDT)
Date: Wed, 28 Apr 2010 21:06:32 -0400
Message-ID: <t2x1f1080831004281806i92abf3efib1837ca2b71b1e5b@mail.gmail.com>
Subject: [lojban-beginners] Conditionals--da'i etc.
From: Ian Johnson <blindbravado@gmail.com>
To: lojban-beginners@lojban.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=neutral (google.com: 
	69.17.117.39 is neither permitted nor denied by best guess record for domain 
	of nobody@digitalkingdom.org) smtp.mail=nobody@digitalkingdom.org; dkim=pass 
	(test mode) header.i=@gmail.com
X-Original-Sender: blindbravado@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact 
	lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, 
	<mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>, 
	<mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>, 
	<mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: multipart/alternative; boundary=0016362849e0bf0248048555bc92
Content-Length: 3021

--0016362849e0bf0248048555bc92
Content-Type: text/plain; charset=ISO-8859-1

Off the top of my head I can think of basically 3 main conditional cases:
If p, which is definitely possible, then q
If p, which might happen, then q
If p, which is known to be false, then q

The case "if p, which is definitely true, then q" is also there but I can't
see much reason to use that outside of very formal settings like
mathematical proofs.

How do we express these, exactly? The way I understand {da'i} is that {.i
ganai broda gi brode} is case 1 and {.i da'i ganai brode gi brode} is case
2. Do I understand these correctly? If so, how does case 3 (the
contrary-to-fact case) work?

A related question that came to mind when I considered what {da'inai} means
in the dictionary: does {nai nai} simply not do anything if attached to a
UI? I ask because I see "supposing" as one thing, "in fact" as another, and
"contrary to fact" as yet another. The latter two seem like they could
potentially be opposites.

mu'o mi'e latros.

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.


--0016362849e0bf0248048555bc92
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Off the top of my head I can think of basically 3 main conditional cases:<b=
r>If p, which is definitely possible, then q<br>If p, which might happen, t=
hen q<br>If p, which is known to be false, then q<br><br>The case &quot;if =
p, which is definitely true, then q&quot; is also there but I can&#39;t see=
 much reason to use that outside of very formal settings like mathematical =
proofs.<br>
<br>How do we express these, exactly? The way I understand {da&#39;i} is th=
at {.i ganai broda gi brode} is case 1 and {.i da&#39;i ganai brode gi brod=
e} is case 2. Do I understand these correctly? If so, how does case 3 (the =
contrary-to-fact case) work?<br>
<br>A related question that came to mind when I considered what {da&#39;ina=
i} means in the dictionary: does {nai nai} simply not do anything if attach=
ed to a UI? I ask because I see &quot;supposing&quot; as one thing, &quot;i=
n fact&quot; as another, and &quot;contrary to fact&quot; as yet another. T=
he latter two seem like they could potentially be opposites.<br>
<br>mu&#39;o mi&#39;e latros.<br>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
Lojban Beginners" group.<br />
To post to this group, send email to lojban-beginners@googlegroups.com.<br =
/>
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@=
googlegroups.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
-beginners?hl=3Den.<br />



--0016362849e0bf0248048555bc92--