Received: from mail-vc0-f189.google.com ([209.85.220.189]:36801)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJzE7b_XFxC5g_qABRoEEurBaA@googlegroups.com>)
	id 1Sy1jM-0002z1-S0; Sun, 05 Aug 2012 07:23:08 -0700
Received: by vcbfl10 with SMTP id fl10sf2908210vcb.16
        for <multiple recipients>; Sun, 05 Aug 2012 07:22:50 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:date:from:to:cc:message-id:in-reply-to:references
         :subject:mime-version:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:x-google-group-id:list-post:list-help:list-archive:sender
         :list-subscribe:list-unsubscribe:content-type;
        bh=xUxWYEYepDw3X/07teYcMvY4o/wkAT7bg4NpDgVEmWA=;
        b=PpgwNPPq1cGVvqrqnrPjeZCW3+x5v3YEVuKKfVmm4vrAgZowUbDRowo2KCP1kKAmUJ
         EC5SL8K6Yp8z3RdQji+mI6USsQXUL/LyG/s4IqP5TTRF0JlFNC8RIZIvDRw0X6UhCwLj
         fUjuLnuX9DpXumIQUwlLA+5hkw1l8axGWSfJ4=
Received: by 10.236.185.130 with SMTP id u2mr1284971yhm.0.1344176569721;
        Sun, 05 Aug 2012 07:22:49 -0700 (PDT)
X-BeenThere: lojban@googlegroups.com
Received: by 10.236.126.33 with SMTP id a21ls10648636yhi.3.gmail; Sun, 05 Aug
 2012 07:22:49 -0700 (PDT)
Received: by 10.236.184.70 with SMTP id r46mr1276831yhm.12.1344176569131;
        Sun, 05 Aug 2012 07:22:49 -0700 (PDT)
Date: Sun, 5 Aug 2012 07:22:48 -0700 (PDT)
From: djandus <jandew@gmail.com>
To: lojban@googlegroups.com
Cc: jjllambias@gmail.com
Message-Id: <8a3f7b1f-2782-40ef-9576-b10c4f464168@googlegroups.com>
In-Reply-To: <cd638c08-4d8f-4fae-95f4-4f3640708b75@googlegroups.com>
References: <20000625000846.27040.qmail@hotmail.com>
 <e4ff969e-cdc9-4d5b-9cd1-98c474d508fa@googlegroups.com>
 <CAO7tK2essH+B_FaHJPUJY_PMbd99YFzp8c+7NvPMS5=fOKxdqA@mail.gmail.com>
 <cd638c08-4d8f-4fae-95f4-4f3640708b75@googlegroups.com>
Subject: Re: [lojban] RE:Trivalent Logics
MIME-Version: 1.0
X-Original-Sender: jandew@gmail.com
X-Original-Authentication-Results: ls.google.com; spf=pass (google.com: domain of
 jandew@gmail.com designates internal as permitted sender)
 smtp.mail=jandew@gmail.com; dkim=pass
 header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: multipart/alternative; 
	boundary="----=_Part_2049_23987317.1344176568241"
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /

------=_Part_2049_23987317.1344176568241
Content-Type: text/plain; charset=ISO-8859-1

I knew nothing of the existence of trivalent logic before this thread, but 
there is something I can say.

On Sunday, August 5, 2012 3:18:46 AM UTC-5, Gleki Arxokuna wrote:
>
> OK. May be a short tutorial for newbies (non-experts in logic) what this 
> is all about?
> May be some kinda table with normal evidentials and your proposals in 
> another?
> http://aymara.org/biblio/html/igr/igr3.html  looks perfect but 
> incomprehensible for ordinary ponies. 
>
I want something that a 5y.o. could understand.
>
For those interested in diving in, I started getting an idea by instead 
glancing at wikiponia <http://en.wikipedia.org/wiki/Three-valued_logic> and 
then reading over the Aymara document. Also for those diving in, it's 
useful to know that the author of that other link starts with an 
introduction, proceeds to some basic description of bivalent logic when the 
bullets show up, gets into the nitty-gritty description of bivalent logic 
when the tables show up, and finally gets to the trivalent stuff with 
"Representation of trivalent truth-values"

>
> *I BELIEVE THAT IT'S ONE OF FEW GREAT IDEAS THAT LOJBAN CURRENTLY LACKS.*
> So actually I'm quite interested in it.
> Although I don't like redefining the meaning of any cmavo including CAI.
>
I would like to mention here that rather than redefining CAI, you could:

   - define an experimental cmavo as "a trivalent logic marker" and use CAI 
   on it as one was proposing to use CAI on ja'a
   - define a couple of base experimental cmavo to represent a few of the 
   base trivalent logics, as was done in lojban with the bivalent logical 
   connectives, and then define how CAI alter them.


Past that, I actually have a fundamental question that, when answered, 
should probably help a newbie jump into discussion. What are the examples 
(in lojban) of instances what these terms refer to: modal functor, 
connective (two-variable) functor.

Honestly, I find it something that will not be of particular use to me, but 
it sounds pretty cool if {rodo} manage to get it working for yourselves. 
Thus, make an orthogonal usage of Lojban, please.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To view this discussion on the web visit https://groups.google.com/d/msg/lojban/-/Ix28LhmAgyUJ.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.


------=_Part_2049_23987317.1344176568241
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

I knew nothing of the existence of trivalent logic before this thread, but =
there is something I can say.<br><br>On Sunday, August 5, 2012 3:18:46 AM U=
TC-5, Gleki Arxokuna wrote:<blockquote class=3D"gmail_quote" style=3D"margi=
n: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">OK.=
 May be a short tutorial for newbies (non-experts in logic) what this is al=
l about?<div>May be some kinda table with normal evidentials and your propo=
sals in another?</div><div><a href=3D"http://aymara.org/biblio/html/igr/igr=
3.html" target=3D"_blank">http://aymara.org/biblio/html/<wbr>igr/igr3.html<=
/a><ponifytext>&nbsp; looks perfect but incomprehensible for ordinary <poni=
fy title=3D"people">ponies</ponify>.</ponifytext>&nbsp;</div></blockquote><=
blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-left: 0.8ex;bord=
er-left: 1px #ccc solid;padding-left: 1ex;"><div>I want something that a 5y=
.o. could understand.</div></blockquote><div>For those interested in diving=
 in, I started getting an idea by instead glancing at <ponifytext><ponify t=
itle=3D"wikipedia"><a href=3D"http://en.wikipedia.org/wiki/Three-valued_log=
ic"><ponifytext><ponify title=3D"wikipedia"><ponifytext><ponify title=3D"wi=
kipedia">wikiponia</ponify></ponifytext></ponify></ponifytext></a>&nbsp;a</=
ponify></ponifytext>nd then reading over the Aymara document. Also for thos=
e diving in, it's useful to know that the author of that other link starts =
with an introduction, proceeds to some basic description of bivalent logic =
when the bullets show up, gets into the nitty-gritty description of bivalen=
t logic when the tables show up, and finally gets to the trivalent stuff wi=
th "Representation of trivalent truth-values"</div><blockquote class=3D"gma=
il_quote" style=3D"margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid=
;padding-left: 1ex;"><div><br></div><div><b>I BELIEVE THAT IT'S ONE OF FEW =
GREAT IDEAS THAT LOJBAN CURRENTLY LACKS.</b></div><div>So actually I'm quit=
e interested in it.</div><div>Although I don't like redefining the meaning =
of any cmavo including CAI.<br></div></blockquote><div>I would like to ment=
ion here that rather than redefining CAI, you could:</div><div><ul><li>defi=
ne an experimental cmavo as "a trivalent logic marker" and use CAI on it as=
 one was proposing to use CAI on ja'a<br></li><li>define a couple of base e=
xperimental cmavo to represent a few of the base trivalent logics, as was d=
one in lojban with the bivalent logical connectives, and then define how CA=
I alter them.</li></ul><div><br></div></div><div><span style=3D"line-height=
: 17px;">Past that, I actually have a fundamental question that, when answe=
red, should probably help a newbie jump into discussion. What are the examp=
les (in lojban) of instances what these terms refer to: modal functor, conn=
ective (two-variable) functor.</span></div><div><span style=3D"line-height:=
 17px;"><br></span></div><div><span style=3D"line-height: 17px;">Honestly, =
I find it something that will not be of particular use to me, but it sounds=
 pretty cool if {rodo} manage to get it working for yourselves. Thus, make =
an orthogonal usage of Lojban, please.</span></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/d/msg/lojban/-/Ix28LhmAgyUJ">https://groups.google.com/d/msg/lojban/-/Ix=
28LhmAgyUJ</a>.<br />=20
To post to this group, send email to lojban@googlegroups.com.<br />
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.<br />

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



------=_Part_2049_23987317.1344176568241--