设为首页 | 加入收藏
文献检索:
  • 超模态逻辑K[Tm,Kn] 免费阅读 下载全文
  • 本文试图从逻辑的角度来探讨语境依赖现象,一类特殊的语言语境依赖现象,即模态命题语言中模态算子在复合句中因位置不同而意义不同的这类现象。主要工作是从语义学方面对D.M.Gabbay关于超模态逻辑理论进行扩充。首先,通过泛关系语义学和D.M.Gabbay的“模转换”概念建立起了与Gabbay相同的超模态逻辑语义学。在这基础上,定义了模转换范式,并证明了范式的存在定理,使得所有超模态逻辑的讨论都转换为对其范式的讨论。其次,对K、T两种模态算子,在任意框架上进行一般性的推广,得到一类超模态逻辑类K[Tm,Kn]。再通过翻译定理,找到了一批内定理,以及证明了一些不成立的推演规则,如必然化规则和等值替换规则。
  • 基于keg-BDI主体的决策行为建模 免费阅读 下载全文
  • 文章通过把无穷值的卢卡斯维茨逻辑的真值取值范围从[0,1]扩展到[-1,1],提出了基于卢卡斯维茨逻辑和命题动态逻辑的keg—BDI逻辑(即:知识情感等级BDI逻辑),此逻辑是情感等级BDI逻辑的一种扩展逻辑。keg—BDI逻辑可以对知识状态、心智状态(比如:信念、愿望和意图)和情感状态(比如:害怕、焦虑和自信)这些能够能够影响keg—BDI主体行为决策的因素进行形式化。keg-BDI主体的决策行为是通过添加了具体条件的不同背景的不同测度来决定。文章在给出了keg—BDI模型的语言、语义之后,对此种模型的不同背景之间的相互关系进行了论述,最后对keg-BDI主体的军事决策行为进行了实例分析。本研究的目的在于为分布式人工智能和军事仿真提供形式支持。
  • 条件句、语境与论证有效性 免费阅读 下载全文
  • 近年有些学者主张假言三段论不是一个有效的推论规则,其背后的理由可区分为:语意的、语用的,以及涉及论证有效性的理由。语意理由针对条件句的语意论作探讨;语用理由讨论语境对条件句语意的贡献;涉及论证有效性的理由则是对有效性定义做一般性的考虑。基本上,上述理由在适当的修改后,也能用来支持假言三段论,但代价不小,所以放弃假言三段论似乎成为主流。本文希望透过梳理近几年学者在此议题上的讨论,来揭露这个议题所涉及的广大层面。
  • “什么……什么句”的逻辑语法特征与推演 免费阅读 下载全文
  • 针对温宾利命名的“什么……什么句”,本文首先简要讨论了该句式与驴子句和关系结构的不同之处,然后从逻辑语法的角度综合分析了该句式的句法、语义和语用特征,提出其中成对出现的疑问词是不连续的全称量词,该句式是汉语表达充要条件的一种句法手段,充分条件意义和必要条件意义都是其默认含义,由语法系统自动计算得出,可在特定语境中被撤销。最后运用以不连续兰贝克演算为核心的逻辑范畴语法,推导两类“什么……什么句”。
  • 罗素的替代理论 免费阅读 下载全文
  • 在1903年到1908年间,罗素提出、发展并最终放弃了一种悖论解答方案——替代理论。罗素从摹状词理论中得到启示:悖论源自虚假抽象。替代理论的基本概念“替代”可以避免虚假抽象,通过使用替代运算来定义类和自然数,替代理论在一定程度上获得了成功。然而替代悖论的发现促使罗素最终放弃了替代理论,并走向了分支类型论。
  • 《逻辑哲学论》5g54—5.5423的再解读 免费阅读 下载全文
  • 在传统的思路中,维特根斯坦《逻辑哲学论》中5.54-5.5423的段落的有两种解释方式,一种是安斯康姆为代表的“本质”解释,另一种是以肯尼为代表的“无意义”解释,这两种解释方式都各有其长处及弊端,并没有融贯地解决带有命题态度词的句子的解释问题。这里将指出讨论这部分码段所要考虑到的一些基本的问题,并尝试用一种更完善的解释方式解读这部分段落。
  • 台湾逻辑学发展及研究 免费阅读 下载全文
  • 台湾逻辑学经历了百年发展历程,共四个阶段,第一阶段:日据时期(1945年以前),台湾逻辑学萌芽期;第二个阶段:光复时期(1945年-1964年),台湾逻辑学的初建期:第三个阶段:宪政时期的戒严期(1964年-1987年),台湾逻辑学发展期;第四个阶段:宪政时期的民主化期(1987年至今),台湾逻辑学高涨期,各个阶段具有不同的特点。台湾逻辑学的数理逻辑与哲学逻辑建树颇丰,其中数理逻辑主要包含:集合论、证明论、模型论、递归函数等;哲学逻辑包含模态逻辑、知态逻辑、规范逻辑、语言逻辑等。而中国古代逻辑与因明学研究虽有成果,但其一直处于缓慢低谷期。本文通过全方位梳理台湾逻辑学不同时期的不同特征与成果,总结其发展规律与趋势,对大陆逻辑学的发展有重要的借鉴意义。
  • 2015年全国形式逻辑研讨会暨川渝黔滇逻辑学会年会会议综述 免费阅读 下载全文
  • 2015年10月23-24日,由中国逻辑学会形式逻辑专业委员会、重庆市逻辑学会、四川省逻辑学会、贵州省逻辑学会、云南省逻辑学会共同主办,重庆第二师范学院承办的“2015年全国形式逻辑研讨会暨川渝黔滇逻辑学会年会”在重庆第二师范学院召开。本次研讨会的主题包括形式逻辑、现代逻辑、归纳逻辑等内容,目的在于让逻辑学研究者们汇报个人在其所属领域内的最新研究成果,促进参会学者对各个的问题的看法交流。来自中国社会科学院、西南大学、四川大学、重庆大学、西南政法大学、河北大学、云南师范大学、西南财经大学、四川师范大学、贵州理工学院和重庆第二师范学院等二十余所研究机构和高校的专家学者以及逻辑学研究生共80余人出席了本次会议。
  • 《逻辑学研究》封面
      2010年
    • 01

    主管单位:中山大学

    主办单位:中山大学逻辑与认知研究所

    主  编:鞠实儿

    地  址:广州新港西路135号中山大学逻辑与认知研究所

    邮政编码:510275

    电  话:020-84110240

    电子邮件:[email protected]

    国际标准刊号:issn 1674-3202

    国内统一刊号:cn 44-1649/c

    邮发代号:46-376

    单  价:25.00

    定  价:100.00


    关于我们 | 网站声明 | 合作伙伴 | 联系方式
    金月芽期刊网 2017 触屏版 电脑版 京ICP备13008804号-2