含混性与多值逻辑

日常语言的含混性使经典逻辑遭遇困挫,不仅边界语句没有确定真值,排中律失效,而且堆垛悖论会产生出来。三值逻辑和模糊逻辑被相继用来处理含混性问题。在一些三值语义学内,边界语句被赋予第三值,堆垛论证是一个无效论证,因为它使用的经典推理规则不再有效。在模糊语义学内,边界语句被赋予一定的真度,堆垛论证既是无效的也是不可靠的,因为它含有一些很高真度但不完全真的前提。由于高阶含混性等问题,以三值逻辑和模糊逻辑为代表的多值逻辑还不能成为一种好的含混性解释理论。     

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

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

优先道义逻辑研究

出于解决悖论及其他应用的目的,引入优先语义学构建优先道义逻辑系统便成为道义逻辑发展的新途径.其中,本·汉森的优先二元道义逻辑系统DSDL1-3有较大影响,它在处理温柔的谋杀者悖论方面具有很大的优势.尽管在处理其他类型的道义悖论方面并不完善,其解决方案存在一定的缺憾,但不可否认的是,本·汉森的优先道义理论为道义逻辑的发展提供了新的灵感.在他的影响下,可从不同角度建立多种类型的优先道义系统,以促进道义逻辑的发展.首先,优先道义逻辑的建立可在一定程度上解决道义悖论问题,消除人们对道义逻辑的质疑.其次,优先道义理论使用的结合其他分支理论进行道义逻辑研究的方法,可为逻辑学其他分支的发展提供方法论意义,从而促进整个逻辑学科的繁荣和发展.最后,目前的优先道义逻辑研究,已不再局限于对道义悖论问题的处理,而是尝试建立多种实用型的优先道义系统,着重于它在法学、计算机和信息科学等多个相关领域的应用型研究,取得的很多重要成果,在建立法律专家系统、处理电子商务中的贸易合同等很多方面也都显示出其重要的实践价值.     

概念文字的数学背景及哲学意味

概念文字是弗雷格为实现从逻辑推出数学而创建的推理工具.它为求真而创立,适用于科学研究,对于人们日常所用并不适用.概念文字经过进一步改进,“将能够成为哲学家们的一种有用工具”.这种运用首先是一种逻辑分析方法,而不是形式化方法.弗雷格明确地区分了未加判断的“纯表象组合”与判断,也区分了语句与语句所要表达的“概念内容”；他使用自变元和函数取代语法结构中的主词和谓词.以上二方面基本上奠定了概念文字逻辑分析方法的核心.概念文字中并没有严格清晰的语法与语义概念.     

什么是弗协调逻辑?

20世纪60年代,经典逻辑发展相对停滞,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后,人们对经典逻辑发起挑战,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统,于是我们可得出结论:道义逻辑可归约为弗协调真值模态逻辑。      

斯特劳森指称观述评

本文着眼于语言哲学由语义学向语用学的发展，对斯特劳森的指称观作了较详细的阐释与客观的评价，指出他关于语词(或语句)与语词(或语句)的使用的区别、语句真值取值的新标准以及预设等崭新概念的提出，对于语言哲学冲破语义学的樊蓠，而进入语用学的领域，做出了承前启后的重要贡献；同时也指出由于历史的局限性，他的一些观点尚不成熟，还有待于进一步的发展。     

逻辑句法计划与意义问题

维特根斯坦和处于前期思想阶段的卡尔纳普认为只有逻辑句法才能够确定意义关系,即逻辑数学语句的真假问题。他们认为考虑句法问题时必须脱离意义而进行,语义学是不可能的,逻辑问题就是句法问题。塔斯基语义学的建立证明他们的这一主张是错误的。但是,卡尔纳普关于逻辑句法的工作仍具有重大意义:开拓完善了形式语言的研究,区分了逻辑真与可证性概念,在哲学上完成了语言学的转向。     

问句逻辑的三种研究方法!

#问句是日常语言中非常重要的句式结构!从逻辑角度研究问句的方法也不少!其中!博弈问句模型"推理问 句逻辑和探究语义学!代表了三种不同的研究思路# 博弈问句模型使用图表推理的方式分析涉及问句的会话!可以比较 不同提问方式的策略优劣# 推理问句逻辑有完整的语义解释和句法定义!直观地刻画了问句的推理关系# 探究语义学 在形式上与现代逻辑比较一致!可以构建带问句的逻辑系统!统一地处理命题和问题的逻辑性质#     

略论回溯推理

在实践中被广泛运用的回溯推理 ,其逻辑形式却被认为无效 ,这是一个理论上的难题。文章针对这个难题 ,分析了回溯推理的概念、性质 ,重新给出了逻辑形式 ,并肯定了回溯推理的独立地位     

意义、理性和模态——二维语义学之向度

二维语义学是当代哲学语义学的一个重要发展趋势。它本质上属于内涵语义学的一个分支系统,在语义分析上二者有某些共同的原则和方法。然而在语义学的目标和语义分析的哲学抱负方面却存在深刻的差异。二维语义学家认为语句的真值随事实的变化而变化,也随语句意思的变化而变化。为了模式化这一真值对事实和意义的双重依赖,二维语义学把多种内涵类型指派到表达式上去。其最终的形式框架(也是所有的二维语义学所共有的)就是将现实世界和主要内涵的一维与反事实的世界和次要内涵的二维区别开来。     

对冯·莱特关于规范问题的探讨

冯·莱特是芬兰逻辑学家和哲学家,是现代道义逻辑的先驱。道义逻辑也叫规范逻辑。规范一词在道义逻辑的研究中以及在人们的社会生活中都起着重要的作用。因此,应该从人类行为规范这一角度了解冯·莱特的道义逻辑思想与其它学科(如社会学、法律学、伦理学、哲学、语言学等)之间的渊源及联系。     

对冯·莱特关于规范问题的探讨

冯·莱特是芬兰逻辑学家和哲学家，是现代道义逻辑的先驱。道义逻辑也叫规范逻辑。规范一词在道义逻辑的研究中以及在人们的社会生活中都起着重要的作用。因此，应该从人类行为规范这一角度了解冯·莱特的道义逻辑思想与其它学科（如社会学、法律学、伦理学、哲学、语言学等）之间的渊源及联系。     

直言判断变形推理疑难及其规则补充--兼析逻辑教材长期存在的一种不一致情形

直言判断变形推理是普通逻辑的重要内容,它依据的是直言判断的逻辑性质和主谓项的论域关系.直言判断的逻辑性质又是依据主谓项的外延关系确定的.然而,现行教材概念论中概念外延关系、负概念及其论域内容与直言判断及其变形推理内容并不一致,变形推理操作规则与实际推理也有龃龉.从普通逻辑的实际功用看,这种不一致应该以新规则消除之,以使普通逻辑与日常思维理性相一致,使概念论、判断论、推理论的内容贯通一致.     

亨普尔对经验主义意义标准的一种探析——从逻辑的观点看

意义理论是关于真之概念的理论,是语言哲学的重要组成部分,它通过分析语句的意义研究语句的真值.经验主义者将语句意义分为纯逻辑意义和经验意义,并且建立起经验主义意义标准.亨普尔是美国著名的哲学家和逻辑学家,他运用逻辑分析的方法对经验主义意义标准进行研究,并对经验主义意义标准产生怀疑,认为经验主义意义标准带有明显的局限性.     

墨家逻辑的科学地位和当代价值

墨家逻辑和西方逻辑都研究了推理及其正确性问题,都认为前提和结论之间是一种"必然地得出"的关系。但墨家逻辑由于与社会现实需要联系更加紧密,它主要考虑的是证明和反驳层面上的问题而不是对一般推理形式的研究,而且由于解释和解决现实社会政治伦理问题的实际需要,墨家逻辑更多地偏重于关注概念内涵之间的关系。墨家逻辑对于当代世界逻辑发展具有重要价值。     

说谎者悖论的真之紧缩论解答

真之紧缩论者可以提供一种解决说谎者悖论的方法。与贝尔的基于紧缩论的"无意义策略"不同,紧缩论的方法并不需要诉诸某种非紧缩论的意义理论去说明说谎者语句的无意义性。借助DT-原则或真谓词的可消去性特征,紧缩论的方法足以阻止说谎者悖论的产生。尽管紧缩论本身无法解决"划界问题",即无法完全确定说谎者语句是否是真正的真之载体,但由于紧缩论的方法保留了经典逻辑作为其基底逻辑,而经典逻辑的二值语义学很自然地排除了有真值但无意义的语句导致的假的T-语句,这也使得紧缩论的方法较之其他解悖方法而言是一种更为经济适用的方法。     

道义逻辑不是坏逻辑——与金承光先生商榷

道义逻辑不是坏逻辑;道义逻辑不是因为实际应用而产生,它不能够即时的被法律逻辑所应用并不表明它毫无作用;即使是在应用领域同样可以有广阔的前景;在知识表达领域,在多智能主体系统领域都可以看到道义逻辑在发挥作用。     

当代内涵逻辑的理论发展

内涵逻辑是经典逻辑的一种重要的扩展类型.内涵逻辑是关于必然、可能、时间、空间、行动、知识、信念、义务和其他内涵概念的逻辑研究.内涵逻辑研究的主要目的是分析内涵概念,围绕内涵概念给出相应的形式系统,形式系统的语义模型解释及关于系统的可靠性和完全性证明等问题.内涵逻辑在哲学问题的分析和自然语言语义学及人工智能等领域都有极为重要的应用.本文概述当代内涵逻辑发展的主要类型以及它们之间的内在关联.结论部分给出了关于内涵逻辑与经典逻辑关系的两种观点,有助于人们更深刻地理解内涵逻辑.     

道义逻辑不是坏逻辑——与金承光先生商榷

道义逻辑不是坏逻辑；道义逻辑不是因为实际应用而产生，它不能够即时的被法律逻辑所应用并不表明它毫无作用；即使是在应用领域同样可以有广阔的前景；在知识表达领域，在多智能主体系统领域都可以看到道义逻辑在发挥作用。     

关于蕴涵重言式不是推理式的证明

现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特征是纯真值函数,其整个命题的真值取决于它的支命题的真值。除了假言易位推理和联言推理而外,传统逻辑的其他所有复合命题推理用蕴涵重言式表达后都出怪论。