Received: from mail-ob0-f189.google.com ([209.85.214.189]:64726)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.80.1)
	(envelope-from <bpfk-list+bncBCOJVK5DTQPRBJ7PZKRQKGQEBASZLJI@googlegroups.com>)
	id 1XslVm-0002sT-Af; Sun, 23 Nov 2014 20:44:33 -0800
Received: by mail-ob0-f189.google.com with SMTP id wp4sf1321110obc.16
        for <multiple recipients>; Sun, 23 Nov 2014 20:44:23 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :content-type:x-original-sender:reply-to:precedence:mailing-list
         :list-id:list-post:list-help:list-archive:sender:list-subscribe
         :list-unsubscribe;
        bh=9dpnUHq5ZR/l951MAlhb8zMxWdw3q1cRuXVqUWJxm4o=;
        b=kaaNZVg1bZjecFeOyJiQ2SvAld98Wxj41QxBX+Hcd5pq5qTzOGDtqFW+RILdhtMuCL
         2HVIA1yRiZygj3OGOzqx1+PzfhSwZsT03Lg659nmRRVLRehEs3f5L3p8kjlgo7kNbhrH
         tpmFsqIzQvwBeQz1ryDORT84tQxPEJJgvE2t+dWuPMiRtnmaLXsfxjINHCNWpf/zBovs
         FgU9jRBJXgi+UTRfj8jo4L0SPW03fkpxfkXFgB296Blg1HXkrZvFLG5ksrUFY8IbsKjF
         Jt8aDhjrVbuGr88biP1TVGNVjwPmr4CHphmEXPde4azm8pOdIffRQnU6SUw53JOcgf7R
         9K/A==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :content-type:x-original-sender:reply-to:precedence:mailing-list
         :list-id:list-post:list-help:list-archive:sender:list-subscribe
         :list-unsubscribe;
        bh=9dpnUHq5ZR/l951MAlhb8zMxWdw3q1cRuXVqUWJxm4o=;
        b=IcUZwsyT6q87kUsCxMiSKUa7K/67ofTu2AW2JwNH/TRiouDdeOOolH6ofchUYvcK7A
         gX7p3SkVNgO1e4i1f4S2DA5Be/9WCQaVCuVcO52ippMGBuhGAr3SNuNrfQhMAGW1Xd/Q
         auV1pxW7z743VM5xFAU3Bog5f/fWl/KxsxZLBi3/foYkFztQLlA8RHbNeXFxbmfmcgrU
         g44YdzDmrOiSTVN9SWQ8y032cmL0wmx3Ij/RhDm4RENWhNcGnqwbw/F9UMxZntimhSjA
         XFQ4lb5wX7YkygX7qKP9NviSEuBuSb831+NeQgbkjNRkCxouFEDudbnXLPsa+eRY5XrE
         8MXg==
X-Received: by 10.50.225.37 with SMTP id rh5mr113382igc.9.1416804263760;
        Sun, 23 Nov 2014 20:44:23 -0800 (PST)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.50.254.4 with SMTP id ae4ls534545igd.32.gmail; Sun, 23 Nov
 2014 20:44:23 -0800 (PST)
X-Received: by 10.50.134.135 with SMTP id pk7mr114675igb.6.1416804263571;
        Sun, 23 Nov 2014 20:44:23 -0800 (PST)
Date: Sun, 23 Nov 2014 20:44:22 -0800 (PST)
From: guskant <gusni.kantu@gmail.com>
To: bpfk-list@googlegroups.com
Message-Id: <72cc5d1d-d442-4b70-9552-d5d407498ffe@googlegroups.com>
In-Reply-To: <CAO7tK2cvz7PfOYY0BPVCj_sFqw-n5YVJv7RH=JhpB6neDsCjnQ@mail.gmail.com>
References: <c2b90d96-7b89-4633-bc33-6e42b16d705c@googlegroups.com>
 <20141018011419.GF12268@mercury.ccil.org>
 <97AABFB42A204E5D97A4EDFEA57A8508@gmail.com>
 <20141019012930.GF12991@mercury.ccil.org>
 <676B49242B0D4F6A986D6AFEA1EB3B3C@gmail.com>
 <20141019170808.GJ12991@mercury.ccil.org>
 <c610baca-170b-480d-aa30-a26e2c6fc793@googlegroups.com>
 <20141109004632.GL6360@mercury.ccil.org>
 <CACf3dPkHuWfRwr1MxeZmRTfbE1TkkHER7WxUmo7FewKUCZ1jog@mail.gmail.com>
 <acbd142e-f5ec-4e49-ae5c-0da8cb1b3813@googlegroups.com>
 <54620A89.6060205@gmail.com>
 <CAO7tK2cvz7PfOYY0BPVCj_sFqw-n5YVJv7RH=JhpB6neDsCjnQ@mail.gmail.com>
Subject: Re: [bpfk] {ro}, existential import and De Morgan
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_12_153410907.1416804262755"
X-Original-Sender: gusni.kantu@gmail.com
Reply-To: bpfk-list@googlegroups.com
Precedence: list
Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com
List-ID: <bpfk-list.googlegroups.com>
X-Google-Group-Id: 972099695765
List-Post: <http://groups.google.com/group/bpfk-list/post>, <mailto:bpfk-list@googlegroups.com>
List-Help: <http://groups.google.com/support/>, <mailto:bpfk-list+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/bpfk-list
Sender: bpfk-list@googlegroups.com
List-Subscribe: <http://groups.google.com/group/bpfk-list/subscribe>, <mailto:bpfk-list+subscribe@googlegroups.com>
List-Unsubscribe: <mailto:googlegroups-manage+972099695765+unsubscribe@googlegroups.com>,
 <http://groups.google.com/group/bpfk-list/subscribe>
X-Spam-Score: -2.0 (--)
X-Spam_score: -2.0
X-Spam_score_int: -19
X-Spam_bar: --

------=_Part_12_153410907.1416804262755
Content-Type: multipart/alternative; 
	boundary="----=_Part_13_1743686452.1416804262755"

------=_Part_13_1743686452.1416804262755
Content-Type: text/plain; charset=UTF-8

From a theoretical point of view, Chapter 16 of CLL describes something out 
of a language. As long as it introduces a theory on truth value, it is a 
kind of model theory. The problems regarding the current text of Chapter 16 
are caused by two points:

1-1. It does not make clear the distinction between a language and a model;
1-2. It mixes up several models (of Aristotle and of a classical predicate 
logic guessing from the previous discussion of the current thread) without 
making clear which model each statement is based on.

My idea to improve the text of Chapter 16 consists of three points:

2-1. Assert first that Lojban is a language, and that this chapter 
describes some models that can be expressed by Lojban.
2-2. Explain mainly a model based on the classical first-order predicate 
logic, because this model is most widely used in modern scientific theories.
2-3. However, emphasize that Lojban can do more, including intuitionistic 
logic, modal logic, multivalued logic, higher-order logic etc. (Actually I 
spoke to philisophers on this idea last year in Japanese : 
http://youtu.be/lzqhNYCWKLo?list=UU0k-Re5fyJXl4bGKSJLpkSA
I am very sorry for not yet translating it into English. You will find some 
traces of the speech also in la jbovlaste, for example 
http://jbovlaste.lojban.org/dict/bu'ai .) We _can_ take even a model 
aristotelian, though the model is too weak to be applied for modern 
sciences.

If some of you agree to my idea, I will prepare an unofficial version of 
Chapter 16 of CLL, just like I did for xorlo gadri 
(http://www.lojban.org/tiki/tiki-index.php?page=gadri:+an+unofficial+commentary+from+a+logical+point+of+view 
) but trying to write in easier style to be understood by non-logicians.

pei mu'o

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

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

<div dir=3D"ltr"><div>From a theoretical point of view, Chapter 16 of CLL d=
escribes something out of a language. As long as it introduces a theory on =
truth value, it is a kind of model theory. The problems regarding the curre=
nt text of Chapter 16 are caused by two points:</div><div><br></div><div>1-=
1. It does not make clear the distinction between a language and a model;</=
div><div>1-2. It mixes up several models (of Aristotle and of a classical p=
redicate logic guessing from the previous discussion of the current thread)=
 without making clear which model each statement is based on.</div><div><br=
></div><div>My idea to improve the text of Chapter 16 consists of three poi=
nts:</div><div><br></div><div>2-1. Assert first that Lojban is a language, =
and that this chapter describes some models that can be expressed by Lojban=
.</div><div>2-2. Explain mainly a model based on the classical first-order =
predicate logic, because this model is most widely used in modern scientifi=
c theories.</div><div>2-3. However, emphasize that Lojban can do more, incl=
uding intuitionistic logic, modal logic, multivalued logic, higher-order lo=
gic etc. (Actually I spoke to philisophers on this idea last year in Japane=
se : http://youtu.be/lzqhNYCWKLo?list=3DUU0k-Re5fyJXl4bGKSJLpkSA</div><div>=
I am very sorry for not yet translating it into English. You will find some=
 traces of the speech also in la jbovlaste, for example http://jbovlaste.lo=
jban.org/dict/bu'ai .) We _can_ take even a model aristotelian, though the =
model is too weak to be applied for modern sciences.</div><div><br></div><d=
iv>If some of you agree to my idea, I will prepare an unofficial version of=
 Chapter 16 of CLL, just like I did for xorlo gadri (http://www.lojban.org/=
tiki/tiki-index.php?page=3Dgadri:+an+unofficial+commentary+from+a+logical+p=
oint+of+view ) but trying to write in easier style to be understood by non-=
logicians.</div><div><br></div><div>pei mu'o</div><div><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;BPFK&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:bpfk-list+unsubscribe@googlegroups.com">bpfk-list=
+unsubscribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:bpfk-list@googlegrou=
ps.com">bpfk-list@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/bpfk-list">ht=
tp://groups.google.com/group/bpfk-list</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_13_1743686452.1416804262755--
------=_Part_12_153410907.1416804262755--