Received: from mail-wy0-f189.google.com ([74.125.82.189]:61466)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncCJ2UzZHuDRCokv_1BBoEcFhacQ@googlegroups.com>)
	id 1RPaK3-0002b5-AV; Sun, 13 Nov 2011 05:42:21 -0800
Received: by wyg36 with SMTP id 36sf5673724wyg.16
        for <multiple recipients>; Sun, 13 Nov 2011 05:42:03 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:mime-version:in-reply-to:references:date
         :message-id:subject:from: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=T5kFf64CaqVzvqu5Sjc3B913OAtrQaQzihnQ4PbDBYA=;
        b=g63b0s4rw9gn6HeybgDgqjPUHkV8rIs23olGei96N+tNe+IPWuuTyZPc3eha2ZuPQy
         M4TorMpldX7eZnpkYxMynikLDmA1oWS/9WKizJyFazecQF6IrbF1GZR2u6ZAVGKUEDEc
         YXLFLJRvTWpc0p3cjlvHbYy2oc8TFd3zJd0jc=
Received: by 10.216.131.96 with SMTP id l74mr577636wei.32.1321191720571;
        Sun, 13 Nov 2011 05:42:00 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.213.15.75 with SMTP id j11ls96992eba.2.gmail; Sun, 13 Nov 2011
 05:41:59 -0800 (PST)
Received: by 10.213.27.137 with SMTP id i9mr87148ebc.5.1321191719358;
        Sun, 13 Nov 2011 05:41:59 -0800 (PST)
Received: by 10.213.27.137 with SMTP id i9mr87147ebc.5.1321191719339;
        Sun, 13 Nov 2011 05:41:59 -0800 (PST)
Received: from mail-fx0-f49.google.com (mail-fx0-f49.google.com [209.85.161.49])
        by gmr-mx.google.com with ESMTPS id z20si2515073faf.1.2011.11.13.05.41.59
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 13 Nov 2011 05:41:59 -0800 (PST)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.49 as permitted sender) client-ip=209.85.161.49;
Received: by faar25 with SMTP id r25so2285094faa.36
        for <lojban@googlegroups.com>; Sun, 13 Nov 2011 05:41:59 -0800 (PST)
MIME-Version: 1.0
Received: by 10.152.105.83 with SMTP id gk19mr11566228lab.30.1321191719160;
 Sun, 13 Nov 2011 05:41:59 -0800 (PST)
Received: by 10.152.19.198 with HTTP; Sun, 13 Nov 2011 05:41:59 -0800 (PST)
In-Reply-To: <CAOYwWb2S-nUXhj2==cGb55Kv=1euOZUh+xJ=y+=WPUmka8D_dg@mail.gmail.com>
References: <CAOYwWb2S-nUXhj2==cGb55Kv=1euOZUh+xJ=y+=WPUmka8D_dg@mail.gmail.com>
Date: Sun, 13 Nov 2011 10:41:59 -0300
Message-ID: <CAO7tK2fg2AQ4vHL3LuO8uukc6zUP5v17wt4YftNThV+7O6hGbg@mail.gmail.com>
Subject: Re: [lojban] Lojban and Truth-Conditional Semantics
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: jjllambias@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of jjllambias@gmail.com designates 209.85.161.49 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) 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: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: /

On Sun, Nov 13, 2011 at 1:39 AM, maikxlx <maikxlx@gmail.com> wrote:
>  In other words, from any
> given Lojan sentence S, e.g. "su'o lo ctuca cu tavla ro le tadni", one ou=
ght
> to be able to work out, in a straightforward manner, every truth conditio=
n
> that would make S true with respect to an interpretation of basic terms
> (e.g. descriptions & predicates) and a given model (universe of discourse=
).
[...]
> To
> give a trivial example of how truth-conditions might be specified very, v=
ery
> informally using English as the metalanguage:
>
> S =3D "la meris prami la djan."
>
> The truth conditions of S are (tentatively) as follows:
>
> - There is an individual entity M whom Speaker denotes as "meris"
> - There is an individual entity J whom Speaker denotes as "djan"
> - There is a predicate relationship (x1, x2) denoted as "prami", interpre=
ted
> as the set of all ordered pairs of individuals such that x1 loves x2 (ful=
l
> encyclopedia definition of a predicate can be cited as needed).
> - prami'(M, J) is true.=A0 In other words, M loves J.

But it's easy enough to do that for the other sentence as well (or for
any sentence):

S =3D "su'o lo ctuca cu tavla ro le tadni"

The truth conditions of S are as follows:

- There are individual entities C whom Speaker denotes as "lo ctuca"
- There are individual entities T whom Speaker denotes as "le tadni"
- There is a predicate relationship (x1, x2) denoted as "tavla",
interpreted as the set of all ordered pairs of individuals such that
x1 talks to x2 (full encyclopedia definition of a predicate can be
cited as needed).
- Ex in C, Ay in T tavla(x, y) is true.=A0 In other words, for some x
among C, for all y among T, x talks to y.

I doubt anyone has any issue with that. The issue in this round of
discussion seems to be about the "given model (universe of discourse)"
part. If you take that as a given, there is no discussion to be had.
If you don't take it as a given, then in some context the individual
entities whom Speaker denotes as "lo ctuca" might be John, Alice and
Mary, while in a different context they might be math teachers,
English teachers and biology teachers, or good teachers, bad teachers
and regular teachers, or ... And given that we can have different
domains, there is the issue of what happens when you want to jump from
one domain to another, when you want to deduce what happens in one
domain when all you have are facts from a different domain. Or how can
Speaker give enough information so that Listener can figure out what
the domain is without too much trouble.

mu'o mi'e xorxes

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