Received: from mail-qy0-f189.google.com ([209.85.216.189]:39081)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCIywt_XDCRChxJT2BBoEMBYgmg@googlegroups.com>)
	id 1RR3UZ-0006H1-3H; Thu, 17 Nov 2011 07:03:16 -0800
Received: by qyk29 with SMTP id 29sf6621502qyk.16
        for <multiple recipients>; Thu, 17 Nov 2011 07:03:00 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:x-yahoo-newman-id:x-yahoo-newman-property
         :x-ymail-osg:x-yahoo-smtp:references:in-reply-to
         :x-apple-yahoo-original-message-folder:mime-version:message-id
         :x-mailer:from:x-apple-yahoo-replied-msgid:subject:date:to
         :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:content-transfer-encoding;
        bh=ru7PLOyxDFgsE5Bcoa2T6qXHDZ+xfMdNzLUQn4LPD9Q=;
        b=x3Jw7NoSNFSDSonKKsfynbtKMHpe9UHCOqyzNgDVWdMuhErnqPgIXAWWVyKZbUjeBq
         vqcbObDVk9tANkrqE3mpu7bGrfQrlS9MDx+UZcBqvhk9gbqx2R6lgYVY93qyNo/jGAOM
         kSYfjhODO+QvtztOKJqph8H7/TXjaBdEw6D/Q=
Received: by 10.224.78.197 with SMTP id m5mr6676794qak.6.1321542177939;
        Thu, 17 Nov 2011 07:02:57 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.52.65.15 with SMTP id t15ls443117vds.0.gmail; Thu, 17 Nov 2011
 07:02:56 -0800 (PST)
Received: by 10.52.187.131 with SMTP id fs3mr41044089vdc.4.1321542176389;
        Thu, 17 Nov 2011 07:02:56 -0800 (PST)
Received: by 10.52.187.131 with SMTP id fs3mr41044088vdc.4.1321542176381;
        Thu, 17 Nov 2011 07:02:56 -0800 (PST)
Received: from nm12.bullet.mail.bf1.yahoo.com (nm12.bullet.mail.bf1.yahoo.com. [98.139.212.171])
        by gmr-mx.google.com with SMTP id bu17si15342694vdc.0.2011.11.17.07.02.56;
        Thu, 17 Nov 2011 07:02:56 -0800 (PST)
Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.139.212.171 as permitted sender) client-ip=98.139.212.171;
Received: from [98.139.212.151] by nm12.bullet.mail.bf1.yahoo.com with NNFMP; 17 Nov 2011 15:02:56 -0000
Received: from [98.139.212.231] by tm8.bullet.mail.bf1.yahoo.com with NNFMP; 17 Nov 2011 15:02:56 -0000
Received: from [127.0.0.1] by omp1040.mail.bf1.yahoo.com with NNFMP; 17 Nov 2011 15:02:56 -0000
X-Yahoo-Newman-Id: 121774.65279.bm@omp1040.mail.bf1.yahoo.com
Received: (qmail 82920 invoked from network); 17 Nov 2011 15:02:56 -0000
X-Yahoo-Newman-Property: ymail-3
X-YMail-OSG: L0MUrO4VM1m0gZY2y7E11bT4Dwju6X79kMKNO6Y64yD_DCF
 Lk4yE5mjm5YYiMcStiPDbfidrAVLFiGhMiHoXh_esDcUikoZNyTyNyUN4nhN
 mrRo_FmNX5EGDAA_nyZmOy8FZ6I.4K7rjz8bpLkR_WIdgUKtodogZDDCUFiu
 LFA018GBfd.lo0SevKC72L7pVJgekVuZ9YKXONE89E9P_PL4zHjdjk2ODWNr
 aGYdtYjrQn3GPBFtOECVQ5ft43tnIa24_mdXvB9bBKWKfeu00r7xo7Fi31De
 MHyruLZoWscDTW_CFji10y9_jaYsNn1cPgEf.O1ZIrCAOXQUj2QTpR5U.XGU
 c9jSjnReg4f8VVhHVcm9GUk0h5slqOUjK6QgJ0eUjTgFf.tcx_b88AK_v9rT
 dDyThXzpALaLMMgV3s1Wd_bljR0TTCTOr7OqXQMh2sckczBF.YPsUeWO.Da4
 jaoDGnOrQvy1xo6QyU0gAjk0nTqF5lxxOKdeeLPy2zCDS4HGuA0DYHQoCDYA
 JFV0N2MC.VJBFnPPldCxYHfCdeWyphYhmItspEU.PW..T96uBpNf6DqUc8uj
 3IbDQUzds0LBNb0si9JawGDYsHIvfuSH4SKjtA5KFrSJd_7yhHLqmjJJ8nAL
 0WIKzGt62vJ44UGmIIR6_jh0X1ac-
X-Yahoo-SMTP: xvGyF4GswBCIFKGaxf5wSjlg3RF108g-
Received: from [192.168.1.68] (kali9putra@99.92.108.41 with xymcookie)
        by smtp113-mob.biz.mail.bf1.yahoo.com with SMTP; 17 Nov 2011 07:02:55 -0800 PST
References: <CAOYwWb2S-nUXhj2==cGb55Kv=1euOZUh+xJ=y+=WPUmka8D_dg@mail.gmail.com> <20111113162350.GC3277@gonzales> <CAOYwWb2grYApHzz19WeyR443wkNTdS-0OKzGv6Q0FVLrCOHDYA@mail.gmail.com> <a9bed020-6229-4f31-8651-32242bf9f43f@o17g2000yqa.googlegroups.com>
In-Reply-To: <a9bed020-6229-4f31-8651-32242bf9f43f@o17g2000yqa.googlegroups.com>
X-Apple-Yahoo-Original-Message-Folder: AAlojbanery
Mime-Version: 1.0 (iPad Mail 8G4)
Message-Id: <D1B2F808-F87D-4AA6-9808-35CD16EC52A2@yahoo.com>
X-Mailer: iPad Mail (8G4)
From: "John E. Clifford" <kali9putra@yahoo.com>
X-Apple-Yahoo-Replied-Msgid: 1_11597018_AHbHjkQAALbUTsUcegrg5EtcTFQ
Subject: Re: [lojban] Re: Lojban and Truth-Conditional Semantics
Date: Thu, 17 Nov 2011 09:03:18 -0600
To: "lojban@googlegroups.com" <lojban@googlegroups.com>
X-Original-Sender: kali9putra@yahoo.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of kali9putra@yahoo.com designates
 98.139.212.171 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass
 (test mode) header.i=@yahoo.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:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: 0.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

Well, Richard died young(ish), but others have pursued his efforts in furth=
er parts of English.  The fact that there is not a complete Montague (or an=
y other kind,come to that) of Enlish shouldn't discourage us from the much =
simpler task of getting one for Lojban.

Sent from my iPad

On Nov 17, 2011, at 4:19 AM, la klaku <jakobnybonissen@gmail.com> wrote:

>=20
>=20
> On 14 Nov., 22:43, maikxlx <maik...@gmail.com> wrote:
>> On Sun, Nov 13, 2011 at 11:23 AM, Martin Bays <mb...@sdf.org> wrote:
>>> There have been a few attempts to do it in practice - I know of Nick
>>> Nicholas' Prolog semantic analyser
>>> http://www.lojban.org/files/software/analyser
>>> , Rob Speer and Catherine Havasi's Jimpe
>>> http://web.mit.edu/rspeer/www/research/jimpe.tar.gz
>>> . I haven't managed to get either to run, due to bitrot, but they're
>>> interesting anyway. I also have a WIP of my own along similar lines,
>>> taking a more completionist tack, which I may release one day (I got
>>> stuck on handling gadri).
>>=20
>> I would like to see whatever you have whenever you feel comfortable shar=
ing
>> it.  I have been working on my own loglangs for a while, but I don't see=
m
>> to be getting anywhere lately, and I have little to date to show for it,=
 so
>> I think I am going to spend more time studying the ongoing attempts to
>> formalize and specify Lojban as those attempts unfold in this community.
>>=20
>>> However, there are plenty of hurdles in the way of completion of such
>>> a project.
>>=20
>> Yes there are.  While Lojban semantics may, or may not, ever have a
>> complete, agreed-upon formalization, having gone back over the close-sco=
pe
>> {zo'e} thread recently, I do think there is slow-but-steady progress in =
the
>> form of insight being gained.  I think it's especially promising that
>> professional research is increasingly being studied and applied to Lojba=
n
>> by people like you and Xorxes and others.  Carlson and Chiercha are new =
to
>> me, but Montague I have been aware of for a while.
>>=20
>>=20
>>=20
>>> But basically, I totally agree that developing a model-theoretic formal
>>> semantics is (a) essentially doable, and (b) the best way to specify
>>> this currently woefully underspecified language.
>>=20
>> I agree, but getting everything to work together will probably take a lo=
ng,
>> long time.  I suspect that ultimately something with the rigor of
>> Montague's program, which was conceived to discover a universal grammar,
>> but is extremely formal and only ever managed to cover a small fragment =
of
>> English, is going to be needed to formalize a whole loglang. That's a
>> thought to give one pause!
>>=20
>>> Martin
>>=20
>> -Mike
>=20
> --=20
> You received this message because you are subscribed to the Google Groups=
 "lojban" group.
> To post to this group, send email to lojban@googlegroups.com.
> To unsubscribe from this group, send email to lojban+unsubscribe@googlegr=
oups.com.
> For more options, visit this group at http://groups.google.com/group/lojb=
an?hl=3Den.
>=20

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