Date: Sun, 13 Apr 2014 16:40:42 -0700 (PDT)
From: shanoxilt <osiris_hades_deathland@hotmail.com>
To: lojban@googlegroups.com
Message-Id: <a89d423f-8af3-485d-9b5d-8c76c25ac1e5@googlegroups.com>
In-Reply-To: <CAO7tK2cGYHZ_WQejCtu2B6oXeFxD7GMCPUx8EPcYCNNBZLq+Cg@mail.gmail.com>
References: <cc931b0e-1787-49fb-8622-435717056fce@googlegroups.com>
 <CAO7tK2cGYHZ_WQejCtu2B6oXeFxD7GMCPUx8EPcYCNNBZLq+Cg@mail.gmail.com>
Subject: Re: [lojban] Lojban semantics
MIME-Version: 1.0
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="----=_Part_307_273402.1397432442412"
X-Spam_score: 1.2
X-Spam_score_int: 12
X-Spam_bar: +
X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has
 identified this incoming email as possible spam.  The original message
 has been attached to this so you can view it (if it isn't spam) or label
 similar future email.  If you have any questions, see
 the administrator of that system for details.
 
 Content preview:  > > > 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>
    [...] 
 
 Content analysis details:   (1.2 points, 5.0 required)
 
  pts rule name              description
 ---- ---------------------- --------------------------------------------------
  0.0 FREEMAIL_FROM          Sender email is commonly abused enduser mail provider
                             (osiris_hades_deathland[at]hotmail.com)
 -0.0 SPF_PASS               SPF: sender matches SPF record
  1.2 FORGED_HOTMAIL_RCVD2   hotmail.com 'From' address, but no 'Received:'
  0.0 HTML_MESSAGE           BODY: HTML included in message
  0.1 DKIM_SIGNED            Message has a DKIM or DK signature, not necessarily valid
 -0.1 DKIM_VALID             Message has at least one valid DKIM or DK signature

------=_Part_307_273402.1397432442412
Content-Type: text/plain; charset=UTF-8


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

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

------=_Part_307_273402.1397432442412
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><blockquote class=3D"gmail_quote" style=3D"margin: 0;margi=
n-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><div dir=3D"l=
tr"><div><div class=3D"gmail_quote"><div><br></div><div>You can make it wor=
k exactly as in first-order logic if you want. But I'm probably not underst=
anding what the issue is.</div>
<div><br></div><div>mu'o mi'e xorxes</div><div><br></div></div></div></div>=
</blockquote><div><br></div><div>They throw a fit every time Lojban is ment=
ioned for some reason. He thinks it can't be a logical language unless the =
gismu are defined with&nbsp;<a href=3D"http://en.wikipedia.org/wiki/First-o=
rder_logic#Semantics">formal semantics.</a></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 />

------=_Part_307_273402.1397432442412--