new jei: Difference between revisions

From Lojban
Jump to navigation Jump to search
mNo edit summary
(Update submitter's name)
Line 1: Line 1:
{{jbocre/en}}
{{jbocre/en}}
A new use for the [[cmavo]] '''jei''', as proposed by la sasyctu.
A new use for the [[cmavo]] '''jei''', as proposed by [[la saski'o]].


{| class="wikitable" width="800" style="background: FFF8DC"
{| class="wikitable" width="800" style="background: FFF8DC"

Revision as of 20:05, 15 May 2020

A new use for the cmavo jei, as proposed by la saski'o.

cmavo: jei (NU)

Proposed Definition

abstractor: truth-value abstractor; x1 is a predication representing whether [bridi] is true under epistemology x2

See Also:

  • {jetnu}
  • {jitfa}
  • {du'u}

Keywords

Examples

.i mi djuno lojei mi morsi
I know if it is true that I am dead
.i lo jei la kaisr cu se tunta lo dakfu cu mo .i jetnu
The truthiness of Caesar being stabbed by a knife is what? Truth

Formulae

  • jei broda == du'u xukau jetnu fa lodu'u broda
  • lo jei broda kei be ko'a == lo du'u xukau jetnu fa lodu'u broda kei ko'a

Merits

The classical interpretation of jei is such that the x1 is a number, ranging from 0 to 1. This isn't a particularly useful construct under normal usage of lojban, and seems to be a holdover from when there was some intention to introduce fuzzy logic to the language. New-jei instead focuses on conventional use of the language with the current vlaste and semantics, allowing jei to become a useful abstraction in casual conversation. While du'u allows you to talk about facts about the universe, whether they are true or false, it doesn't provide a convenient way to talk about if those predications are true; new-jei allows that.

This new usage makes a few assumptions about truthiness and falsiness, namely that lojban does not have or need a primitive way to talk about true or false the way programming languages do (even English for example has the words true and false which more closely relate to loka jetnu and loka jitfa respectively, rather than a primitive representation of boolean value), but instead that truthiness and falsiness are simply properties of predications. Under that assumption, jei takes on a role of creating a predication to encapsulate the truth value of another predication.