相干逻辑的产生及评价.pdfVIP

( ) 20 13 27 9 重庆理工大学学报 社会科学 年第 卷第 期 逻辑与科学方法论 Journal of Chongqing University of Technology (Social Science)Vol． 27 No． 9 2013 doi :10． 3969 /j ． issn． 1674－8425 (s)． 2013． 09． 016 相干逻辑的产生及评价 刘步青 ( ， 20024 1) 华东师范大学哲学系 上海 : “ ” ， 摘要 在概述 蕴涵怪论 与相干逻辑的产生的基础上 阐述相干逻辑对经典逻辑与模态逻辑的 。 ， ， 修改 认为相干逻辑不仅建立了自己庞大的形式系统家族 而且拥有完整的语义学 具有良好 。 ， 、 ， ， 的发展前景 然而 相干逻辑比经典逻辑 模态逻辑更加抽象 更加复杂 也导致了一系列的 质疑。 : ; ; ; 关键词 蕴含怪论 相干逻辑 经典逻辑 模态逻辑 中图分类号:B815 文献标识码:A 文章编号:1674 － 8425 (20 13)09 － 0084 － 04 可以推出排中律， ( ) 矛盾命题 矛盾律 可以推出任 ， ， ， 、“ ” 何命题 任何两个命题之间 不是前者推出后者 一 蕴涵怪论 与相干逻辑的产生 。 : “p 就是后者推出前者 公式还意味着 如果以 并 19 、20 ， (F． L． G． Fre- 且q ” r ， ， p r ， 世纪末 世纪初 弗雷格 为前提推出了 那么 不是 能推出 就是 ge)、 (B． Russell) 。 q r ， 。 罗素 等人创建了经典逻辑 经典 能推出 这不是一个直观上有效的推理形式 ( ) ， ， : p “q 逻辑是一种二值 真假关系 函项逻辑 逻辑联结 同样 公式意味着 如果以 为前提推出了 或 词“ ”、“ ”、“ ”、“ ”、“ ” 者r ”， p q ， p r ， ┐ ∧ ∨ →  被解释为命题之 那么不是 能推出 就是 能推出 这也 ———“ ”、“ ”、“ ”、