shorthand symbols: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
 
mNo edit summary
Line 1: Line 1:


In October--November 2002 there was on Lojban List and then Jboske an intense and voluminous debate on the meaning of ''ro'', particularly on the question of whether it has 'existential import'. The text below has been agreed on as representing the complete consensus that emerged from the discussion. (NB: [[jbocre: pc|pc]] resigned mid-way through the discussion, so he is not party to the final consensus.)
The following symbols are found on standard [http://en.wikipedia.org/wiki/Keyboard_layout eyboard layouts in various languages]. Some jbopre have suggested that assigning them to [http://www.lojban.org/tiki/tiki-download_wiki_attachment.php?attId=230&download=y igh-frequency cmavo] might be a good idea. With the exception of the numerals 0-9, all the proposals here are just brainstorming for now. In particular, wherever one symbol has multiple cmavo, those are alternatives which are under discussion. Ultimately each symbol must be assigned exactly one cmavo.


==== Quantification and the meaning of ''ro'' ====
||'''sinxa'''|'''jbovla (sance)'''|'''notci'''


'''Two types of quantification.''' Quantifiers come in two sorts, which we can tentatively label ''''cardinals'''' and ''''fractionals''''. The numbers ''pa, re, ci...'', "1, 2, 3...", are examples of cardinals. ''So'e'', "most", is an example of a fractional. Fractionals may either involve taking a fraction of the extension of a set, as in "one third of all lojbanists", or they may be formulated as 'frequencies', as in "one in (every) three lojbanists", "one per three lojbanists". The frequency variety of fractionals is suitable for fractionally quantifying over sets with infinite size.
==  | sai, ba'e, nai | Could be used for emphasis (sai, ba'e) or negation (nai). ==


'''The meaning of ''ro''.''' What does ''ro'' mean in ''lo ro broda''? Well, if there are 7 broda, then ''lo ro broda'' is equivalent to ''lo ze broda''. If there are a hundred broda, then it is equivalent to ''lo pa no no broda''. ''Ro'', then, expressed a cardinal number. In ''lo ro broda'', ''ro'' expresses the cardinal number that is the cardinality of ''lo'i broda''. In ''ro (lo) broda'', ''ro'' again expresses the number that is the cardinality of ''lo'i broda'', but here the number is functioning as a cardinal quantifier, so ''ro lo ze broda'' = ''ze (lo ze) broda'', ''ro lo pa no no broda'' = ''pa no no (lo pa no no) broda''. The same goes for ''ro da poi broda'' (which is always exactly the same as ro (lo) broda). In the case of unrestricted quantification, as in ''ro da ga broda gi brode'', ''ro'' expresses the number that is the number of da in the universe (-- everything in the universe is a da [[jbocre: 2|2]] ).
" | la'o |


'''Ways of saying "all".''' Sometimes we might want to express "all" by means of a fractional quantifier -- "all (of the) lojbanists", "1 in every 1 lojbanist", "100% of lojbanists". However that would be done in Lojban, it is not done by plain unadorned ''ro''. It has not yet been determined which fractionals (if any) have existential import.
# | li | Number sign. Seems appropriate for "li", though "li" is short and not particularly frequent.


'''Existential import of ''ro''.''' The issue that led to the discussion that led to this record was the question of whether ''ro broda cu brode'' can be true when there are no broda. It turns out that ''ro broda cu brode'' can be true when there are ''no broda''. This is easy to see. If the cardinality of ''lo'i broda'' is 0, then ''ro broda'' = ''no broda''. Plainly, ''no broda cu brode'' is true when there are no broda.
$ | sei | "sei" is relatively low-use, and "$" is an arbitrary symbol for it, so other suggestions will definitely be considered.


'''The principal quantiers.''' There are four principal cardinal quantifiers: ''no'', "0"; ''su'o (pa)'', "at least one"; ''me'i (ro)'', "less than ro"; ''ro''. The details of these are discussed elsewhere. See [[jbocre: Existential Import|Existential Import]]. (NB: It has not yet been fully established that plain ''me'i'' is equivalent to ''me'i ro'', or that ''me'i'' is the best choice to express one of the four principal cardinal quantifiers.) By deduction, ''su'o'' and ''me'i'' [[jbocre: 3|3]] have exstential import and ''no'' and ''ro'' do not.
% | ce'i | Percent sign; exact match, but "ce'i" is extremely low-use.


--[[User:And Rosta|And Rosta]]
& | gi'e | And sign. "gi'e" is one of the most frequently used 4-character cmavo, and has a meaning related to "and".


* Robin asks who agreed with the above. Essentially, the answer is Everyone. Everyone in the online lojban community had the opportunity to participate, and everyone had the chance to dissent with the above text. The main participants in the closing stages of debate were Adam, And, John, Jordan, Nick, xod, xorxes. Of these, I think Adam, Jordan, Nick and xorxes were all positively in favour, xod explicitly said he didn't have a problem with it, and John consented by not voicing dissent. --[[User:And Rosta|And Rosta]]
( | to, vei |
** John did dissent: see [http://groups.yahoo.com/group/lojban/message/17035].  I continue to dissent.


** That message is from a much much earlier phase of the debate. Many many more arguments were subsequently raised and discussed pro and con importing ro. The clinching argument in favour of cardinal ro is that it makes ro mean the same thing in all environments. This means that the fractional meaning that you and I thought it had must in fact be expressed some other way. You didn't argue against those new arguments. Perhaps you were too busy & will raise counterarguments that mean the debate will have to be reopened. But at any rate, my view is that dissent is valid only if it keeps itself up to date and engages with all the arguments that favour the established position. --[[User:And Rosta|And Rosta]]
) | toi, ve'o |
** Umm, dissent is dissent.  Whether you agree with the dissent's validity is a very seperate discussion. -- [[jbocre: RobinLeePowell|RobinLeePowell]]


** And for the record, pc was adamantly opposed. As a tangent, sometimes there will just have to be majority and minority views; sometimes not everyone can be accommodated -- and that includes John. As a further tangent, the existential import of ''ro'' is a 'common sense' approach to 'all', while the non-existential is a more intellectualised approach. ("All Green members of the House of Representatives vote against plutonium mining" --- a statement it is convenient for logic to make true, even if it involves ''nu'o'' people.) In cases like these, where the language does not live or die on the ambiguity, there may will be some room for dissent and discrepancy of usage; but I think it fair to say that the majority either doesn't care, or would rather Lojban resemble legalistic English than naive English. Those who would denigrate this, remember that it is still a log-lan... -- [[User:Nick Nicholas|nitcion]]
* | xi, pi'i | Asterisk; multiplication sign. Why "xi"? It's already short, and the meaning doesn't seem to be related to the symbol.
** There is Valid Dissent (or Valid Opinion) and Invalid Dissent (or Invalid Opinion). (The problem with current political democracy is that it doesn't allow for this distinction.) Disagreements based on Valid Opinion will raise arguments and counterarguments and through a shared process of Reason will either converge on an agreed opinion or will reach a point of disagreement where each conflicting opinion is equally valid, given the arguments that have been raised. An Invalid Opinion is one that is put forward either without supporting arguments or without addressing counterarguments. John's current dissent is Invalid (not necessarily culpably so: it is very hard to keep up with debates when they number a couple of dozen messages a day). Likewise, pc, knowledgeable though he is, rarely supported his own position with compelling arguments or adequately addressed the counterarguments of his opponents. What really matters in these debates is that we end up with the most coherent position and know the reasons that support the position. The question of who is and isn't in favour, and the relevance of majority votes, matters only when we end up with two conflicting but equally valid positions. --[[User:And Rosta|And Rosta]]


The footnotes don't actually seem to work; I don't know why.  Sorry.  -- RobinLeePowell
+ | joi, za'u, ma'u, su'i |


* Now they seem to work. -- Adam
- | i, me'i, ni'u, vu'i | "i" really doesn't need a symbol. It's already 1 character.
** Do not. Clicking on them takes you to the main page. -- RobinLeePowell


[[jbocre: 2|2]]:  Everything in the universe is a da, sure, but not everything is a da ga broda gi brode, so I'm not sure what this comment means.  -- RobinLeePowell
/ | fi'u, fe'i |


* The point is that the ''ro'' of an unrestricted claim such as ''ro da ga broda gi brode'' also stands for however many ''da''s there are in the world, including ''no'', if that should be the case. -- AdamRaizen
0 | no |
* OK, that's pretty unclear from that comment.  How about:


** ''ro'' expresses the number that is the number of da in the universe that match the ''da ga broda gi brode'' restriction (remember, everything in the universe is a ''da'' if ''da'' is not restricted).
1 | pa |


[[jbocre: 3|3]]:  Why is me'i importing?  Simply because "less than zero" makes no sense for discrete objects? -- RobinLeePowell
2 | re |


* See [[jbocre: Is me'i Importing?|Is me'i Importing?]]
3 | ci |
 
4 | vo |
 
5 | mu |
 
6 | xa |
 
7 | ze |
 
8 | bi |
 
9 | so |
 
: | zo'u, pi'e |
 
; | gi |
 
< | fu'e, tu'e, me'i | Brackets might not be the best use for "<" and ">".
 
= | goi |
 
> | fu'o, tu'u, za'u | Brackets might not be the best use for "<" and ">".
 
? | ki'a, pau, xu, ma |
 
@ | ko'a | For such a frequently used pronoun, "ko'a" is quite long.
 
[jbocre: | lu | "lu" is used more often than "ke", and "[jbocre: " is easier to type than any of the other brackets.
 
\ | |
 
~93~ | li'u |
 
^ | co, te'a, gei | This symbol is sometimes used for "exponent".
 
_ | zoi |
 
` | | Could be used for zoi too.
 
{ | ke |
 
~124~ | |
 
} | ke'e |
 
~126~ | |
 
||
 
== Discussions ==
 
http://jbotcan.org/ideas/res/481.html

Revision as of 17:13, 4 November 2013

The following symbols are found on standard eyboard layouts in various languages. Some jbopre have suggested that assigning them to igh-frequency cmavo might be a good idea. With the exception of the numerals 0-9, all the proposals here are just brainstorming for now. In particular, wherever one symbol has multiple cmavo, those are alternatives which are under discussion. Ultimately each symbol must be assigned exactly one cmavo.

||sinxa|jbovla (sance)|notci

| sai, ba'e, nai | Could be used for emphasis (sai, ba'e) or negation (nai).

" | la'o |

  1. | li | Number sign. Seems appropriate for "li", though "li" is short and not particularly frequent.

$ | sei | "sei" is relatively low-use, and "$" is an arbitrary symbol for it, so other suggestions will definitely be considered.

% | ce'i | Percent sign; exact match, but "ce'i" is extremely low-use.

& | gi'e | And sign. "gi'e" is one of the most frequently used 4-character cmavo, and has a meaning related to "and".

( | to, vei |

) | toi, ve'o |

  • | xi, pi'i | Asterisk; multiplication sign. Why "xi"? It's already short, and the meaning doesn't seem to be related to the symbol.

+ | joi, za'u, ma'u, su'i |

- | i, me'i, ni'u, vu'i | "i" really doesn't need a symbol. It's already 1 character.

/ | fi'u, fe'i |

0 | no |

1 | pa |

2 | re |

3 | ci |

4 | vo |

5 | mu |

6 | xa |

7 | ze |

8 | bi |

9 | so |

| zo'u, pi'e |
| gi |

< | fu'e, tu'e, me'i | Brackets might not be the best use for "<" and ">".

= | goi |

> | fu'o, tu'u, za'u | Brackets might not be the best use for "<" and ">".

? | ki'a, pau, xu, ma |

@ | ko'a | For such a frequently used pronoun, "ko'a" is quite long.

[jbocre: | lu | "lu" is used more often than "ke", and "[jbocre: " is easier to type than any of the other brackets.

\ | |

~93~ | li'u |

^ | co, te'a, gei | This symbol is sometimes used for "exponent".

_ | zoi |

` | | Could be used for zoi too.

{ | ke |

~124~ | |

} | ke'e |

~126~ | |

||

Discussions

http://jbotcan.org/ideas/res/481.html

Retrieved from "https://mw.lojban.org/index.php?title=shorthand_symbols&oldid=76081"