Re: [lojban-beginners] Coining a lujvo: "evidence"

[tijlan <jbotijlan@gmail.com>]

On 26 July 2011 05:42, Alex Rozenshteyn <rpglover64@gmail.com> wrote:
> Because {ganai abu jetnu ge lo du'u abu nibli by kei ku jetnu gi by jetnu}.
> (In case my lojban is wrong) If A is true and {A nibli B} is true, then B is
> true.

That Lojban reads as:

  ganai
  < abu jetnu ge < lo du'u abu nibli by kei ku jetnu > gi < by jetnu > >
  [ gi ]
  < [ ? ] >

The English would be translated more as:

  ganai
  < ge < abu jetnu > gi < lo du'u abu nibli by cu jetnu >
  gi
  < by jetnu >


> You might be eating it to be polite, or because you've been deprived of food
> for the last week; it is not true that there is a logical implication, but
> your eating it _is_ evidence that you like it.

What about nibli3? As far as the definition of {nibli} goes, a logical
implication is not independent of a framework. It seems we could
technically specify this x3 so as to express an entailment that's
specific to a certain aspect of the observed event.

The idea of implementing the distinction between "evidence" and
"proof" using the same gismu comes to mind, and that reminds me of the
discussion of the pair of "transparent" and "almost transparent". The
following was suggested:

  [ja'a] klina = to be transparent
  na klina = to be not transparent
  na ru'e klina = to be weakly-not transparent --> to be almost transparent

We might then think of having:

  [ja'a] nibli = to prove (in the sense of "some fact necessitates a
certain truth proposition", not "someone demonstrates that a certain
proposition is true")
  na nibli = to not prove
  na ru'e nibli = to weakly-not prove --> to almost prove

I can imagine myself using a lujvo from "na ru'e nibli" for "x1
evidences x2 according to metaphysics x3", except that "ru'e" has no
rafsi.

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.