So, to the question of that {gu} and {go} mean with more than 2 arguments, we kind of find ourselves with tradeoff between logic and ease of use.First I get nervous extending them to >2-ary at all, since it becomes harder to reason about the negations ({gonai X gi Y} is XOR, but {gonai X gi Y gi Z} is not, it's something strange instead -- and nobody can do truth tables in their head, even fluent speakers).The interpretations you list are undoubtedly useful (particularly the "which one out of these X alternatives"-connective is often asked for,
though there is a workable solution using {moi}). But they do not correspond to the mathematical interpretation. For example, n-ary XOR is supposed to be true when an odd number of the arguments are true, which is not obvious (or often useful in speech). Changing this can cause difficulties with composition, for example logical transformations like De Morgans' laws will not work.
On Thu, Jul 16, 2015 at 1:23 AM, guskant <gusni...@gmail.com> wrote:For the same reason, I prefer the interpretation of "all true or all false" for {go} and "one and only one of them is true" for {gonai} to the interpretation of grouping of binary connectives.One problem with that interpretation for "gonai" is that it doesn't go well with "go ... ginai ... gi ..." and such. The natural Lojbanic interpretation is for "nai" to negate the following connectand. So "gonai A gi B gi C" would be true when A differs in truth value from B and from C."One and only one of them" is more useful, but hard to reconcile with the general pattern.
mu'o mi'e xorxes
On Thu, Jul 16, 2015 at 7:30 AM, Alex Burka <dur...@gmail.com> wrote:So, to the question of that {gu} and {go} mean with more than 2 arguments, we kind of find ourselves with tradeoff between logic and ease of use.First I get nervous extending them to >2-ary at all, since it becomes harder to reason about the negations ({gonai X gi Y} is XOR, but {gonai X gi Y gi Z} is not, it's something strange instead -- and nobody can do truth tables in their head, even fluent speakers).The interpretations you list are undoubtedly useful (particularly the "which one out of these X alternatives"-connective is often asked for,"Which one(s) of the following" would be "ge'i ... gi ... gi ... gi ... ", right?though there is a workable solution using {moi}). But they do not correspond to the mathematical interpretation. For example, n-ary XOR is supposed to be true when an odd number of the arguments are true, which is not obvious (or often useful in speech). Changing this can cause difficulties with composition, for example logical transformations like De Morgans' laws will not work.The negation of "ga ... gi ... gi ..." is still "ge nai ... gi nai ... gi nai ..." and viceversa. And "go ... gi ... gi ..." should be equivalent to "go nai ... gi nai ... gi nai ... ", but that means "go nai" can't mean "one and only one of the following".
On n-ary gi / forethought connectives: What about sumtcita? {pu je ca} works, but {ge pu gi ca} doesn't.{ge puku gi ca(ku)} works though, in camxes-exp and zantufa.
*{tu'e lo mabla cu fasnu .i lo zabna cu fasnu tu'u ca lo nu mi stuvi'e le sralygu'e}
*{tu'e lo mabla cu fasnu .i lo zabna cu fasnu tu'u ca lo nu mi stuvi'e le sralygu'e}Any solutions for this? I've been told there is a proposed experimental cmavo called {zo'au} that is "postnex" the way that {zo'u} is prenex. I'm not quite sure how that would work though, and if I'm gonna have to use an experimental selma'o for this, I might as well be changing the grammar of tu'e...tu'u ...
On Thu, Jul 16, 2015 at 7:30 AM, Alex Burka <dur...@gmail.com> wrote:So, to the question of that {gu} and {go} mean with more than 2 arguments, we kind of find ourselves with tradeoff between logic and ease of use.First I get nervous extending them to >2-ary at all, since it becomes harder to reason about the negations ({gonai X gi Y} is XOR, but {gonai X gi Y gi Z} is not, it's something strange instead -- and nobody can do truth tables in their head, even fluent speakers).The interpretations you list are undoubtedly useful (particularly the "which one out of these X alternatives"-connective is often asked for,"Which one(s) of the following" would be "ge'i ... gi ... gi ... gi ... ", right?
though there is a workable solution using {moi}).
Eh, sort of, but that's a different question from "which exactly-one of these?". Also, how on earth do you answer that ge'i-question with connective words‽ :)
Your example shows necessity of adding a term string that spans over the statement to the left. I think it is not very difficult to implement grammatically zo'au-clause: just creating a structure like prenex, and make it elidible famyma'o of a statement.However, zo'au-clause will produce more complex semantics than the current for the following reason:logical items like negation, numbers and bound variables semantically span over the following items, and "postnex" should break the logical structure of the leading statement when it appears at the end of the statement.It is not good for me, and I don't intend to implement "postnex" to la zantufa for now.An alternative idea is to use {no'a} with SEI (or experimental _new_ SOI of la ilmentufa):tu'e lo mabla cu fasnu .i lo zabna cu fasnu tu'u sei ca lo nu mi stuvi'e le sralygu'e cu no'a
--
You received this message because you are subscribed to a topic in the Google Groups "lojban" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/lojban/LK2Q2X44t4Y/unsubscribe.
To unsubscribe from this group and all its topics, send an email to lojban+un...@googlegroups.com.
To post to this group, send email to loj...@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.
El jueves, 16 de julio de 2015, 23:58:31 (UTC+2), xorxes escribió:"Which one(s) of the following" would be "ge'i ... gi ... gi ... gi ... ", right?Eh, sort of, but that's a different question from "which exactly-one of these?". Also, how on earth do you answer that ge'i-question with connective words‽ :)
I am examining more reasonable semantics by adding a new syntactic feature "GA BO" to the recent unstable version of zantufa:{go broda gi brode gi brodi}: all true or all false of {broda}, {brode} and {brodi}.{gonai broda gi brode gi brodi}: all true or all false of {na broda}, {brode} and {brodi}.{gonaibo broda gi brode gi brodi}: only one of {broda}, {brode} and {brodi} is true; the others are false.Then in the case of binary, both {gonai} and {gonaibo} have usual XOR meaning:{gonai broda gi brode}={gonaibo broda gi brode}: only one of {broda} and {brode} is true, the other is false.Do you find any problem? If not, the feature will be added to the next stable release of zantufa.mi'e la guskant
2016/06/23 21:19 "guskant" <gusni...@gmail.com>:
.i'e doi finti be lo stuzi be lo gerna nu cipra
.i lo sidbo cu ie xamgu .i ku'i da selspofu .i sa'e ke po'o lo purci selpensi sei malglico se'u terjonma'o cu prali .i mo lo balvi selpensi co'e sei za'o malglico
.i da'i nitcu fa lo nu finti lo zifma'o poi jmina lo si'o tai javni kei lo terjonma'o stura porsi
.i .e'a .e'e .e'i .e'o .e'u do pensi la'e di'u
~ mi'e .uak. jo'au .zan. xi pa pi so so so so
2016/06/23 22:20 ciuak...@gmail.com:
>
>
> 2016/06/23 21:19 "guskant" <gusni...@gmail.com>:
> >
> >
> >
> > Le vendredi 17 juin 2016 13:28:08 UTC, guskant a écrit :
> >>
> >>
> >> I am examining more reasonable semantics by adding a new syntactic feature "GA BO" to the recent unstable version of zantufa:
> >> http://guskant.github.io/gerna_cipra/zantufa-1.9999.html
> >>
> >> {go broda gi brode gi brodi}: all true or all false of {broda}, {brode} and {brodi}.
> >> {gonai broda gi brode gi brodi}: all true or all false of {na broda}, {brode} and {brodi}.
> >> {gonaibo broda gi brode gi brodi}: only one of {broda}, {brode} and {brodi} is true; the others are false.
> >>
> >> Then in the case of binary, both {gonai} and {gonaibo} have usual XOR meaning:
> >>
> >> {gonai broda gi brode}={gonaibo broda gi brode}: only one of {broda} and {brode} is true, the other is false.
> >>
> >> Do you find any problem? If not, the feature will be added to the next stable release of zantufa.
> >>
> >> mi'e la guskant
> >>
> >
> >
> >
> > i za'a no da cinri la'e di'u
> > i ja'e bo mi nonkansa pensi gi'e jdice
> > i lu gonaibo broda gi brode gi brodi li'u gau gendra ma'i la zantufa xi 1.16 noi se judri zoizoi
> > http://guskant.github.io/gerna_cipra/zantufa-1.16.html
> > zoi
> >
> > mi'e la guskant jo'au zantufa xi 1.16 mu'o
>
> .i'e doi finti be lo stuzi be lo gerna nu cipra
.i .u'u ko selxanri lo du'u zo nu na zvati
.i'e doi finti be lo stuzi be lo gerna nu cipra
.i lo sidbo cu ie xamgu .i ku'i da selspofu .i sa'e ke po'o lo purci selpensi sei malglico se'u terjonma'o cu prali .i mo lo balvi selpensi co'e sei za'o malglico
.i da'i nitcu fa lo nu finti lo zifma'o poi jmina lo si'o tai javni kei lo terjonma'o stura porsi
.i .e'a .e'e .e'i .e'o .e'u do pensi la'e di'u
~ mi'e .uak. jo'au .zan. xi pa pi so so so so
2016/06/24 12:40 "guskant" <gusni...@gmail.com>:
>
>
>
> Le jeudi 23 juin 2016 20:21:35 UTC, la uakci a écrit :
>
>>
>>
>>
>> .i'e doi finti be lo stuzi be lo gerna nu cipra
>
>
> ki'e to'i vi'o do mi tolju'i zo nu toi
>
>>
>> .i lo sidbo cu ie xamgu .i ku'i da selspofu .i sa'e ke po'o lo purci selpensi sei malglico se'u terjonma'o cu prali .i mo lo balvi selpensi co'e sei za'o malglico
>
>
> i zu'u noda krinu lo nu lo purci selpensi terjonma'o cu e'i roroi kuspe lo remei
za'a sai .i do pilno zo'ei lu ge da gi de gi di li'o sa'a li'u .i xamgu ie sidbo mi'e zanru
> i zu'unai lo jbini terjonma'o no'u lo balvi selpensi terjonma'o ne lo malglico ki'u lo nu e'i jbini loi remei kei naku vlipa lo nu lo za'u re mei cu jorne simxu
> i ki'u la'e di'u lo jbini terjonma'o cu mleca lo purci selpensi terjonma'o lo ka prali
ie
>
> i ku'i ganai da'i di'e stura da gi da dunli lo purci selpensi terjonma'o lo ka prali i lo'u
> (to lo krama'o be lo balvi selpensi terjonma'o toi) broda gi brode gi brodi ...li'o... {lo balvi selpensi terjonma'o}
> le'u
> i va'i stura simsa tu'a ma'oi FUhA
> i ku'i la'a lo de'u stura cu no'e se nitcu iau pei
ja'ai
>
>
>>
>> .i da'i nitcu fa lo nu finti lo zifma'o poi jmina lo si'o tai javni kei lo terjonma'o stura porsi
>
>
> i ku'i pe'i tu'a lu jo'au zantufa li'u junbai lo te cusku tu'a lo javni
.i mi pu smudji lo drata .i do ca pilno zo'ei lo'u GA BO le'u .i mi stidi lo nu .anra zo bo lo ka zifma'o .i se ja'e ku zo'ei lo'u GA BO le'u jai na'e se nitcu .i lo'u GA LA'E'I'O'U'AI'EI'OI'AU le'u jai zasti ji'u lo nu zo LA'E'I'O'U'AI'EI'OI'AU cu cmavo zo UI
.i .y lo drata sidbo cu jai cumki
.i lo cmavo pe lo du'u lo pa mei cu jetnu ge'u je zo'ei lo du'u lo ro ja no mei cu jetnu cu zasti da'i .i plixau fa ke po'o lo re mei pe di'u .i ma'i ku lo re cmavo be zo GA cu se jmina .i sapmau .inde'e se'o
>
>>
>> .i .e'a .e'e .e'i .e'o .e'u do pensi la'e di'u
>>
>> ~ mi'e .uak. jo'au .zan. xi pa pi so so so so
>
>
> mi'e la guskant jo'au zantufa xi papipaxa
mi'e na ru'e gunma be lo ratni poi pagbu lo mi xadni do'u jo'au za'antufa xi pa pi so so so so
.i mi pu smudji lo drata .i do ca pilno zo'ei lo'u GA BO le'u .i mi stidi lo nu .anra zo bo lo ka zifma'o .i se ja'e ku zo'ei lo'u GA BO le'u jai na'e se nitcu .i lo'u GA LA'E'I'O'U'AI'EI'OI'AU le'u jai zasti ji'u lo nu zo LA'E'I'O'U'AI'EI'OI'AU cu cmavo zo UI
.i .y lo drata sidbo cu jai cumki
.i lo cmavo pe lo du'u lo pa mei cu jetnu ge'u je zo'ei lo du'u lo ro ja no mei cu jetnu cu zasti da'i .i plixau fa ke po'o lo re mei pe di'u .i ma'i ku lo re cmavo be zo GA cu se jmina .i sapmau .inde'e se'o
mi'e na ru'e gunma be lo ratni poi pagbu lo mi xadni do'u jo'au za'antufa xi pa pi so so so so
On Jun 26, 2016 10:36 AM, "guskant" <gusni...@gmail.com> wrote:
>
>
>
> Le vendredi 24 juin 2016 10:55:46 UTC, la uakci a écrit :
>>
>>
>> .i mi pu smudji lo drata .i do ca pilno zo'ei lo'u GA BO le'u .i mi stidi lo nu .anra zo bo lo ka zifma'o .i se ja'e ku zo'ei lo'u GA BO le'u jai na'e se nitcu .i lo'u GA LA'E'I'O'U'AI'EI'OI'AU le'u jai zasti ji'u lo nu zo LA'E'I'O'U'AI'EI'OI'AU cu cmavo zo UI
>>
>> .i .y lo drata sidbo cu jai cumki
>> .i lo cmavo pe lo du'u lo pa mei cu jetnu ge'u je zo'ei lo du'u lo ro ja no mei cu jetnu cu zasti da'i .i plixau fa ke po'o lo re mei pe di'u .i ma'i ku lo re cmavo be zo GA cu se jmina .i sapmau .inde'e se'o
xu do sanji tu'a ti poi sidbo
.i .ai mi skicu co sampu
.i se ba'i lo'u GA BO le'u pilno re cmavo be zo GA
.i bau ku plixau fa ke po'o lo'u go bo le'u .e lo'u go nai bo le'u
.i .e'u pilno zo gai'au .e zo gai'oi vu'o pe fi'o se cmavo zo GA
.i na jmina su'o cnino gentu'a
.i lo'u go nai bo jmive gi morsi gi nalmivnalmro le'u dunli le'u gai'oi jmive gi morsi gi nalmivnalmro le'u
.i lo'u go bo ka'orta gi plise gi mupli le'u go'i lo'u gai'au ka'orta gi plise gi mupli le'u
.i se'o sapmau sai
go'i .i ie do drani .i ku'i mi na nelci lo nu punji zo bo so'i cai gentu'a
>
>
>>
>> mi'e na ru'e gunma be lo ratni poi pagbu lo mi xadni do'u jo'au za'antufa xi pa pi so so so so
>
>
> mi'e gonaibo jmive gi morsi gi narmivnarmro do'u jo'au zantufa xi papipaxa
.a'o do ba'e jmive
mi'e jo'au mi'u
On Jun 26, 2016 10:36 AM, "guskant" <gusni...@gmail.com> wrote:
>
>
>
> Le vendredi 24 juin 2016 10:55:46 UTC, la uakci a écrit :
>>
>>
>> .i mi pu smudji lo drata .i do ca pilno zo'ei lo'u GA BO le'u .i mi stidi lo nu .anra zo bo lo ka zifma'o .i se ja'e ku zo'ei lo'u GA BO le'u jai na'e se nitcu .i lo'u GA LA'E'I'O'U'AI'EI'OI'AU le'u jai zasti ji'u lo nu zo LA'E'I'O'U'AI'EI'OI'AU cu cmavo zo UI
>>
>> .i .y lo drata sidbo cu jai cumki
>> .i lo cmavo pe lo du'u lo pa mei cu jetnu ge'u je zo'ei lo du'u lo ro ja no mei cu jetnu cu zasti da'i .i plixau fa ke po'o lo re mei pe di'u .i ma'i ku lo re cmavo be zo GA cu se jmina .i sapmau .inde'e se'oxu do sanji tu'a ti poi sidbo
.i .ai mi skicu co sampu
.i se ba'i lo'u GA BO le'u pilno re cmavo be zo GA
.i bau ku plixau fa ke po'o lo'u go bo le'u .e lo'u go nai bo le'u
.i .e'u pilno zo gai'au .e zo gai'oi vu'o pe fi'o se cmavo zo GA
.i na jmina su'o cnino gentu'a
.i lo'u go nai bo jmive gi morsi gi nalmivnalmro le'u dunli le'u gai'oi jmive gi morsi gi nalmivnalmro le'u
.i lo'u go bo ka'orta gi plise gi mupli le'u go'i lo'u gai'au ka'orta gi plise gi mupli le'u
.i se'o sapmau sai
>
> mi'e gonaibo jmive gi morsi gi narmivnarmro do'u jo'au zantufa xi papipaxa.a'o do ba'e jmive
mi'e jo'au mi'u
ua sai .i pei do djica lo ka stagau lo relfancu zei ga
ba'e je cu pilno zo bo lo ka za'u zei re zei fancu gasnu .i ta'o xu jalge fa lo nu lo'u ga bo le'u tcutcu tu'a lo famfa'oma'o .i mi tolbirti
>
>
>>
>> >
>> > mi'e gonaibo jmive gi morsi gi narmivnarmro do'u jo'au zantufa xi papipaxa
>>
>> .a'o do ba'e jmive
>> mi'e jo'au mi'u
>
>
>
>
> mi'e ia na narmivnarmro do'u jo'au zantufa xi papipaxa
jo'au ro'a .i ti karni xi vo re mi'e karnivore ~
ua sai .i pei do djica lo ka stagau lo relfancu zei ga
ba'e je cu pilno zo bo lo ka za'u zei re zei fancu gasnu .i ta'o xu jalge fa lo nu lo'u ga bo le'u tcutcu tu'a lo famfa'oma'o .i mi tolbirti
jo'au ro'a .i ti karni xi vo re mi'e karnivore ~
2016/06/28 8:18 "guskant" <gusni...@gmail.com>:
>
>
>
> Le lundi 27 juin 2016 07:20:39 UTC, la uakci a écrit :
>>
>>
>> ua sai .i pei do djica lo ka stagau lo relfancu zei ga
>> ba'e je cu pilno zo bo lo ka za'u zei re zei fancu gasnu .i ta'o xu jalge fa lo nu lo'u ga bo le'u tcutcu tu'a lo famfa'oma'o .i mi tolbirti
>
>
> i lo'u ga bo le'u kuspe pi ro lo nu jorne kei i ja'e bo lo famyma'o cu dunli lo drata lo ka me zo gi'i
zo gi'i ua nai cai .i du'o ku zo gi'i selma'o me zo GIhA .i mi za'o na jimpe
>
>
>> jo'au ro'a .i ti karni xi vo re mi'e karnivore ~
>
>
> mi'e u'inmo jo'au zantufa xi papipaxa
mi'e .u'onro'anmo se ju uarnaikci jo'au re'e
2016/06/28 8:18 "guskant" <gusni...@gmail.com>:
>
>
> i lo'u ga bo le'u kuspe pi ro lo nu jorne kei i ja'e bo lo famyma'o cu dunli lo drata lo ka me zo gi'i
zo gi'i ua nai cai .i du'o ku zo gi'i selma'o me zo GIhA .i mi za'o na jimpe
>
> mi'e u'inmo jo'au zantufa xi papipaxami'e .u'onro'anmo se ju uarnaikci jo'au re'e
2016/06/29 0:53 "guskant" <gusni...@gmail.com>:
>
>
>
> Le mardi 28 juin 2016 08:15:56 UTC, la uakci a écrit :
>>
>>
>> 2016/06/28 8:18 "guskant" <gusni...@gmail.com>:
>>
>> >
>> >
>> > i lo'u ga bo le'u kuspe pi ro lo nu jorne kei i ja'e bo lo famyma'o cu dunli lo drata lo ka me zo gi'i
>>
>> zo gi'i ua nai cai .i du'o ku zo gi'i selma'o me zo GIhA .i mi za'o na jimpe
>
>
> i u'u pu nu'o ciksi
> i ma'i la zantufa ma'oi GIhA co'u se nitcu
> i sa'unai lo'u ji cu le'u basti zo gi'i lo ka ma kau smuni ce'u kei
> i fau bo zo gi'i gau cmavo ma'oi GIhI noi famyma'o lo li'erla'i terjonma'o
> i ti'e la ilmen cu jinvi lo du'u zo vu'o cu ei famyma'o lo li'erla'i terjonma'o
> i ku'i mi djica lo nu sepli fa zo vu'o ne lo jbini terjonma'o fe zo gi'i ne lo li'erla'i terjonma'o
ua sai ki'e
>
>
>>
>> >
>> > mi'e u'inmo jo'au zantufa xi papipaxa
>>
>> mi'e .u'onro'anmo se ju uarnaikci jo'au re'e
>
>
> mi'e je'enmo jo'au zantufa xi papipaxa
mi'e seljaxselkemymi'afrakepy'efku jo'au mintu
fe'o ja'o
za'a na go'i
i mi selci'i lo lojyske
i ja'e bo ti zabna tai la zantufa iau i'e
i ko pilno lu li'erla'i logji bo jonma'o smuni li'u iau e'o
mi'e borpa'i