卢卡西维茨的命题排斥思想
所有的逻辑命题可以从语义的角度分为有效的命题、恒假的命题和可满足的命题等三种.传统上,形式逻辑处理的演绎系统是对(关于某种语义)有效的命题进行推演,即对真命题的推演,而对于其他两类命题即非有效命题的推演则没有包括进来.卢卡西维茨在《亚里士多德的三段论》中指出:“关于断定一个命题和排斥一个命题这两种智力活动,现代形式逻辑只就第一种加以考虑.……排斥的概念,从过去到现在一直都被忽略了.”[1]卢卡西维茨是世界著名的波兰逻辑学家,“由于卢卡西维茨教授的工作,波兰成为数理逻辑的世界中心之一,人才辈出”,[2]这本书是其重要的学术著作,包含着非常丰富的思想.但从1981年译介引进之后,国内对这本书并没有多少研究,这与它在逻辑史上的地位是极不相称的.
B81(逻辑学(论理学))
2014-02-24（万方平台首次上网日期，不代表论文的发表时间）
共7页
95-101
