科研之友
微信
新浪微博
Facebook
分享链接
摘要
<正>所有的逻辑命题可以从语义的角度分为有效的命题、恒假的命题和可满足的命题等三种。传统上,形式逻辑处理的演绎系统是对(关于某种语义)有效的命题进行推演,即对真命题的推演,而对于其他两类命题即非有效命题的推演则没有包括进来。卢卡西维茨在《亚里士多德的三段论》中指出:"关于断定一个命题和排斥一个命题这两种智力活动,现代形式逻辑只就第一种加以考虑。……排斥的概念,从过去到现在一直都被忽略了。"~([1])卢卡西维茨是世界著名的波兰逻辑学家,"由于卢卡西维茨教授的工作,波兰成为数理逻辑的世界中心之一,人才辈出",~([2])这本书是其重要的学术著作,包含着非常丰富的思想。但从1981年译介引进之后,...
-
单位中国社会科学院
