Proposal: Generalized terbri Notation: Difference between revisions

From Lojban
Jump to navigation Jump to search
Line 19: Line 19:
== Issues ==
== Issues ==


No unified approach.
=== No Unified Approach ===


Cannot tell which terbribis first in lujvo.
Each gismu and zi'evla, lujvo, and mekso operators have their own conventions for presentation and none match the others. Moreover, connectives do no seem to have any standard convention for this purpose whereas some of the other types of words have multiple conventions.


Finitely many options.
=== Cannot Discern terbri Order ===


Cultural reliance on order.
This occurs in lujvo but also in mekso operators (see the subsection on cultural reliance for order). As we know, wording can change and this is particularly likely in Lojban, wherein some definitions may be awkward in some natural languages and wherein conversion (permutation of terbri) is extremely common, and even encouraged. If a definition is presented as "p<sub>1</sub> = d<sub>2</sub> does [action] to p<sub>2</sub> = d<sub>1</sub>", how is one to know which terbri is actually the first, thinking as a Lojban speaker? Are we to rely on presentation order of terbri? What happens if terbri are reused? Or maybe the indices or letters hint at the order... But equality should be reflexive, meaning that the presentation order of variables for a given terbri should be free (so "p<sub>1</sub> = d<sub>2</sub>" is logically/semantically equivalent to "d<sub>2</sub> = p<sub>1</sub>"). And, apart from the issue of cultural reliance, how are we to determine the heirarchical precedence of indices versus symbols when they come into conflict? Would "k<sub>2</sub>" come before or after "m<sub>1</sub>", even assuming the standard order of the Latin alphabet? What happens if the variable symbol is actually a string (for example "kla<sub>3</sub>" has the variable symbol "kla" and the index "3")?


Symbols may conflict with standard cultural conventions for what they mean or how their referrents are denoted.
=== Difficulty in Mentioning the Same terbri Multiple Times ===
 
When referencing the same terbri within a given definition - or perhaps even sentence - how does one name it? Can one pull any given variable from the equality list? Or should the whole equality statement be repeated each time? Either option is not particularly pleasing. The first hints at preference or may even break the equality, possibly implying that there is a new terbri in the process. The second option is clunky and leaves no easy way to reference the terbri except by taking the whole word being defined as the terbri name (properly indexed).
 
Notice that this all leaves room for confusion about which terbri exist and what their ordering is.
 
=== No More than Finitely Many Options Exist ===
 
For mekso operators, there are only finitely many variables available, even if we allow for varied casing and scripts. Not only is extension/omission difficult (see the relevant subsection), but labelling too many terbri causes the set of available (unassigned) symbols to become depleted.
 
=== Difficulty in Extension and Omission ===
 
For mekso operators, using lowercase letters of the Latin alphabet in order results in the inability to easily extend the notation to an nth term for a specific natural n, for an arbitrary natural n, or for n being infinity - especially if ellision is occuring. Does one say "a, b, c, ..., z" in order to mean any of these? If so, which option? Does 'z' represent the last term (if so, what does "last" mean?) or the twenty-sixth term specifically, or what?
 
=== Cultural Reliance on Order ===
 
While the Lojban language strives for cultural neutrality, these conventions betray this goal. Sure, the goal is about the language itself and not how its definitions are presented, but it still seems out of place to present mekso definitions using the Latin alphabet with the assumption that the reader knows the standard order thereof. Furthermore, there is nothing special about this order, which makes it morally problematic for alien learners.
 
=== Conflict with Cultural Expectations Concerning Meaning ===
 
Symbols may conflict with standard cultural conventions for what they mean or how their referrents are denoted, particularly in mekso definitions. Consider a definition which extends to so far as to include a generalized terbri denoted by "f". Normally, in Western mathematics culture, the symbol "f" is almost universally and exclusively reserved for a function. But if the definition is not exceptionally lucky, this terbri very well could be a number (a non-function), in which case the meaning will be confusing and unnatural to such audiences. This problem does not just arise with "f": many Latin and Greek letters have common meanings in mathematics and, especially, physics (wherein they extremely rarely are explicitly defined).
 
=== Free Variables Cannot Exist ===
 
If I want to make a comment about a definition indicating, for example, that only n of the tebri need to be filled, I will not be able to do so because the symbol "n" will be implicitly reserved for the fourteenth terbri of the word - even if it is currently not defined, its use may lead to confusion (especially if "m" is used), hint at the existence of other terbri, and precludes future extensions of the definition.


== Main Proposal ==
== Main Proposal ==

Revision as of 09:03, 9 August 2016

This is a nitpicky proposal concerning a general notational convention for labelling 'generalized terbri' in Lojban definition presentations.

Background/Current State

The definitions of gismu and zi'evla are typically presented as something similar to "x1 is/does [core idea of word] to x2 with x3". The number of 'xi's varies and the exact wording in English/relation between them may vary too. Each of these variables are really representative of terbri (although there is a large problem with conflation of terbri with sumti in discussions of such definitions) in the brivla. There are usually less than five terbri in gismu ("jutsi" is an example of a gismu with arbitrarily many terbri, though).

lujvo are presented in quite a similar fashion. However, sometimes, the symbols which label the terbri are presented as "ya = zb", where 'a' and 'b' are positive integers, "y" stands in for a brief string of letters which represents one veljvo (and may or may not be exactly "x") and "z" does likewise for another word; "ya" refers to the ath terbri of the veljvo represented by "y" and likewise for "zb" by exchange; the equality means that the sumti supplied to this terbri of the lujvo is also supplied to the indicated terbri of the indicated veljvo and, in fact, the latter terbri (plural) are always mutually aligned in referent. There may or may not be any mention of "x1" vel sim.

Connectives have no standard symbolic representation except possibly for a single character, such as "&" for possibly "joi" or "je".

Operators in mekso (officially, constituting and being constituted bybexactly selma'o VUhU, but other selma'o of mekso operators may be and have been experimentally proposed) denote the operator by culturally common notation (such as "+" for "su'i") with each operand (technically: 'operand conceptual-slot') being denoted by a lowercase letter in the Latin alphabet in standard alphabetic order starting with "a".

For the sake of this article, all of these 'parameter conceptual-slots' will be called "(generalized) terbri". They will be made more specific by context if necessary.

Let the number of generalized terbri that a word has be called its "arity".

Issues

No Unified Approach

Each gismu and zi'evla, lujvo, and mekso operators have their own conventions for presentation and none match the others. Moreover, connectives do no seem to have any standard convention for this purpose whereas some of the other types of words have multiple conventions.

Cannot Discern terbri Order

This occurs in lujvo but also in mekso operators (see the subsection on cultural reliance for order). As we know, wording can change and this is particularly likely in Lojban, wherein some definitions may be awkward in some natural languages and wherein conversion (permutation of terbri) is extremely common, and even encouraged. If a definition is presented as "p1 = d2 does [action] to p2 = d1", how is one to know which terbri is actually the first, thinking as a Lojban speaker? Are we to rely on presentation order of terbri? What happens if terbri are reused? Or maybe the indices or letters hint at the order... But equality should be reflexive, meaning that the presentation order of variables for a given terbri should be free (so "p1 = d2" is logically/semantically equivalent to "d2 = p1"). And, apart from the issue of cultural reliance, how are we to determine the heirarchical precedence of indices versus symbols when they come into conflict? Would "k2" come before or after "m1", even assuming the standard order of the Latin alphabet? What happens if the variable symbol is actually a string (for example "kla3" has the variable symbol "kla" and the index "3")?

Difficulty in Mentioning the Same terbri Multiple Times

When referencing the same terbri within a given definition - or perhaps even sentence - how does one name it? Can one pull any given variable from the equality list? Or should the whole equality statement be repeated each time? Either option is not particularly pleasing. The first hints at preference or may even break the equality, possibly implying that there is a new terbri in the process. The second option is clunky and leaves no easy way to reference the terbri except by taking the whole word being defined as the terbri name (properly indexed).

Notice that this all leaves room for confusion about which terbri exist and what their ordering is.

No More than Finitely Many Options Exist

For mekso operators, there are only finitely many variables available, even if we allow for varied casing and scripts. Not only is extension/omission difficult (see the relevant subsection), but labelling too many terbri causes the set of available (unassigned) symbols to become depleted.

Difficulty in Extension and Omission

For mekso operators, using lowercase letters of the Latin alphabet in order results in the inability to easily extend the notation to an nth term for a specific natural n, for an arbitrary natural n, or for n being infinity - especially if ellision is occuring. Does one say "a, b, c, ..., z" in order to mean any of these? If so, which option? Does 'z' represent the last term (if so, what does "last" mean?) or the twenty-sixth term specifically, or what?

Cultural Reliance on Order

While the Lojban language strives for cultural neutrality, these conventions betray this goal. Sure, the goal is about the language itself and not how its definitions are presented, but it still seems out of place to present mekso definitions using the Latin alphabet with the assumption that the reader knows the standard order thereof. Furthermore, there is nothing special about this order, which makes it morally problematic for alien learners.

Conflict with Cultural Expectations Concerning Meaning

Symbols may conflict with standard cultural conventions for what they mean or how their referrents are denoted, particularly in mekso definitions. Consider a definition which extends to so far as to include a generalized terbri denoted by "f". Normally, in Western mathematics culture, the symbol "f" is almost universally and exclusively reserved for a function. But if the definition is not exceptionally lucky, this terbri very well could be a number (a non-function), in which case the meaning will be confusing and unnatural to such audiences. This problem does not just arise with "f": many Latin and Greek letters have common meanings in mathematics and, especially, physics (wherein they extremely rarely are explicitly defined).

Free Variables Cannot Exist

If I want to make a comment about a definition indicating, for example, that only n of the tebri need to be filled, I will not be able to do so because the symbol "n" will be implicitly reserved for the fourteenth terbri of the word - even if it is currently not defined, its use may lead to confusion (especially if "m" is used), hint at the existence of other terbri, and precludes future extensions of the definition.

Main Proposal

brivla

mekso Operators

Issues with the Proposal

(Empty)

Generalizations/Going Further

(Empty)

Contributors

The following people contributed to this article. All ideas and opinions are theirs. All first-person personal pronouns refer to them.

  • lai .krtisfranks.