蕴涵意义新解  

New Explanation about the Meaning of Implication

作　　者：李金厚[1] 蒋静坪[1] 

机构地区：[1]浙江大学电气工程学院,浙江杭州310027

出　　处：《江南大学学报（自然科学版）》2004年第2期121-126,共6页Joural of Jiangnan University (Natural Science Edition)　

基　　金：国防科技跨行业基金项目(OOJ16.6.3.JW040)资助课题.

摘　　要：严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题.实质蕴涵和严格蕴涵定义所给出的只是蕴涵成立的必要条件,将它作为蕴涵成立的充分条件来使用是不合适的.为有效避免蕴涵怪论问题的出现,提出了一种新的意义蕴涵概念.这一概念简明、直观和容易理解.It is argued that strict implication proposed by Lewis is essentially the same as material implication in that it is a truth-unction based defintion of implication. Therefore, they are all unable to sovle the weird-proposition problem faced by ordinary material implication. Further, it is made clear in the paper that the condition they supply is just the necessary condition for implication to be true that, it is improper to use it as a sufficient condition. To avoid this problem efficiently, a meaning-ased concept of implication is proposed which is explicit, concise and easy to understand.

关 键 词：严格蕴涵 实质蕴涵 必要条件 充分条件 意义蕴涵 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]