Date: Sun, 28 Jun 2015 21:30:21 -0700 (PDT)
From: "Spheniscine (la zipcpi)" <spheniscine@gmail.com>
To: lojban@googlegroups.com
Message-Id: <cc9a16ca-9eec-4f25-8430-fc04ea7a3bcf@googlegroups.com>
Subject: [lojban] Extended logical connectives: "PA out of these are true"
MIME-Version: 1.0
Content-Type: multipart/mixed; 
	boundary="----=_Part_5104_1677675932.1435552221807"
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
Sender: lojban@googlegroups.com
X-Spam_score: -2.0
X-Spam_score_int: -19
X-Spam_bar: --

------=_Part_5104_1677675932.1435552221807
Content-Type: multipart/alternative; 
	boundary="----=_Part_5105_239104014.1435552221808"

------=_Part_5105_239104014.1435552221808
Content-Type: text/plain; charset=UTF-8

It's been often noted that {broda jonai brode jonai brodi} doesn't quite 
work as it is often expected to; connecting more than two items with 
exclusive-or actually means "an odd number of these things are true", which 
is a rather awkward concept. 

More generally though, what we really want to say here is "one out of these 
are true". It'd also be nice if we can substitute "one" there for any PA, 
which allows a rather diverse range of expression: "more than two of these 
are true", "almost all of these are true", etc.

But then comes the big problem; actually getting it to work. Whatever 
system we come up with needs to:

   - Be able to accept a PA (or {mo'e} clause)
   - Be able to accept any number of arguments
   - Be able to be used in all the various situations we could use logical 
   connectives for (cf. Selpahi's simplified connectives 
   <http://selpahi.weebly.com/lojban/how-to-substantially-simplify-the-lojban-connective-system-my-connective-system>; 
   it'd be a shame if we had to come up with 5+ sets of cmavo again just for 
   this)
   - All while maintaining mono-parseability

-- 
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_5105_239104014.1435552221808
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">It's been often noted that {broda jonai brode jonai brodi}=
 doesn't quite work as it is often expected to; connecting more than two it=
ems with exclusive-or actually means "an odd number of these things are tru=
e", which is a rather awkward concept.&nbsp;<div><br></div><div>More genera=
lly though, what we really want to say here is "one out of these are true".=
 It'd also be nice if we can substitute "one" there for any PA, which allow=
s a rather diverse range of expression: "more than two of these are true", =
"almost all of these are true", etc.</div><div><br></div><div>But then come=
s the big problem; actually getting it to work. Whatever system we come up =
with needs to:</div><div><ul><li><span style=3D"line-height: normal;">Be ab=
le to accept a PA (or {mo'e} clause)</span></li><li><span style=3D"line-hei=
ght: normal;">Be able to accept any number of arguments</span></li><li><spa=
n style=3D"line-height: normal;">Be able to be used in all the various situ=
ations we could use logical connectives for (cf.&nbsp;<a href=3D"http://sel=
pahi.weebly.com/lojban/how-to-substantially-simplify-the-lojban-connective-=
system-my-connective-system">Selpahi's simplified connectives</a>; it'd be =
a shame if we had to come up with 5+ sets of cmavo again just for this)</sp=
an></li><li><span style=3D"line-height: normal;">All while maintaining mono=
-parseability</span></li></ul></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_5105_239104014.1435552221808--
------=_Part_5104_1677675932.1435552221807--