【相干与衍推逻辑】冯棉.pdf

【相干与衍推逻辑】冯棉.pdf

相干与衍推逻辑 冯棉著 上海人民版社序 冯棉同志是我国逻辑学“金岳霖学术奖”获得者,他在撰著《经 典逻辑与直觉主义逻辑》和《广义模态逻辑》二书之后,马不停蹄,现又完成《相干与衍推逻辑》一书并索序于予.相干与衍推逻辑不是像模态逻辑那样的经典逻辑的扩张,而 是如直觉主义逻辑那样的对经典逻辑的“修正”。不过直觉主义逻 辑之产生是出自数学基础上的考虑,而相干与衍推逻辑的建构却 更多地折射出哲学和语言学的背景.我们知道经典命题逻辑联词中的通常解释为“如果,则 的蕴涵二(所谓实质蕴涵)实际上是作为一种真值函数而定义的:Pq仅当P真而Q假时为假,其他场合一律为真。因此,一个真 命题为任何命题所蕴涵,而一个假命题则蕴涵任何命题。前言 本世纪60年代前后,在莫绍、丘奇(A.Church)、阿克曼(W Ackermann)等人工作的基础上,当代著名的逻辑学家安德森(A.R.Anderson)和贝尔纳普(N.D.Belnap)开创了一门崭新的 现代逻辑分支一一相干与衍推逻辑(RelevanceandEntailment Logic)。这种逻辑比较接近人们日常使用的自然语言,并且能避 免经典逻辑中的所谓“蕴涵怪论”,因而对人工智能的开发具有重.大的理论意义和实际价值,受到国际逻辑学界和计算机科学界的 高度重视。