fancylojban: Difference between revisions

From Lojban
Jump to navigation Jump to search
No edit summary
No edit summary
Line 1: Line 1:
''Fancylojban'' (a [[jvocmevla]] from '''fancu '''(function) and '''lojban''') is a set of small additions made to Lojban to facilitate equational reasoning and the expression of complex functions. It sprang into being during the shift to ''functional '''ka''''', in which '''''ka'''''-abstractions are taken to create [http://en.wikipedia.org/wiki/Lambda_calculus lambda functions], as a way to explain the workings of this new kind of abstraction and its applications to the [[formal interpretation of tanru]] the thus [[definition of lujvo]], via the [[flipping principle]], and more generally to the [[axiomatic definition of Lojban]].
'''.fancylojban.''' (also spelled as ''Fancylojban'' and as ''Fancy Lojban''; a [[jvocmevla]] from '''fancu '''(''function'') and '''.lojban.''') is a set of small additions made to Lojban to facilitate equational reasoning and the expression of complex functions. It sprang into being during the shift to ''functional '''ka''''', in which '''''ka'''''-abstractions are taken to create [http://en.wikipedia.org/wiki/Lambda_calculus lambda functions], as a way to explain the workings of this new kind of abstraction and its applications to the [[formal interpretation of tanru]] the thus [[lujvo|definition of lujvo]], via the [[flipping principle]], and more generally to the [[axiomatic definition of Lojban]].


There certain essential precepts of fancylojban, which themselves form an interpretation for the term ''lojbanic''.
There certain essential precepts of Fancylojban, which themselves form an interpretation for the term ''lojbanic''.


* <u>Compositionality</u>: more complex structures should be built up from the composition of smaller ones,
* <u>Compositionality</u>: more complex structures should be built up from the composition of smaller ones,
* <u>Transparency</u>: expressions that have the same referent are interchangeable,
* <u>Transparency</u>: expressions that have the same referent are interchangeable,
* <u>Consistency</u>: Lojban is a logical language; fancylojban aims to make this obvious,
* <u>Consistency</u>: Lojban is a logical language; Fancylojban aims to make this obvious,
* <u>Precision</u>: the principle that ''[[Principle of least effort|the more you say, the more you mean]]'', i.e. that verbosity should be proportional to semantic content to the fullest extent possible and that the degree of precision of statement is left up to the speaker to choose.
* <u>Precision</u>: the principle that ''[[Principle of least effort|the more you say, the more you mean]]'', i.e. that verbosity should be proportional to semantic content to the fullest extent possible and that the degree of precision of statement is left up to the speaker to choose.

Revision as of 14:18, 28 August 2014

.fancylojban. (also spelled as Fancylojban and as Fancy Lojban; a jvocmevla from fancu (function) and .lojban.) is a set of small additions made to Lojban to facilitate equational reasoning and the expression of complex functions. It sprang into being during the shift to functional ka, in which ka-abstractions are taken to create lambda functions, as a way to explain the workings of this new kind of abstraction and its applications to the formal interpretation of tanru the thus definition of lujvo, via the flipping principle, and more generally to the axiomatic definition of Lojban.

There certain essential precepts of Fancylojban, which themselves form an interpretation for the term lojbanic.

  • Compositionality: more complex structures should be built up from the composition of smaller ones,
  • Transparency: expressions that have the same referent are interchangeable,
  • Consistency: Lojban is a logical language; Fancylojban aims to make this obvious,
  • Precision: the principle that the more you say, the more you mean, i.e. that verbosity should be proportional to semantic content to the fullest extent possible and that the degree of precision of statement is left up to the speaker to choose.