Received: from mail-vx0-f189.google.com ([209.85.220.189]:37376)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ_n6LGlHhD0uJT2BBoE6bvzKA@googlegroups.com>)
	id 1RR377-0005mB-Ab; Thu, 17 Nov 2011 06:39:04 -0800
Received: by vcbfk1 with SMTP id fk1sf64292vcb.16
        for <multiple recipients>; Thu, 17 Nov 2011 06:38:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:mime-version:date:in-reply-to:references:user-agent
         :x-http-useragent:message-id:subject:from:to:x-original-sender
         :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=v4JR7IouMY0wBGoqqyR0N+xLgRfxPgiQGHLOjXSrDhU=;
        b=B1TNiJR6QA/+aKayWohQNFxtQ3gEaTaemnDIpiAIspfPeBC1J380+e9U4IFMzYZ+Rs
         SKvOYUnSopn/6+P6BcLGe+oxHY31Oz9bf+RQuoEAJUSqzrjl+VRrG7rzZSik97A9WARk
         Sh7/111/ayDAz2imr8d+tyE6/CdYaX3Dh+xfI=
Received: by 10.229.31.21 with SMTP id w21mr761402qcc.9.1321540724069;
        Thu, 17 Nov 2011 06:38:44 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.224.209.134 with SMTP id gg6ls4573189qab.2.gmail; Thu, 17 Nov
 2011 06:38:43 -0800 (PST)
Received: by 10.224.198.6 with SMTP id em6mr18763966qab.0.1321540723557;
        Thu, 17 Nov 2011 06:38:43 -0800 (PST)
Received: by 10.224.137.16 with SMTP id u16msqat;
        Thu, 17 Nov 2011 02:19:10 -0800 (PST)
MIME-Version: 1.0
Received: by 10.224.32.200 with SMTP id e8mr6200813qad.7.1321525150258; Thu,
 17 Nov 2011 02:19:10 -0800 (PST)
Received: by o17g2000yqa.googlegroups.com with HTTP; Thu, 17 Nov 2011 02:19:10
 -0800 (PST)
Date: Thu, 17 Nov 2011 02:19:10 -0800 (PST)
In-Reply-To: <CAOYwWb2grYApHzz19WeyR443wkNTdS-0OKzGv6Q0FVLrCOHDYA@mail.gmail.com>
References: <CAOYwWb2S-nUXhj2==cGb55Kv=1euOZUh+xJ=y+=WPUmka8D_dg@mail.gmail.com>
 <20111113162350.GC3277@gonzales> <CAOYwWb2grYApHzz19WeyR443wkNTdS-0OKzGv6Q0FVLrCOHDYA@mail.gmail.com>
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; rv:8.0) Gecko/20100101 Firefox/8.0,gzip(gfe)
Message-ID: <a9bed020-6229-4f31-8651-32242bf9f43f@o17g2000yqa.googlegroups.com>
Subject: [lojban] Re: Lojban and Truth-Conditional Semantics
From: la klaku <jakobnybonissen@gmail.com>
To: lojban <lojban@googlegroups.com>
X-Original-Sender: jakobnybonissen@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:lojban+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Spam-Score: -0.7 (/)
X-Spam_score: -0.7
X-Spam_score_int: -6
X-Spam_bar: /



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).
>
> I would like to see whatever you have whenever you feel comfortable shari=
ng
> it. =A0I have been working on my own loglangs for a while, but I don't se=
em
> 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.
>
> > However, there are plenty of hurdles in the way of completion of such
> > a project.
>
> Yes there are. =A0While Lojban semantics may, or may not, ever have a
> complete, agreed-upon formalization, having gone back over the close-scop=
e
> {zo'e} thread recently, I do think there is slow-but-steady progress in t=
he
> form of insight being gained. =A0I think it's especially promising that
> professional research is increasingly being studied and applied to Lojban
> by people like you and Xorxes and others. =A0Carlson and Chiercha are new=
 to
> me, but Montague I have been aware of for a while.
>
>
>
> > 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.
>
> I agree, but getting everything to work together will probably take a lon=
g,
> long time. =A0I 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 o=
f
> English, is going to be needed to formalize a whole loglang. That's a
> thought to give one pause!
>
> > Martin
>
> -Mike

--=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.