a lojban dictionary editing system

Get A Printable Dictionary
Search Best Words
Recent Changes
How You Can Help
valsi - All
valsi - Preferred Only
natlang - All
natlang - Preferred Only
XML Export
user Listing
Report Bugs
Admin Request
Create Account
Dictionary record

This is a "best guess" listing for the word "dau'o" in language English, meaning that only one of the definitions for this word will be shown (the one with the highest total votes). See all the definitions for dau'o.

Back to the main valsi listing.
valsi dau'o
type experimental cmavo
creator krtisfranks
time entered Sat Jul 23 07:37:43 2016

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 19:49:20 2019
[View Comments For This Definition]


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 Wed 07 Oct 2020 05:54:55 PM PDT.
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?