fancylojban

From Lojban
Revision as of 13:58, 28 August 2014 by Tsani (talk | contribs) (Created page with "''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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

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 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.