建译的主页

日志

必将导致循环定义的理由

2010-01-29 20:35:50| 分类：默认分类 | 标签： |字号大中小订阅

我国一位逻辑学者刘社军对定义的所谓“逻辑循环”作了分析。按刘社军的观点，就模态逻辑与经典逻辑的关系而言，古典逻辑“和”以前经典逻辑作为千百年来学术研究的既得成果，是非常适合于我们通常所谓的现实世界的，而在经典逻辑中，逻辑一致性的意义和逻辑上的矛盾是很清楚的清除。至于“可能世界”概念，它是模态逻辑语义学中的一个概念，只有语义为基础，其基础和经典逻辑模态逻辑语义，相对于经典逻辑中的“逻辑矛盾”、“一致性”这些在先的和明了的概念，这个职位是不确定的。因此，用经典逻辑中含义十分明确的基本的概念“逻辑一致性”或“无矛盾性”去定义模态逻辑中的“可能世界”概念，目前还不知道在什么是所谓的循环定义。
我十分同意冯棉、刘社军的意见。概念，事实上，模态逻辑“，”可能世界语义，相对于经典逻辑学中的“逻辑矛盾”、“逻辑一致性”等基本概念，这篇文章是不一样的水平。用先它一个层次、地位更为基本的经典逻辑中的“一致性”或“无矛盾性”来定义它是完全可以的。事实上，我们所谈论的经典逻辑“，”逻辑一致性和概念不一致“” 根本无需再通过“可能世界”去定义。因此，原因类型的定义，“世界”可以说足以导致循环定义并非是不可避免的。
摹?

相关链接:

Youtube To Flash Top Rated

产生了对同一精神的背离

 无为根本就不是无所作为

 Change flash movie to apple quicktime

DVD to Apple TV Video Converter

为什么罗斯福总统要无条件地援助苏联

 第一代实证主义者

 全年购车的最佳时间是在冬季

 How-to DVD to iPhone

为什么英、法在二战开始时对德国宣而不战

 你是否留意到、认识到你身边真正的机会和真正的陷阱呢

 总是找借口推托事情的人

 民事、刑事的实体法和程序法

 罗马尼亚的自然地理条件如何

 顺皇权者生逆皇权者亡

评论这张

转发至微博

0人 | 分享到：

阅读(43)| 评论(0)| 引用 (0) |举报

吸烟行为有哪些危害

什么样的行为是健康的行为

历史上的今天

this.p={  m:2,
              b:2,
              id:'fks_083075087080088069087087083095085085082069092087082068084',
              blogTitle:'必将导致循环定义的理由',
              blogAbstract:'<p\>我国一位逻辑学者刘社军对定义的所谓“逻辑循环”作了分析。按刘社军的观点，就模态逻辑与经典逻辑的关系而言，古典逻辑“和”以前 经典逻辑作为千百年来学术研究的既得成果，是非常适合于我们通常所谓的现实世界的，而在经典逻辑中，逻辑一致性的意义和逻辑上的矛盾是很清楚的清除。  至于“可能世界”概念，它是模态逻辑语义学中的一个概念，只有语义为基础，其基础和经典逻辑模态逻辑语义，  相对于经典逻辑中的“逻辑矛盾”、“一致性”这些在先的和明了的概念，这个职位是不确定的。  因此，用经典逻辑中含义十分明确的基本的概念“逻辑一致性”或“无矛盾性”去定义模态逻辑中的“可能世界”概念，目前还不知道在什么是所谓的循环定义。  <BR\>  我十分同意冯棉、刘社军的意见。概念，事实上，模态逻辑“，”可能世界语义，  相对于经典逻辑学中的“逻辑矛盾”、“逻辑一致性”等基本概念，这篇文章是不一样的水平。  用先它一个</p\>',
              blogTag:'',
              blogUrl:'blog/static/133681470201002983550513',
              isPublished:1,
              istop:false,
              type:0,
              modifyTime:1317346679135,
              publishTime:1264768550513,
              permalink:'blog/static/133681470201002983550513',
              commentCount:0,
              mainCommentCount:0,
              recommendCount:0,
              bsrk:-100,
              publisherId:0,
              recomBlogHome:false,
              attachmentsFileIds:[],
              vote:{},
              groupInfo:{},
              friendstatus:'none',
              followstatus:'unFollow',
              pubSucc:'',
              visitorProvince:'未设置',
              visitorCity:'未设置',
              postAddInfo:{},
              mset:'000',
              mcon:'',
              srk:-100,
              remindgoodnightblog:false,
              isBlackVisitor:false,
              isShowYodaoAd:false,
              hostIntro:'',
              hmcon:'',
              lofter_single:'<a hidefocus="true" target="_blank" href="http://www.lofter.com/touch"><img onload="var nimg = new Image(); nimg.src=\'http://blog.163.com/newpage/images/analyse.png?lofter_single&t=\'+new Date().getTime()" border="0" src="http://b2.bst.126.net/newpage/images/lofter_single4.jpg"/></a>'
            }

{list a as x}
    {if !!x}
    <div class="iblock nbw-fce nbw-f40">
      <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
      {if x.visitorName==visitor.userName}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}&r=${visitor.imageUpdateTime}"/>
      {else}
      <img alt="${x.visitorNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.visitorName)}"/>
      {/if}
      </a>
      <div class="cwd vname thide">
        {if x.moveFrom=='wap'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/wapblog.html?frompersonalbloghome"><span title="来自网易手机博客" class="iblock wapIcon"> </span></a>
        {elseif x.moveFrom=='iphone'}
          <a class="noul pnt" target="_blank"><span title="来自iPhone客户端" class="iblock iphoneIcon"> </span></a>
        {elseif x.moveFrom=='android'}
          <a class="noul pnt" target="_blank"><span title="来自Android客户端" class="iblock androidIcon"> </span></a>
        {elseif x.moveFrom=='mobile'}
          <a class="noul pnt" target="_blank" href="http://blog.163.com/services/emsblog.html?frompersonalbloghome"><span title="来自网易短信写博" class="iblock wapIcon"> </span></a>
        {/if}
        <a class="fc03 m2a"  target="_blank" hidefocus="true" href="http://blog.163.com/${x.visitorName}/">
          ${fn(x.visitorNickname,8)|escape}
        </a>
      </div>
    </div>
    {/if}
    {/list}

<#--最新日志，群博日志--> <#--推荐日志-->

<p class="fc06">推荐过这篇日志的人：</p>
    <div>
      {list a as x}
      {if !!x}
      <div class="iblock nbw-fce nbw-f40">
        <a class="fc03 noul" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
        <img alt="${x.recommenderNickname|escape}" onerror="this.src=location.f40" class="cwd bdwa bdc0" src="${fn1(x.recommenderName)}"/>
        </a>
        <div class="cwd thide">
          <a class="fc03 m2a" target="_blank" hidefocus="true" href="http://blog.163.com/${x.recommenderName}/">
            ${fn(x.recommenderNickname,6)|escape}
          </a>
        </div>
      </div>
      {/if}
      {/list}
    </div>
    {if !!b&&b.length>0}
    <p  class="fc06">他们还推荐了：</p>
    <ul>
    {list b as y}
      {if !!y}
        <li class="rrb"><span class="iblock">·</span><a class="fc03 m2a" target="_blank" href="http://blog.163.com/${y.recommendBlogPermalink}/?from=blog/static/133681470201002983550513">${y.recommendBlogTitle|escape}</a></li>
      {/if}
    {/list}
    </ul>
    {/if}

<#--引用记录--> <#--博主推荐--> <#--随机阅读--> <#--首页推荐--> <#--相关文章--> <#--历史上的今天--> <#--右边模块结构--> <#--评论模块结构--> <#--引用模块结构--> <#--博主发起的投票-->

页脚

公司简介 - 联系方法 - 招聘信息 - 客户服务 - 隐私政策 - 博客风格 - 手机博客 - VIP博客 - 订阅此博客

建译的主页

导航

日志

必将导致循环定义的理由

历史上的今天

相关文章

最近读者

评论

页脚