jbovlaste
a lojban dictionary editing system
User:
Pass:

Home
Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
Languages
XML Export
user Listing
Report Bugs
Utilities
Status
Help
Admin Request
Create Account
Dictionary record
Back to the main valsi listing.
valsi dau'o
type experimental cmavo
creator krtisfranks
time entered Sat Jul 23 07:37:43 2016

Examples
   
English
Definition #68843 - Preferred [edit]
   
selma'o DAUhO
definition Quantifier modifier: endowment of existential import - repeal of existential import/abstention from claiming existence - assertion of non-existence
notes The immediately previous word must be a quantifier (such as ro) or quantified variable. This word endows the quantification with existential import. If this word is immediately followed by "cu'i" (thereby producing "dau'ocu'i"), then all existential import is explicitly repealed (so that it does not apply) and the result is agnostic on existence; "rodau'o" is technically exactly the same as "ro" alone according to the CLL and means "(for) each/every/all [x, P(x) is true], and strictly more than zero [x] (are asserted to) exist"; meanwhile, "rodau'ocu'i" is a more correct translation of the universal quantifier ("all", "for any/every") in modern logic/math, but it very clearly states that the person is purposefully and knowingly abstaining from asserting existence of non-existence. If it is immediately followed by "nai" (thereby producing "dau'onai"), then non-existence is explicitly, purposefully, and knowingly claimed; the result is more of an 'IF' statement ("if X were to exist, then proposition p(X) would be true (of (all of) X); but X do not exist."). On its own, "rodau'o lo broda cu brode" is equivalent to "ro lo broda cu brode .ije da broda".
gloss words
created by krtisfranks
vote information 1
time Wed May 29 12:49:20 2019
[View Comments For This Definition]

Examples
Etymology

krtisfranks{da} + {ro} + English "endow".[edit]
Currently, jbovlaste will accept data for 69 languages.
You are not logged in.

  recent changes jbovlaste main
This is jbovlaste, the lojban dictionary system.
The main code was last changed on Sun Nov 15 18:45:23 PST 2015.
All content is public domain. By submitting content, you agree to place it in the public domain to the fullest extent allowed by local law.
jbovlaste is an official project of the logical language group, and is now headed by Robin Lee Powell.
E-mail him if you have any questions.
care to log in?