Received: from [192.168.123.254] (port=47258 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.92) (envelope-from ) id 1hW4Jr-0001A9-4x for jbovlaste-admin@lojban.org; Wed, 29 May 2019 12:33:05 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Wed, 29 May 2019 12:33:03 -0700 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word dau'o -- By krtisfranks Date: Wed, 29 May 2019 12:33:03 -0700 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: -2.9 (--) X-Spam_score: -2.9 X-Spam_score_int: -28 X-Spam_bar: -- In jbovlaste, the user krtisfranks has edited a definition of "dau'o" in the language "English". Differences: 5,5c5,5 < 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; "{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". --- > 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 at least one x (is asserted to) exist(s)"; 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". Old Data: 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; "{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". Jargon: Gloss Keywords: Word: Aristotelian quantifier, In Sense: Word: Aristotlean quantifier, In Sense: Word: existential import endowment, In Sense: Place Keywords: New Data: 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 at least one x (is asserted to) exist(s)"; 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". Jargon: Gloss Keywords: Word: Aristotelian quantifier, In Sense: Word: Aristotlean quantifier, In Sense: Word: existential import endowment, In Sense: Place Keywords: You can go to to see it.