从条件句悖论看信息流理论的哲学基础

经典逻辑中的一些有效推理规则对自然语言条件句推理的失效导致条件句悖论.情景语义学认为,造成条件句悖论的原因跟条件句所描述制约关系的背景条件有关.信息流理论继承情景语义学使用内涵方法处理内涵问题的传统、使用信息通道的概念在通道等级系统中表征条件句所描述制约关系的背景条件,对造成条件句悖论的原因给出令人信服的合理解释.根据信息流理论对条件句悖论的分析和解释,本文进一步分析阐释信息流理论在本体论和认识论方面的哲学基础.在本体论上,信息流理论认为世界是一个由情景和关系构成的关系网络.在认识论上,信息流推理与认知主体及其知识状态紧密相连.     

一道逻辑练习题新探

本文是对一道逻辑习题给出问题的求解。习题给出问题指向的研究对象 ,是《儒林外史》人物胡屠户用以辱骂范进的言语中一个语言片断。这个语言片断所体现的推理 ,是一个潜藏在语言的深处 ,相对于胡范二人所想象到的可能世界 ,由两个假言推理联接而成的复合推理。其中的第二假言前提乃至结论 ,模态不当。撇开模态问题 ,这个复合推理的形式 ,是个有效式     

论新词项逻辑及其教学

词项逻辑所有的推理都可以借助于类的关系和类的性质清楚而简洁地表述出来.本文借鉴集合论的语言重新表述性质命题推理,给出了相应的集合语义,论证了在逻辑通识课上用这种新逻辑取代词项逻辑的合理性和可行性.     

相干蕴涵和情境信息理论中的制约关联

相干蕴涵是相干逻辑中一个重要的概念.相干蕴涵不仅顾及前后件之间的真假关系方面的联系即真值性,而且还体现了前后件之间以共同的命题变元为特征的内容方面的联系即相干性.相干逻辑学家们在相干逻辑的研究中,给出了这种相干性的种种语义解释,尤其是鲁特雷-迈耶给出了集合-关系语义理论.鲁特雷-迈耶的三元可达关系为相干逻辑中的相干蕴涵提供了新的思路,而伊斯雷尔和佩里的制约关联概念则把我们对条件句的理解转换到情境信息关联的层面.相干蕴涵和制约关联这两类看似完全不同的理论,一个是逻辑的,一个是有关信息的,因为基本概念的相似性,呈现某种解释逻辑、语言和信息的新视野.尽管这两个理论还有许多需要解决的问题和困惑,但是把三元关系解释为信息制约关系,反过来在制约关联中运用三元可达关系,对于相干蕴涵和情境信息理论来说都是很富有启示意义的.随着相干逻辑和信息理论的深入研究,情境信息理论和相干逻辑会更紧密地联系在一起.关于条件句的相干逻辑理论可能是信息理论的一个部分,而我们关于制约关联的情境信息理论则是相干逻辑的某种体现.     

从关系逻辑的观点看三段论

从关系逻辑的观点看,三段论并非如卢卡西维茨所认为的那样是根据普遍词项的A、E、I、O关系所进行的推理,而是根据类的分子与类的分子的等同于或不等同于关系所进行的推理。三段论是量化的间接关系推理。三段论逻辑,是比命题逻辑、量词逻辑更为特殊的逻辑,用一般的量词逻辑是无法说明所有三段论有效式的有效性的。     

混合范畴类型逻辑对汉语形名结构及其虚化成分的研究

尽管对形名修饰结构的句法生成与语义解释存在异议,但是学者们都将普通名词和形名结构本身赋予的语义类型.因此,形名修饰结构的研究重心就落在了形容词的语义类型如何确定上.形名结构是自然语言中的普遍现象,而汉语形名结构则体现出自身的特点,比如形名结构中出现虚化成分“的”字等.混合范畴类型逻辑将多模态组合范畴语法的前提敏感特征带入了范畴类型逻辑,使得范畴类型逻辑可以对自然语言现象进行更为准确的刻画,这种逻辑工具对处理汉语这一意合型语言无疑具有值得期待的前景.     

直言判断的量词与周延性问题

词项周延性问题是传统逻辑中的一个重要问题。周延概念在传统的直言推理理论中起着关键的作用。一个以直言命题为前提进行的推理是否有效,其中一个重要的标志就是看是否遵循了周延推理规则：在前提中不周延的项,在结论中不得周延。现代逻辑不使用周延概念,取而代之的是量词概念。而置词作为判断的组成部分,同样也是形式逻辑的重要概念,它与XX延问题有重要联系。我国逻辑学界对直言判断中联结词与词项的周延关系作了不少研究,比如对肯定判断中谓项是否周延的问题展开过讨论,但对量词与词项周延的关系问题尚欠深入研究。本文拟对直言…     

塞里格曼的恰当描述逻辑

塞里格曼的恰当描述情景逻辑的基本原则源自于奥斯汀的真理理论,该理论认为每一陈述都是关于情景的.塞里格曼通过在一句子和一情景之间成立的恰当描述关系的描述,从而形式化了奥斯汀的真理理论.系统提供了恰当描述的递归定义,考察了一个极强的情景逻辑系统,逻辑的自然演绎系统通过使用局部索引的自然推理事例的方式而引入.     

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"┒"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.     

西方现代逻辑研究动态（笔谈）——西方道义逻辑的形式化研究

一、西方道义逻辑的形式化研究现状 道义逻辑是在数理逻辑的基础上研究含有道义模态词"义务"、"允许"和"禁止"等模态词的一种广义模态逻辑的命题形式和推理规律的逻辑.因此,它和法学、伦理学有着密切的关系.随着模态逻辑理论的日益成熟,这也给道义逻辑的研究提供了许多新的技术和方法,使得道义逻辑的研究在研究方法上也越来越趋向多样化.目前,道义逻辑研究中采用的主要方法之一就是形式化,用这种方法解决各类义务冲突问题,并在道义逻辑的经典系统CDL和标准系统SDL的基础上,通过构造各种各样的道义逻辑的形式系统,使它能够较理想地处理各种各样的道义悖论.本文将西方道义逻辑形式化的研究大致分为以下几种类型: