Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::229 as permitted sender) client-ip=2607:f8b0:400c:c03::229;
MIME-Version: 1.0
In-Reply-To: <a89d423f-8af3-485d-9b5d-8c76c25ac1e5@googlegroups.com>
References: <cc931b0e-1787-49fb-8622-435717056fce@googlegroups.com>
	<CAO7tK2cGYHZ_WQejCtu2B6oXeFxD7GMCPUx8EPcYCNNBZLq+Cg@mail.gmail.com>
	<a89d423f-8af3-485d-9b5d-8c76c25ac1e5@googlegroups.com>
Date: Sun, 13 Apr 2014 21:24:43 -0300
Message-ID: <CAO7tK2fz+kpGnHv_hEossUN3Q4KmBBtge7BfHvXhaFRC87Cp=A@mail.gmail.com>
Subject: Re: [lojban] Lojban semantics
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban@googlegroups.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary=001a1135ef16bbed3704f6f5b524
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

--001a1135ef16bbed3704f6f5b524
Content-Type: text/plain; charset=ISO-8859-1

On Sun, Apr 13, 2014 at 8:40 PM, shanoxilt <
osiris_hades_deathland@hotmail.com> wrote:

>
>> You can make it work exactly as in first-order logic if you want. But I'm
>> probably not understanding what the issue is.
>>
>> mu'o mi'e xorxes
>>
>>
> They throw a fit every time Lojban is mentioned for some reason. He thinks
> it can't be a logical language unless the gismu are defined with formal
> semantics. <http://en.wikipedia.org/wiki/First-order_logic#Semantics>
>
> There's nothing to stop him from doing that. With the usual formalism
predicates are just arbitrary letters, so you can assign the corresponding
functions to them more or less at random, whereas in Lojban the predicates
are words that will want to keep some consistency across interpretations,
but you can provide any given interpretation in exactly the same way you
would do it with the usual language of letters and symbols. If you wanted
to, you could use "broda xi pa", "broda xi re", and so forth instead  and
forget the standard meanings of brivla. Also you have some considerations
such that if the speaker is a member of D, then you will want to assign it
to the constant "mi", not to the constant "do", and so forth, but that
seems to be beside the point. You are not forced to use those
"predetermined" constants if you don't want, you can just use "ko'a xi pa",
"ko'a xi re" and so on. An interpretation is basically just an assignment
of a member of the universe of discourse D to each constant and of a
function from D^n into {true, false} to each predicate.

mu'o mi'e xorxes

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

--001a1135ef16bbed3704f6f5b524
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><br><div class=3D"gmail=
_quote">On Sun, Apr 13, 2014 at 8:40 PM, shanoxilt <span dir=3D"ltr">&lt;<a=
 href=3D"mailto:osiris_hades_deathland@hotmail.com" target=3D"_blank">osiri=
s_hades_deathland@hotmail.com</a>&gt;</span> wrote:<br>
<blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0px 0.8ex;border-=
left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;p=
adding-left:1ex"><div dir=3D"ltr"><div class=3D""><blockquote class=3D"gmai=
l_quote" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-lef=
t-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir=3D"ltr"><div><div class=3D"gmail_quote"><div><br></div><div>You ca=
n make it work exactly as in first-order logic if you want. But I&#39;m pro=
bably not understanding what the issue is.</div>
<div><br></div><div>mu&#39;o mi&#39;e xorxes</div><div><br></div></div></di=
v></div></blockquote><div><br></div></div><div>They throw a fit every time =
Lojban is mentioned for some reason. He thinks it can&#39;t be a logical la=
nguage unless the gismu are defined with=A0<a href=3D"http://en.wikipedia.o=
rg/wiki/First-order_logic#Semantics" target=3D"_blank">formal semantics.</a=
></div>
</div><div class=3D""><div class=3D"h5">

<p></p></div></div></blockquote></div>There&#39;s nothing to stop him from =
doing that. With the usual formalism predicates are just arbitrary letters,=
 so you can assign the corresponding functions to them more or less at rand=
om, whereas in Lojban the predicates are words that will want to keep some =
consistency across interpretations, but you can provide any given interpret=
ation in exactly the same way you would do it with the usual language of le=
tters and symbols. If you wanted to, you could use &quot;broda xi pa&quot;,=
 &quot;broda xi re&quot;, and so forth instead =A0and forget the standard m=
eanings of brivla.=A0Also you have some considerations such that if the spe=
aker is a member of D, then you will want to assign it to the constant &quo=
t;mi&quot;, not to the constant &quot;do&quot;, and so forth, but that seem=
s to be beside the point. You are not forced to use those &quot;predetermin=
ed&quot; constants if you don&#39;t want, you can just use &quot;ko&#39;a x=
i pa&quot;, &quot;ko&#39;a xi re&quot; and so on. An interpretation is basi=
cally just an assignment of a member of the universe of discourse D to each=
 constant and of a function from D^n into {true, false} to each predicate.<=
/div>
<div class=3D"gmail_extra"><br></div><div class=3D"gmail_extra">mu&#39;o mi=
&#39;e xorxes</div><div class=3D"gmail_extra"><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br />
To unsubscribe from this group and stop receiving emails from it, send an e=
mail to <a href=3D"mailto:lojban+unsubscribe@googlegroups.com">lojban+unsub=
scribe@googlegroups.com</a>.<br />
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com">lojban@googlegroups.com</a>.<br />
Visit this group at <a href=3D"http://groups.google.com/group/lojban">http:=
//groups.google.com/group/lojban</a>.<br />
For more options, visit <a href=3D"https://groups.google.com/d/optout">http=
s://groups.google.com/d/optout</a>.<br />

--001a1135ef16bbed3704f6f5b524--