Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.71) (envelope-from ) id 1O7cm7-0002wg-3M; Thu, 29 Apr 2010 16:04:14 -0700 Received: by pxi11 with SMTP id 11sf2629168pxi.16 for ; Thu, 29 Apr 2010 16:04:01 -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-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=Kwlr/FTjacxxymB15wFvjJSb/MBr1AOBPspTvBsjWLo=; b=ANhqrtyiejJLrcH+u2H1h/hFg8dSIMz0ZvvyIthmKFll5Q0tiFoAp5ThIk5IHRdKdW 4eJG3GNrC0NwZobs/qEYIk86wOXVjBnuVhbvIDF9Jo4cyEThuicsdinWQQI2vbIE99h1 W1yZ7pDiDNPNmWQMfsqqWyOC/8+FL8m9vDSpA= 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-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=h4SzhDWB8WNcAbRKTYOCubE0CgZ502zjzCw7nnjeix8yltbu1w7xRe59+3Icw+XGcD m3I8DrzPZKkkzoNyjlpjk4VqlPZ1KedTjjhi+VTg3pRibMBr3y2JVVaeTS9qrwRfwy7Z 2cAZpvWxyPDnxPk//Z9tHisbDYFBKgq5r7KFU= Received: by 10.142.248.35 with SMTP id v35mr942434wfh.47.1272582238349; Thu, 29 Apr 2010 16:03:58 -0700 (PDT) X-BeenThere: lojban-beginners@googlegroups.com Received: by 10.142.8.28 with SMTP id 28ls60419769wfh.0.p; Thu, 29 Apr 2010 16:03:57 -0700 (PDT) Received: by 10.142.119.40 with SMTP id r40mr984314wfc.19.1272582237323; Thu, 29 Apr 2010 16:03:57 -0700 (PDT) Received: by 10.142.119.40 with SMTP id r40mr984313wfc.19.1272582237288; Thu, 29 Apr 2010 16:03:57 -0700 (PDT) Received: from mail-vw0-f45.google.com (mail-vw0-f45.google.com [209.85.212.45]) by gmr-mx.google.com with ESMTP id u10si1020086wak.2.2010.04.29.16.03.55; Thu, 29 Apr 2010 16:03:56 -0700 (PDT) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.45 as permitted sender) client-ip=209.85.212.45; Received: by vws3 with SMTP id 3so2731198vws.18 for ; Thu, 29 Apr 2010 16:03:55 -0700 (PDT) MIME-Version: 1.0 Received: by 10.220.61.201 with SMTP id u9mr7191149vch.40.1272582235409; Thu, 29 Apr 2010 16:03:55 -0700 (PDT) Received: by 10.220.167.142 with HTTP; Thu, 29 Apr 2010 16:03:55 -0700 (PDT) In-Reply-To: References: <4BD94677.6060909@lojban.org> Date: Thu, 29 Apr 2010 19:03:55 -0400 Message-ID: Subject: Re: [lojban-beginners] Conditionals--da'i etc. From: Ian Johnson To: lojban-beginners@googlegroups.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 209.85.212.45 as permitted sender) smtp.mail=blindbravado@gmail.com; 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: List-Post: , List-Help: , List-Archive: Sender: lojban-beginners@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=e0cb4e4e60d516d00304856824b7 Content-Length: 9920 --e0cb4e4e60d516d00304856824b7 Content-Type: text/plain; charset=ISO-8859-1 Related question: how is nibli defined, exactly? Based on what I've learned in logic-heavy math classes, this should be true: .i lo du'u broda cu nibli lo du'u brode .ijo ganai broda gi brode Is it? On Thu, Apr 29, 2010 at 9:24 AM, Ian Johnson wrote: > I suspected the answer would be something along these lines, actually, > although I didn't think there might be quite that many choices. Thank you. > > On Thu, Apr 29, 2010 at 4:42 AM, Robert LeChevalier wrote: > >> Ian Johnson wrote: >> >>> 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. >>> >> >> I don't think da'i necessary applies to any of the above. Lojban is >> extremely rich in expressions of how true something might be - indeed >> possibly too rich, so that people tend to use one or two of the options and >> not consider the others. >> >> je'u/je'unai discursively indicate a degree of truth >> la'a/la'anai discursively indicate a degree of probability >> Those two series cover all of your examples, and each can be modified with >> cai, sai, ru'e, and cu'i to give a scalar degree. >> There are other discursives that could express truth-related claims: >> ba'u/ba'unai indicates a scale from exaggeration to understatement with >> accuracy in the middle. >> and >> do'a/do'anai indicating a scale of generous vs. parsimonious, which in >> questions of truth, I understand as referring to a degree of rigour or >> adherence to rigid and consistent epistemology. >> ju'o/ju'onai indicate a degree to which the speaker personally knows that >> the statement is true or not, similar to je'u but again focusing on the >> speaker's choice of epistemology. >> I see sa'e/sa'enai as similar to (but in a reverse direction from) do'a >> but referring to how carefully or precisely the speaker is expressing what >> might be evaluated for truth. >> >> da'i/da'inai indicates supposition as opposed to truth. Something marked >> with da'i says nothing about whether it might or might not be true. da'inai >> is close to je'u, but is contrasted with supposition rather than falsity. >> It has been used in Lojban as a shortcut form of the subjunctive or >> counterfactual found in natural languages, but as the above options show, >> may not always be the most precise way of expressing the manner or degree to >> which a bridi may be perfectly rigidly true and factual and precisely >> expressed. >> >> lojbab >> >> >> >> -- >> 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. >> >> > -- 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. --e0cb4e4e60d516d00304856824b7 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Related question: how is nibli defined, exactly? Based on what I've lea= rned in logic-heavy math classes, this should be true:

.i lo du'= u broda cu nibli lo du'u brode .ijo ganai broda gi brode

Is it?<= br>
On Thu, Apr 29, 2010 at 9:24 AM, Ian Johnson= <blindbrava= do@gmail.com> wrote:
I suspected the answer would be something along these lines, actually, alth= ough I didn't think there might be quite that many choices. Thank you.<= br>
On Thu, Apr 29, 2010 at= 4:42 AM, Robert LeChevalier <lojbab@lojban.org> wrote:
Ian Johnson wrote:
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 b= ut 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} i= s case 2. Do I understand these correctly? If so, how does case 3 (the cont= rary-to-fact case) work?

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

I don't think da'i necessary applies to any of the above. =A0Lojban= is extremely rich in expressions of how true something might be - indeed p= ossibly too rich, so that people tend to use one or two of the options and = not consider the others.

je'u/je'unai discursively indicate a degree of truth
la'a/la'anai discursively indicate a degree of probability
Those two series cover all of your examples, and each can be modified with = cai, sai, ru'e, and cu'i to give a scalar degree.
There are other discursives that could express truth-related claims:
ba'u/ba'unai indicates a scale from exaggeration to understatement = with accuracy in the middle.
and
do'a/do'anai indicating a scale of generous vs. parsimonious, which= in questions of truth, I understand as referring to a degree of rigour or = adherence to rigid and consistent epistemology.
ju'o/ju'onai indicate a degree to which the speaker personally know= s that the statement is true or not, similar to je'u but again focusing= on =A0the speaker's choice of epistemology.
I see sa'e/sa'enai as similar to (but in a reverse direction from) = do'a but referring to how carefully or precisely the speaker is express= ing what might be evaluated for truth.

da'i/da'inai indicates supposition as opposed to truth. =A0Somethin= g marked with da'i says nothing about whether it might or might not be = true. =A0da'inai is close to je'u, but is contrasted with suppositi= on rather than falsity. =A0It has been used in Lojban as a shortcut form of= the subjunctive or counterfactual found in natural languages, but as the a= bove options show, may not always be the most precise way of expressing the= manner or degree to which a bridi may be perfectly rigidly true and factua= l and precisely expressed.

lojbab



--
You received this message because you are subscribed to the Google Groups &= quot;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+un= subscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/g= roup/lojban-beginners?hl=3Den.



--
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=3Den.
--e0cb4e4e60d516d00304856824b7--