传统形式逻辑与数理逻辑关系论  

The Relationship Between Traditional Formal Logic and Mathematical Logic

作　　者：龚启荣[1] 吴春红[1] 叶森 

机构地区：[1]贵州大学,贵州贵阳550025 [2]贵州省交通厅征稽局党办,贵州贵阳550003

出　　处：《教育文化论坛》2009年第2期37-41,共5页Tribune of Education Culture

基　　金：教育部人文社会科学"当代形式逻辑及其在人工智能中的应用理论研究"项目成果之一项目批准号:07JA720006

摘　　要：充分条件关系跟刻划真值函数关系的实质蕴涵关系之间是风马牛关系。因此,用数理逻辑"改造"或"取代"传统形式逻辑是一种常识性错误。Sufficient condition relationship is irrelevant to material implication relationship that describes truth - value relationship. Therefore, it is a common - sense error to attempt to reform or replace traditional formal logic with mathematical logic.

关 键 词：传统形式逻辑 数理逻辑 充分条件关系 实质蕴涵关系 风马牛关系 

分 类 号：B81-06[哲学宗教—逻辑学]