Existential import: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
Tag: 2017 source edit
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:


== Clever Title Goes Here ==
We consider the following logical forms:
<pre>
A    All S is P
E    No S is P
I    Some S is P
O    Not all S is P
</pre>
We can divide each of these in two cases, according to whether or not they have existential import, i.e. whether or not they entail that there is some S. We indicate import with + and no import with -, so we have:
<pre>
A-  All S, if there is any S, is P
A+  All S, and there is some S, is P
E-  No S, if there is any S, is P
E+  No S, and there is some S, is P
I-  Some S, if there is any S, is P
I+  Some S, and there is some S, is P
O-  Not all S, if there is any S, is P
O+  Not all S, and there is some S, is P
</pre>


...or 'What I Learned When I wasn't Finger-Painting'.
The non-controversial extended Lojban forms for these are:
<pre>
A-                      roda zo'u ganai da broda gi da brode
E-                      noda zo'u    ge da broda gi da brode
I+                    su'oda zo'u    ge da broda gi da brode
O+                    me'ida zo'u ganai da broda gi da brode
A+    ge da broda gi    rode zo'u ganai de broda gi de brode
E+    ge da broda gi    node zo'u    ge de broda gi de brode
I- ganai da broda gi  su'ode zo'u    ge de broda gi de brode
O- ganai da broda gi me'ide zo'u ganai de broda gi de brode
</pre>
For the first four, the import condition is not needed, because it is already contained in the second part.


*colours
The controversial (as to their import) short Lojban forms are these:
**red - xunre
<pre>
A      ro broda cu brode
E      no broda cu brode
I    su'o broda cu brode
O  me'i broda cu brode
</pre>
We should note the relationships that exist between forms:
<pre>
A-  =  E- naku  =  naku I+ naku =  naku O+
A+  =  E+ naku  =  naku I- naku =  naku O-
</pre>


**orange - narju
These relationships tell us how to change the quantifier when going through a negation boundary. We see that there is a natural grouping of (A-E-I+O+) and (A+E+I-O-). The fisrt group is the one that does not require an explicit import condition in the extended forms.
**yellow - pelxu


**green - crino
In principle, any assignment could be made to the short forms. For [[User:xorxes|me]], the correct assignment is (A-E-I+O+), as it is the simplest and most basic. Others prefer (A+E+I+O+) or (A+E-I+O-). These introduce complications when you try to relate one form to another through negations. So this is how [[User:xorxes|xorxes]] understand them, but keep in mind that this assignment is not accepted by everyone:
**cyan - cicna
<pre>
A-       ro broda cu brode
E-      no broda cu brode
I+    su'o broda cu brode
O+  me'iro broda cu brode
</pre>


**blue - blanu
Complementary relationships between the quantifiers:
**purple - zirpu
<pre>
da'a ro = no
da'a no = ro
da'a su'o = me'i
da'a me'i = su'o
</pre>


**black - xekri
All four quantifiers can also be written in terms of '''pa''' or '''da'apa''':
**white - blabi
<pre>
ro = za'u da'apa
no = me'i pa
su'o = su'o pa
me'i = su'e da'apa
</pre>


**brown - bunre
Two other not very useful but interesting forms are the tautology and the contradiction, which I like to call U and Y just to use the remaining Lojban vowels:
**grey - grusi
<pre>
U    su'ono broda cu brode  (At least zero S are P - tautology)
Y    me'ino broda cu brode  (Less than zero S are P - contradiction)
</pre>


**pink - labyxu'e, xunblabi
The natural import for those is U- and Y+, as can be seen from the extended forms:
**turquoise - cicna
<pre>
U-                  su'onoda zo'u ganai da broda gi da brode
U-                  su'onoda zo'u    ge da broda gi da brode
Y+                  me'inoda zo'u    ge da broda gi da brode
Y+                  me'inoda zo'u ganai da broda gi da brode
U+    ge da broda gi su'onode zo'u ganai de broda gi de brode
U+    ge da broda gi su'onode zo'u    ge de broda gi de brode
Y- ganai da broda gi me'inode zo'u    ge de broda gi de brode
Y- ganai da broda gi me'inode zo'u ganai de broda gi de brode
</pre>


**beige
And we also have the relationships:
**silver - rijno skari ???
<pre>
U-  =  U- naku  =  naku Y+  =  naku Y+ naku
U+  =  U+ naku  =  naku Y-  =  naku Y- naku
</pre>
These quantifiers can also be written in terms of '''ro''' instead of '''no''':
<pre>
su'ono = su'ero
me'ino = za'uro
</pre>
And they are complementary:
<pre>
da'a su'ono = me'ino
da'a me'ino = su'ono
</pre>


**gold - solji skari
Another interesting quantifier quartet is given by '''rau''' (''enough'') '''du'e''' (''too many'') and '''mo'a''' (''too few''). We don't have a cmavo for the fourth one, ''not too many''. Perhaps we can use '''me'idu'e''' for it. These follow their own DeMorgan's transformations:
<pre>
du'eda = mo'ada naku = naku rauda naku = naku me'idu'eda
mo'ada = du'eda naku = naku me'idu'eda naku = naku rauda
rauda = me'idu'eda naku =  naku du'eda naku = naku mo'ada
me'idu'eda = rauda naku = naku mo'ada naku = naku du'eda
</pre>
Then the complementaries would be:
<pre>
da'adu'e = mo'a
da'amo'a = du'e
da'arau = me'idu'e
da'ame'idu'e = rau
</pre>


*letters - lerfu
**a - abu


**b - by
[[User:xorxes|xorxes]]
**c - cy


**d - dy
=== Discussions ===
**e - ebu
* [https://groups.google.com/g/bpfk-list/c/7NUB_ZT6vtI/m/h-WBVrAYxeYJ <nowiki>[bpfk-list]</nowiki> {ro}, existential import and De Morgan]
 
**f - fy
**g - gy
 
**h - y'y bu
**i - ibu
 
**j - jy
**k - ky
 
**l - ly
**m - my
 
**n - ny
**o - obu
 
**p - py
**q - ky bu
 
**r - ry
**s - sy
 
**t - ty
**u - ubu
 
**v - vy
**w - vy bu
 
**x - xy
**y - ybu
 
**z - zy
**apostrophe - y'y
 
**full-stop (period) - denpa bu
**comma - slaka bu
 
*numbers - namcu
**1 - pa
 
**2 - re
**3 - ci
 
**4 - vo
**5 - mu
 
**6 - xa
**7 - ze
 
**8 - bi
**9 - so
 
**10 - dau
**11 - fei
 
**12 - gai
**13 - jau
 
**14 - rei
**15 - vai
 
**100 - panono
**1000 - paki'o
 
**1000000 - paki'oki'o
**1000000000 - paki'oki'oki'o
 
**0.5 - nopimu
**plus - su'i
 
**minus - vu'u
**add - jmina
 
***sum - sumji
**subtract - vimcu
 
***difference - selsumji
**multiply
 
***product - pilji
**divide - fendi
 
***(integer) quotient - dilcu
***dividend - se dilcu
 
***divisor - te dilcu
***remainder - ve dilcu
 
**fraction - frinu
***numerator - se frinu
 
***denominator - te frinu
 
*grammar - gerna
**Go ahead and stick grammar stuffs here if you want, but I don't know if we want to bother to come up with words for "verb" and "noun" in Lojban, but we should probably include the various words for parts of speech in Lojban in this list.

Latest revision as of 14:14, 27 December 2021

We consider the following logical forms:

A    All S is P
E    No S is P
I    Some S is P
O    Not all S is P

We can divide each of these in two cases, according to whether or not they have existential import, i.e. whether or not they entail that there is some S. We indicate import with + and no import with -, so we have:

A-   All S, if there is any S, is P
A+   All S, and there is some S, is P
E-   No S, if there is any S, is P
E+   No S, and there is some S, is P
I-   Some S, if there is any S, is P
I+   Some S, and there is some S, is P
O-   Not all S, if there is any S, is P
O+   Not all S, and there is some S, is P

The non-controversial extended Lojban forms for these are:

A-                       roda zo'u ganai da broda gi da brode
E-                       noda zo'u    ge da broda gi da brode
I+                     su'oda zo'u    ge da broda gi da brode
O+                    me'ida zo'u ganai da broda gi da brode
A+    ge da broda gi     rode zo'u ganai de broda gi de brode
E+    ge da broda gi     node zo'u    ge de broda gi de brode
I- ganai da broda gi   su'ode zo'u    ge de broda gi de brode
O- ganai da broda gi me'ide zo'u ganai de broda gi de brode

For the first four, the import condition is not needed, because it is already contained in the second part.

The controversial (as to their import) short Lojban forms are these:

A       ro broda cu brode
E       no broda cu brode
I     su'o broda cu brode
O   me'i broda cu brode

We should note the relationships that exist between forms:

A-  =  E- naku  =  naku I+ naku =  naku O+
A+  =  E+ naku  =  naku I- naku =  naku O-

These relationships tell us how to change the quantifier when going through a negation boundary. We see that there is a natural grouping of (A-E-I+O+) and (A+E+I-O-). The fisrt group is the one that does not require an explicit import condition in the extended forms.

In principle, any assignment could be made to the short forms. For me, the correct assignment is (A-E-I+O+), as it is the simplest and most basic. Others prefer (A+E+I+O+) or (A+E-I+O-). These introduce complications when you try to relate one form to another through negations. So this is how xorxes understand them, but keep in mind that this assignment is not accepted by everyone:

A-       ro broda cu brode
E-       no broda cu brode
I+     su'o broda cu brode
O+   me'iro broda cu brode

Complementary relationships between the quantifiers:

da'a ro = no
da'a no = ro
da'a su'o = me'i
da'a me'i = su'o

All four quantifiers can also be written in terms of pa or da'apa:

ro = za'u da'apa
no = me'i pa
su'o = su'o pa
me'i = su'e da'apa

Two other not very useful but interesting forms are the tautology and the contradiction, which I like to call U and Y just to use the remaining Lojban vowels:

U     su'ono broda cu brode  (At least zero S are P - tautology)
Y     me'ino broda cu brode  (Less than zero S are P - contradiction)

The natural import for those is U- and Y+, as can be seen from the extended forms:

U-                   su'onoda zo'u ganai da broda gi da brode
U-                   su'onoda zo'u    ge da broda gi da brode
Y+                   me'inoda zo'u    ge da broda gi da brode
Y+                   me'inoda zo'u ganai da broda gi da brode
U+    ge da broda gi su'onode zo'u ganai de broda gi de brode
U+    ge da broda gi su'onode zo'u    ge de broda gi de brode
Y- ganai da broda gi me'inode zo'u    ge de broda gi de brode
Y- ganai da broda gi me'inode zo'u ganai de broda gi de brode

And we also have the relationships:

U-  =  U- naku  =  naku Y+  =  naku Y+ naku
U+  =  U+ naku  =  naku Y-  =  naku Y- naku

These quantifiers can also be written in terms of ro instead of no:

su'ono = su'ero
me'ino = za'uro

And they are complementary:

da'a su'ono = me'ino
da'a me'ino = su'ono

Another interesting quantifier quartet is given by rau (enough) du'e (too many) and mo'a (too few). We don't have a cmavo for the fourth one, not too many. Perhaps we can use me'idu'e for it. These follow their own DeMorgan's transformations:

du'eda = mo'ada naku = naku rauda naku = naku me'idu'eda
mo'ada = du'eda naku = naku me'idu'eda naku = naku rauda
rauda = me'idu'eda naku =  naku du'eda naku = naku mo'ada
me'idu'eda = rauda naku = naku mo'ada naku = naku du'eda

Then the complementaries would be:

da'adu'e = mo'a
da'amo'a = du'e
da'arau = me'idu'e
da'ame'idu'e = rau


xorxes

Discussions