Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 2607:f8b0:400c:c03::22f as permitted sender) client-ip=2607:f8b0:400c:c03::22f;
MIME-Version: 1.0
In-Reply-To: <cc931b0e-1787-49fb-8622-435717056fce@googlegroups.com>
References: <cc931b0e-1787-49fb-8622-435717056fce@googlegroups.com>
Date: Sun, 13 Apr 2014 20:35:49 -0300
Message-ID: <CAO7tK2cGYHZ_WQejCtu2B6oXeFxD7GMCPUx8EPcYCNNBZLq+Cg@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=089e01177477e6977c04f6f506f9
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

--089e01177477e6977c04f6f506f9
Content-Type: text/plain; charset=ISO-8859-1

On Sun, Apr 13, 2014 at 5:36 PM, shanoxilt <
osiris_hades_deathland@hotmail.com> wrote:
>
> For those of you who can not access the link, here is the discussion:
>
>> Lojban is not a logic in the sense that logicians use the word. It has
>> the syntax but not the semantics. A logic needs both. See the Semantics
>> section of the wiki page of first-order logic for a brief overview on what
>> first-order semantics look like. I have not seen any Lojban documents that
>> would have defined the structure that's used for interpreting the words of
>> the language, a class of structures that would provide acceptable
>> interpretations, or even a rule for constructing such classes of
>> structures.
>>
>
Lojban is a language, not a logic, but first-order logic is very easy
(almost trivial) to express in Lojban. The only difference is that Lojban
uses words instead of the usual letters and symbols, but that's a very
superficial difference.

 Could you provide an example of one word that has semantics defined for it
>> in the logical sense? Every word that I've seen has been defined in terms
>> of translations to other languages with possibly a sentence or two
>> explaining which of the different meanings of the word is intended. Those
>> are not first-order definitions of things.
>
>
> So, how do the semantics of Lojban work?
>

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

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

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

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Sun, Apr 13, 2014 at 5:36 PM, shanoxilt <span dir=3D"ltr">&lt;<a hre=
f=3D"mailto:osiris_hades_deathland@hotmail.com" target=3D"_blank">osiris_ha=
des_deathland@hotmail.com</a>&gt;</span> wrote:<blockquote class=3D"gmail_q=
uote" style=3D"margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-c=
olor:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir=3D"ltr"><p></p><p>For those of you who can not access the link, he=
re is the discussion:</p><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;padding-left:1ex">
Lojban is not a logic in the sense that logicians use the word. It has the =
syntax but not the semantics. A logic needs both. See the Semantics section=
 of the wiki page of first-order logic for a brief overview on what first-o=
rder semantics look like. I have not seen any Lojban documents that would h=
ave defined the structure that&#39;s used for interpreting the words of the=
 language, a class of structures that would provide acceptable interpretati=
ons, or even a rule for constructing such classes of structures.=A0<br>
</blockquote></div></blockquote><div><br></div><div>Lojban is a language, n=
ot a logic, but first-order logic is very easy (almost trivial) to express =
in Lojban. The only difference is that Lojban uses words instead of the usu=
al letters and symbols,=A0but that&#39;s a very superficial difference.</di=
v>
<div><br></div><blockquote class=3D"gmail_quote" style=3D"margin:0px 0px 0p=
x 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-lef=
t-style:solid;padding-left:1ex"><div dir=3D"ltr"><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;padding-left:1ex">
=A0Could you provide an example of one word that has semantics defined for =
it in the logical sense? Every word that I&#39;ve seen has been defined in =
terms of translations to other languages with possibly a sentence or two ex=
plaining which of the different meanings of the word is intended. Those are=
 not first-order definitions of things.</blockquote>
<div><br></div><div>So, how do the semantics of Lojban work?=A0</div></div>=
</blockquote><div><br></div><div>You can make it work exactly as in first-o=
rder logic if you want. But I&#39;m probably not understanding what the iss=
ue is.</div>
<div><br></div><div>mu&#39;o mi&#39;e xorxes</div><div><br></div></div></di=
v></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 />

--089e01177477e6977c04f6f506f9--