https://mw-live.lojban.org/index.php?title=logic_Language_Draft_2.1&feed=atom&action=historylogic Language Draft 2.1 - Revision history2024-03-28T15:46:52ZRevision history for this page on the wikiMediaWiki 1.38.4https://mw-live.lojban.org/index.php?title=logic_Language_Draft_2.1&diff=99284&oldid=prevConversion script: Conversion script moved page Logic Language Draft 2.1 to logic Language Draft 2.1: Converting page titles to lowercase2014-06-30T08:21:09Z<p>Conversion script moved page <a href="/papri/Logic_Language_Draft_2.1" class="mw-redirect" title="Logic Language Draft 2.1">Logic Language Draft 2.1</a> to <a href="/papri/logic_Language_Draft_2.1" title="logic Language Draft 2.1">logic Language Draft 2.1</a>: Converting page titles to lowercase</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 08:21, 30 June 2014</td>
</tr>
<!-- diff cache key mediawiki:diff::1.12:old-90468:rev-99284 -->
</table>Conversion scripthttps://mw-live.lojban.org/index.php?title=logic_Language_Draft_2.1&diff=90468&oldid=prevGleki: Text replace - "jbocre: ([L-Z])" to "$1"2014-03-23T14:47:54Z<p>Text replace - "jbocre: ([L-Z])" to "$1"</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:47, 23 March 2014</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l57">Line 57:</td>
<td colspan="2" class="diff-lineno">Line 57:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>The previous paragraph shows the main features of longer compound sentences in Lojban. As the Lojban name, "afterthought connectives" suggests, the unmarked forms group to the left; the main connective is the rightmost. Right groupings can be introduced by parentheses ({tu'e ... tu'u}around whole sentences and, after connectives only, {ke...ke'e}), by forethought connectives (Polish notation) or by suffixing {bo} to raise the precedence of the connective in the right grouping. As the complexity of a compound grows, mixtures of these may be called into play, although the best plan for a really complex case is to think it through beforehand and then put it into forethought mode from the start. Trying to construct a complex case by additions is unlikely to succeed exactly the first time. The exception to this rule is the construction of normal forms, the disjunction of the lines on which the whole is true, each represented by a conjunction of the components plain or negated as they occur true or false on the line. But this involves many repetitions of the same sentence (as may an accurate construction of a shorter sort).</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>The previous paragraph shows the main features of longer compound sentences in Lojban. As the Lojban name, "afterthought connectives" suggests, the unmarked forms group to the left; the main connective is the rightmost. Right groupings can be introduced by parentheses ({tu'e ... tu'u}around whole sentences and, after connectives only, {ke...ke'e}), by forethought connectives (Polish notation) or by suffixing {bo} to raise the precedence of the connective in the right grouping. As the complexity of a compound grows, mixtures of these may be called into play, although the best plan for a really complex case is to think it through beforehand and then put it into forethought mode from the start. Trying to construct a complex case by additions is unlikely to succeed exactly the first time. The exception to this rule is the construction of normal forms, the disjunction of the lines on which the whole is true, each represented by a conjunction of the components plain or negated as they occur true or false on the line. But this involves many repetitions of the same sentence (as may an accurate construction of a shorter sort).</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[<del style="font-weight: bold; text-decoration: none;">jbocre: </del>LoCCan|LoCCan]] note 1</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[LoCCan|LoCCan]] note 1</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Given the centrality of the truth-functional connectives in logic, one might expect them to be prominent in a logical language and thus to receive simple forms. The forethought connectives do come close to this, being marked only to distinguish them from afterthought. But the afterthought connectives -- the usual ones for logic -- are fairly complex, containing both a sentence marker (i) and distinguishing marker (j) as well as the basic connective forms. In logic generally the connectives are only sentential, so the i and probably the j would be unnecessary. But in Lojban connectives can come in various places within a sentence, not merely at the sentence boundary, even though what is represented is always ultimately a connection between sentences. The variety of distinguishing marks placed on the bare connectives is needed to show which place in the sentence is being doubled, since the parsing program cannot work that out just from what follows (though it can for forethought connectives, since the characteristic chunk is just what lies between the initial part of the connective and {gi}).</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Given the centrality of the truth-functional connectives in logic, one might expect them to be prominent in a logical language and thus to receive simple forms. The forethought connectives do come close to this, being marked only to distinguish them from afterthought. But the afterthought connectives -- the usual ones for logic -- are fairly complex, containing both a sentence marker (i) and distinguishing marker (j) as well as the basic connective forms. In logic generally the connectives are only sentential, so the i and probably the j would be unnecessary. But in Lojban connectives can come in various places within a sentence, not merely at the sentence boundary, even though what is represented is always ultimately a connection between sentences. The variety of distinguishing marks placed on the bare connectives is needed to show which place in the sentence is being doubled, since the parsing program cannot work that out just from what follows (though it can for forethought connectives, since the characteristic chunk is just what lies between the initial part of the connective and {gi}).</div></td></tr>
<tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l79">Line 79:</td>
<td colspan="2" class="diff-lineno">Line 79:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Logic has nothing that directly corresponds to this kind of collapsing, of course. Within the logician's tool kit, there are devices for achieving the same result, usually -- as we will see -- much more ponderously. The various kinds of collapses are also achieved in rather different ways, and the different cases do not correspond to the differences that turn up in Lojban. The present system does work rather well however -- once you get used to it -- and it seems unlikely that another system, based more firmly on logic would be an improvement. Still the fact that non-logical connectives can cover almost all cases without change makes the need for three versions of the afterthought logical connectives and the restrictions on forethought ones a tempting field for further investigation.</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Logic has nothing that directly corresponds to this kind of collapsing, of course. Within the logician's tool kit, there are devices for achieving the same result, usually -- as we will see -- much more ponderously. The various kinds of collapses are also achieved in rather different ways, and the different cases do not correspond to the differences that turn up in Lojban. The present system does work rather well however -- once you get used to it -- and it seems unlikely that another system, based more firmly on logic would be an improvement. Still the fact that non-logical connectives can cover almost all cases without change makes the need for three versions of the afterthought logical connectives and the restrictions on forethought ones a tempting field for further investigation.</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[<del style="font-weight: bold; text-decoration: none;">jbocre: </del>LoCCan|LoCCan]] Note 2</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[LoCCan|LoCCan]] Note 2</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[<del style="font-weight: bold; text-decoration: none;">jbocre: </del>Logic Language Draft 1.1]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Logic Language Draft 1.1]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>[[<del style="font-weight: bold; text-decoration: none;">jbocre: </del>Logic Language Draft 3.1]]</div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>[[Logic Language Draft 3.1]]</div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br/></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>---------</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>---------</div></td></tr>
<!-- diff cache key mediawiki:diff::1.12:old-89397:rev-90468 -->
</table>Glekihttps://mw-live.lojban.org/index.php?title=logic_Language_Draft_2.1&diff=89397&oldid=prevGleki: Gleki moved page jbocre: Logic Language Draft 2.1 to Logic Language Draft 2.1 without leaving a redirect: Text replace - "jbocre: L" to "L"2014-03-23T14:38:33Z<p>Gleki moved page <a href="/index.php?title=jbocre:_Logic_Language_Draft_2.1&action=edit&redlink=1" class="new" title="jbocre: Logic Language Draft 2.1 (page does not exist)">jbocre: Logic Language Draft 2.1</a> to <a href="/papri/Logic_Language_Draft_2.1" class="mw-redirect" title="Logic Language Draft 2.1">Logic Language Draft 2.1</a> without leaving a redirect: Text replace - "jbocre: L" to "L"</p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<tr class="diff-title" lang="en">
<td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td>
<td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 14:38, 23 March 2014</td>
</tr><tr><td colspan="2" class="diff-notice" lang="en"><div class="mw-diff-empty">(No difference)</div>
</td></tr></table>Glekihttps://mw-live.lojban.org/index.php?title=logic_Language_Draft_2.1&diff=75406&oldid=prevGleki at 17:02, 4 November 20132013-11-04T17:02:06Z<p></p>
<a href="https://mw-live.lojban.org/index.php?title=logic_Language_Draft_2.1&diff=75406&oldid=64876">Show changes</a>Glekihttps://mw-live.lojban.org/index.php?title=logic_Language_Draft_2.1&diff=64876&oldid=prevGleki at 16:57, 4 November 20132013-11-04T16:57:45Z<p></p>
<p><b>New page</b></p><div><br />
{BOX(title="cecmu karni" width="31%" float="right" class="community-activity]]<br />
<br />
{rss id=>3, max=>3, showtitle=>0, icon=>http://jbotcan.org/favicon.ico}<br />
<br />
{rss id=>4, max=>3, showtitle=>0, icon=>http://identi.ca/favicon.ico}<br />
<br />
{rss id=>5, max=>3, showtitle=>0, icon=>http://twitter.com/favicon.ico}<br />
<br />
{BOX}<br />
<br />
{img attId="817" thumb="y" height="35%" imalign="right" align="right" stylebox="border" desc="jbonunsla de'i li 2011"}ni'o la .lojban. goi ko'a rutni bangu tefi'e le nu vimcu so'e cfipu se sorsmu le pu'u remna tavla .i ko'a co'a slabu so'ida ki'u le nu la .sa,ientifikamerikan. te notci .e so'i nu sitna fa le saske cfika .e le karni be le skami .i la .lojban. pumo'u se zbasu ze'u ji'imuno se nanca so'ino gunka kujo'u so'inono sidju<br />
<br />
ni'o so'i rutni bangu cu zasti .iku'i za'u bu'a zo'u ge la .lojban. go'o bu'a ginai lo drata bangu cu bu'a .i mu'a tu'e<br />
<br />
* .i la .lojban. bangu loi remna pe tezu'e loi nu tavla vo'e .e da'i loi skami<br />
* .i la .lojban. na kulnu selkai steci<br />
<br />
* .i la .lojban. logji<br />
* .i la .lojban. cu satci fi leka gerna ce'u<br />
<br />
* .i le voksnaske be la .lojban. cu jai se javni gi'e satci<br />
* .i la .lojban. cu zmadu lei rarna bangu leka sampu .i frili fa lo'e nu cilre<br />
<br />
* .i la .lojban. te valsi le parenono gismu noi ke'a frili te zbasu le so'oki'oki'o lujvo<br />
* .i la .lojban. jai se javni .i pino lei javni cu sezynatfe<br />
<br />
* .i la .lojban. jai troci lenu zifre pensi sidju<br />
* .i la .lojban. tutci so'o da no'u mu'a lei zifre finti ku ce lei saske .e lei se pensi ku ce lei ca'a se gasnu<br />
<br />
ni'o le dei pagbu be la .ueb. cu catni stuzi lei datni ne ra'i [[jbocre: The Logical Language Group a .lojbangirz.|The Logical Language Group a .lojbangirz.]] noi ke'a kagni fi na'ebo lonu rupnu se prali gi'e sidju lenu la .lojban. farvi kei co'a lo detri be li pasobize<br />
<br />
ni'o mu'i lenu sidju le lojbo cecmu kei le dei pagbu cu jai troci lenu krati so'e lojbo noi na pagbu la .lojbangirz. <br />
<br />
.i su'o le selsnu be ti cu na catni .iku'i ro da voi vi selsnu zo'u .ai skicu da fo ledu'u xukau da catni<br />
<br />
=== nuzba ===<br />
<br />
*{ALINK(pagename=>nuzba,aname=>ni'onuznoide'ili2012pi'e2pi'e24)}ni'o nuznoi de'i li 2012 pi'e 2 pi'e 24 {ALINK}.i la'e zoi gy. [http://alis.lojban.org/ lice in Wonderland] .gy. lu'u no'u lo cukta be fo lo verba cu se fanva la'o gy. [[jbocre: ailto:jjllambias@gmail.com orxes]] .gy. la lojban. gi'e pelji se prina <br />
<br />
*{ALINK(pagename=>nuzba,aname=>ni'onuznoide'ili2011pi'e6pi'e23)}ni'o nuznoi de'i li 2011 pi'e 6 pi'e 23 {ALINK}.i lonu cfari fa le [[jbocre: bonunsla bonunsla|bonunsla bonunsla]] cu se tcika li ji'i 9 ma'i la'o zoi. PDT .zoi. li 2011 pi'e 7 pi'e 2 le [http://www.holidayinn.com/hotels/us/en/san-mateo/sfosm/hoteldetail/directions otli] be la'o zoi. San Mateo USA .zoi. bei me'e la'o zoi. Holiday Inn .zoi.<br />
<br />
*{ALINK(pagename=>nuzba,aname=>ni'onuznoide'ili2011pi'e3pi'e9)}ni'o nuznoi de'i li 2011 pi'e 3 pi'e 9 {ALINK}.i li pi'e ci cu detke'u li pa lo nu cfagau lo ponjo bangu ke me la gugl girzu po'u la'o zoi. lojban-soudan .zoi.<br />
<br />
[[jbocre: uzba i drata nuzba|uzba i drata nuzba]]</div>Gleki