Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:49574 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.89) (envelope-from ) id 1ehMB2-0007dS-Jb for jbovlaste-admin@lojban.org; Thu, 01 Feb 2018 13:13:50 -0800 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Thu, 01 Feb 2018 13:13:48 -0800 From: "Apache" To: curtis289@att.net Reply-To: webmaster@lojban.org Subject: [jvsw] Definition Edited At Word dau'o -- By krtisfranks Date: Thu, 1 Feb 2018 13:13:48 -0800 MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Message-Id: X-Spam-Score: 3.1 (+++) X-Spam_score: 3.1 X-Spam_score_int: 31 X-Spam_bar: +++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: 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 [...] Content analysis details: (3.1 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.4 RCVD_IN_BRBL_LASTEXT RBL: No description available. [173.13.139.235 listed in bb.barracudacentral.org] -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] 1.0 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS 2.6 TO_NO_BRKTS_DYNIP To: lacks brackets and dynamic rDNS 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'ocu'i}" is technically exactly the same as "{ro}" alone (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 these things were to exist, then ___ would be true; but they 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'ocu'i}" is technically exactly the same as "{ro}" alone (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'ocu'i}" is technically exactly the same as "{ro}" alone (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 these things were to exist, then ___ would be true; but they 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'ocu'i}" is technically exactly the same as "{ro}" alone (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.