Envelope-to: lojban-list-archive@lojban.org
Delivery-date: Wed, 02 Jun 2021 08:50:18 -0700
Sender: lojban@googlegroups.com
Received-SPF: pass (google.com: domain of maikxlx@gmail.com designates 2607:f8b0:4864:20::534 as permitted sender) client-ip=2607:f8b0:4864:20::534;
MIME-Version: 1.0
References: <0450872a-6b19-fde0-8f31-d50b3a8e29af@gmail.com> <04dba164-8bc2-f135-8a02-af2e7277178a@gmail.com>
In-Reply-To: <04dba164-8bc2-f135-8a02-af2e7277178a@gmail.com>
From: "Mike S." <maikxlx@gmail.com>
Date: Tue, 1 Jun 2021 22:16:29 -0400
Message-ID: <CAOYwWb1wNJ3w7GBHQ=g0p07p_k64Z31STfNYVfepQLkHonfgoQ@mail.gmail.com>
Subject: Re: [lojban] {zo'e}
To: lojban@googlegroups.com
Content-Type: multipart/alternative; boundary="000000000000b8c89b05c3bf0ca1"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
X-Spam_score: -2.6
X-Spam_score_int: -25
X-Spam_bar: --

--000000000000b8c89b05c3bf0ca1
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

I am going to start from the beginning because I think I slightly misspoke.

=E2=80=A2 [A] {mi tirna zo'e}
> =E2=80=A2 [B] {mi tirna su'o da}
> =E2=80=A2 [C] {(da'o) mi tirna ko'a} (usage of a constant {ko'a} which ha=
sn't
> been assigned a value explicitly earlier)
>
> How does [A] semantically differ from [B] and [C]? (I suspect that the
> two latters ultimately mean the same thing.)
>

Instead of "logically equivalent", I think what I should have said is that
B can be inferred (i.e. existentially generalized) given C, but C can be
inferred (i.e. existentially instantiated) given B _only_ if {ko'a} is an
unused symbol without "baggage" restrictions.  I know that {da'o} clears
KOhA-assignments, but it's possible that KOhA acquires new ones as soon as
you use them, even without {goi}.  The question is, what exactly does
{ko'a} after {da'o} without {goi} mean?  I see two possibilities for
{(da'o) mi tirna ko'a}:

C(a): =3D {(da'o) su'o da zo'u mi tirna da goi ko'a}
"I hear something -- call it X".
(Effect: Something unspecified, except that I hear it, is assigned a
constant.)

C(b): =3D {(da'o) mi tirna zo'e goi ko'a}
"I hear [it/obvious value/whatever I hear] -- call it X"
(Effect: Something at least potentially specified by context is assigned a
constant.)

It's not clear that the truth-conditions of C(a) and C(b) are the same.
The first is true if I hear anything, and the second is true -- at least
potentially -- only if I hear the thing which is specific to the context.

I'll stop here for today.  The CLL doesn't say how to interpret an
unassigned {ko'a}, but implicit {zo'e goi} seems to fit both the usual
logic of place-defaults as well as the spirit of {ko'a}, since {ko'a} is
usually assigned to specific entities.

mi'e .maik.
mu'o

--=20
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 e=
mail to lojban+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/=
lojban/CAOYwWb1wNJ3w7GBHQ%3Dg0p07p_k64Z31STfNYVfepQLkHonfgoQ%40mail.gmail.c=
om.

--000000000000b8c89b05c3bf0ca1
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">I am going to start from the beginning because I think I s=
lightly misspoke.<br><br><blockquote class=3D"gmail_quote" style=3D"margin:=
0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">=
=E2=80=A2 [A] {mi tirna zo&#39;e}<br>=E2=80=A2 [B] {mi tirna su&#39;o da}<b=
r>=E2=80=A2 [C] {(da&#39;o) mi tirna ko&#39;a} (usage of a constant {ko&#39=
;a} which hasn&#39;t<br>been assigned a value explicitly earlier)<br><br>Ho=
w does [A] semantically differ from [B] and [C]? (I suspect that the<br>two=
 latters ultimately mean the same thing.)<br></blockquote><br>Instead of &q=
uot;logically equivalent&quot;, I think what I should have said is that B c=
an be inferred (i.e. existentially generalized) given C, but C can be infer=
red (i.e. existentially instantiated) given B _only_ if {ko&#39;a} is an un=
used symbol without &quot;baggage&quot; restrictions.=C2=A0 I know that {da=
&#39;o} clears KOhA-assignments, but it&#39;s possible that KOhA acquires n=
ew ones as soon as you use them, even without {goi}.=C2=A0 The question is,=
 what exactly does {ko&#39;a} after {da&#39;o} without {goi} mean?=C2=A0 I =
see two possibilities for {(da&#39;o) mi tirna ko&#39;a}:<br><br>C(a): =3D =
{(da&#39;o) su&#39;o da zo&#39;u mi tirna da goi ko&#39;a}<br>&quot;I hear =
something -- call it X&quot;.<br>(Effect: Something unspecified, except tha=
t I hear it, is assigned a constant.)<br><br>C(b): =3D {(da&#39;o) mi tirna=
 zo&#39;e goi ko&#39;a}<br>&quot;I hear [it/obvious value/whatever I hear] =
-- call it X&quot;<br>(Effect: Something at least potentially specified by =
context is assigned a constant.)<br><br>It&#39;s not clear that the truth-c=
onditions of C(a) and C(b) are the same.=C2=A0 The first is true if I hear =
anything, and the second is true -- at least potentially -- only if I hear =
the thing which is specific to the context. =C2=A0<br><br>I&#39;ll stop her=
e for today.=C2=A0 The CLL doesn&#39;t say how to interpret an unassigned {=
ko&#39;a}, but implicit {zo&#39;e goi} seems to fit both the usual logic of=
 place-defaults as well as the spirit of {ko&#39;a}, since {ko&#39;a} is us=
ually assigned to specific entities.<br><br>mi&#39;e .maik.<br>mu&#39;o<br>=
</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 view this discussion on the web visit <a href=3D"https://groups.google.c=
om/d/msgid/lojban/CAOYwWb1wNJ3w7GBHQ%3Dg0p07p_k64Z31STfNYVfepQLkHonfgoQ%40m=
ail.gmail.com?utm_medium=3Demail&utm_source=3Dfooter">https://groups.google=
.com/d/msgid/lojban/CAOYwWb1wNJ3w7GBHQ%3Dg0p07p_k64Z31STfNYVfepQLkHonfgoQ%4=
0mail.gmail.com</a>.<br />

--000000000000b8c89b05c3bf0ca1--