"形式蕴涵"方案能解决蕴涵怪论问题吗

近年来,有学者以罗素的"形式蕴涵"为工具,对化解蕴涵怪论反例的进路又作了积极而有益的探索.但仔细分析其化解过程及方法,实难说取得了预期的成功.因为形式蕴涵在根子上就无法解决蕴涵怪论问题.蕴涵怪论的根源不在于逻辑的形式化语言,而在于实质蕴涵与日常"若,则"句差异过大的矛盾.     

论蕴涵怪论的合理性

本文详细讨论了实质蕴涵的真实涵义，它与条件句、推论关系之间的联系与区别，分析了实质蕴涵与逻辑蕴涵之间的关系和误解，探讨了逻辑的性质及与科学推理的关系，从丽为实质蕴涵及其由其产生的所谓怪论并不怪作出了合理的辨护。     

罗素的形式蕴涵思想辨析——三论从形式蕴涵看“实质蕴涵怪论”

罗素的形式蕴涵思想,经历了一个从不成熟到成熟的过程。在首次提出基于命题函数的"形式蕴涵"概念的《数学的原则》中,由于罗素尚不具有清晰的逻辑量词观念,其使用"变元蕴涵"和"两个断定间的关系"对形式蕴涵的解释,存在多重混淆与失误之处。在深入研究弗雷格的著作并掌握逻辑量词理论之后,罗素的形式蕴涵思想实现了"完型转换",形成了成熟期的清晰认识。把握罗素的思想历程及其对基本的"实质蕴涵怪论"问题的解决,对于理解"从形式蕴涵看实质蕴涵怪论"的研究进路,具有重要启发价值。     

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

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

论实质蕴涵、形式蕴涵与逻辑蕴涵

该文将蕴涵分为三类:实质蕴涵、形式蕴涵与逻辑蕴涵。从多值逻辑角度解决了实质蕴涵、条件句与推论关系之间的关系,详细考察了三类蕴涵概念之间的区别和联系,从三种蕴涵角度区分了科学真理、数学真理与逻辑真理。     

说“蕴涵”

英国语义学家杰费里·Ｎ·利奇在《语义学》一书中讨论了蕴涵的一般规则。实际上，这一蕴涵的一般规则，并不能概括语言中的各种蕴涵现象。本文试图通过分析Ｘ、Ｙ两个陈述语句的内部结构及其要素间的相互关系，重新归纳Ｘ蕴涵Ｙ的一般规则，并具体分析若干实例，考察这一蕴涵规则的实际操作过程。     

试论中世纪的蕴涵理论

中世纪逻辑历来被人们误解以至抹杀。本文通过中世纪逻辑学家有关蕴涵的性质、分类及规则的论述,分析了中世纪蕴涵理论的思想来源和在逻辑史上的重大价值,阐明了中世纪的逻辑是联结古代逻辑和现代逻辑的桥梁,从而恢复它在了中纪世逻辑史中的地位,     

关于条件句的蕴涵理论

为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。     

百年"怪论"的有效消解

现代逻辑的实质蕴涵“怪论”问题是困扰逻辑学发展的一个难题。对此问题存在两种态度:一种是持批判的态度,认为实质蕴涵不够完善,试图构造其他蕴涵来取代实质蕴涵;另一种是持否认的态度,认为不存在实质蕴涵“怪论”问题。这两种观点都没有很好地解决这一问题。逻辑“怪论“是由于对逻辑进行了系统化形式化引起的,要消除“怪论”必须对形式化的逻辑系统有正确的认识。命题逻辑系统与普遍适用的逻辑规则不同,它的直接模型是布尔代数,因此产生实质蕴涵“怪论”的原因是其赋值不能满足成为布尔代数的条件。但在自然语言中很难找到成为布尔代数的模型,因此,要消除逻辑“怪论”还必须寻找其他方法。     

虚拟蕴涵实质蕴涵和空词项——也谈“逻辑研究中有待澄清的若干问题”

本文区分和探讨了两种不同的蕴涵即虚拟蕴涵和实质蕴涵。虚拟蕴涵是附加了某些条件的实质蕴涵，这些条件是预设了一个使其前件为真的可能世界和一个与其前后件有关的背景假设。虽然虚拟蕴涵不能归结为实质蕴涵，但是，实质蕴涵是其他一切蕴涵的必要条件；不仅如此，实质蕴涵还表示了一种最基本的推出关系。关于空词项，本文指出，一般而言，一个词项既可以是空词项，也可以是实词项，这取决于它所参照的可能世界是什么，笼而统之地谈论一个词项是否是空词项是无意义的。此外，本文还探讨了词项的内涵与外延的对称性问题     

广义正蕴涵BCI-代数及其结构

借用BCI－代教，推广了正蕴涵BCI－代数的概念，给出了广义正蕴涵BCI－代数的定义和性质，最后讨论了广义正蕴涵BCI－代数的结构．     

对实质蕴涵若干问题的思考

以实质蕴涵和逻辑蕴涵为对象,通过对郁慕镛教授和袁正校教授的观点进行比较,对逻辑学里的一个非常重要的概念——蕴涵进行了分析和讨论,澄清关于实质蕴涵和逻辑蕴涵的若干误解.     

试论科学发展观的哲学蕴涵

中国共产党提出的科学发展观,既有深厚的现实依据,又有深厚的马克思主义哲学蕴涵。搞清科学发展观的马克思主义哲学蕴涵,是我们正确树立和自觉落实科学发展观,完成新世纪、新阶段艰巨而光荣的使命的需要。本文首先对科学发展观作以学科层次的界定,然后从四个方面论述科学发展观的马克思主义哲学蕴涵,以期对此需要有些裨益。     

古代散文的人文蕴涵与大学生素质培养

古代散文人文蕴涵丰富,探索其中所蕴涵的人文素养,强化并丰富它的现实意义,为培养新时期大学生的人文素质,提高其文化底蕴有着积极的现实意义。     

条件句的语义排歧与假设性思考的量化机制

能够使用条件句做假设性思考,是人类理性思维的一种重要特征。自然语言条件句的语义排歧,需要在区分条件句与条件命题、命题与命题函数的基础上,更多地关注使用受限量化域的特殊形式蕴涵。在珀尔因果模型论的基础上对共伴式和干预式假设性思考的研究,使得假设性思考中基于形式蕴涵的量化机制得以清晰呈现。通过对量化机制的把握解决“实质蕴涵怪论”问题造成的假设性思考疑难,消除因果模型论的“反经典外貌”,维护实质蕴涵理论的基础性和普适性,经典逻辑在人类智能和人工智能研究中的基础功能和作用可得到进一步开掘。     

概率语义与蕴涵系统

本文我们引入适于初始联结符为和→的句子语言的概率语义,并证明通常我们使用的句子系统——蕴涵系统——相对这样的概率语义有可靠性和完全性。     

文本蕴涵研究现状和发展趋势

目前文本蕴涵(TE)的研究基本上是自然语言信息处理(NLP)领域的专利,其效果还有待提高,一个重要的切入点和趋势就是开展和加强语言学角度文本蕴涵识别(RTE)研究,特别要加强认知和依存的研究,以更有效指导面向RTE的资源建设,提高NLP角度RTE效果.     

从蕴涵命题到充分条件命题的比较研究

充分条件命题与蕴涵命题产生的历史一样古老。在充分理解充分条件关系的定义基础上,完全能够区分充分条件命题与蕴涵命题。充分条件命题具有两个独立性,而蕴涵命题具有两个依赖性,它们分别在各自的领域发挥着重要作用,谁也不能取代谁。承认差异,让二者和睦相处,对于传统形式逻辑的当代发展具有深远的意义。     

知识蕴涵直觉主义逻辑系统

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。     

简论罗素的形式蕴涵

从罗素出发,讨论了命题和命题函项的区别与联系,分析了形式蕴涵的真实含义,论证了形式蕴涵不是一种独立的蕴涵。