论蕴涵的演进——从蕴涵到制约  

Discussion on the Evolution of Implications——From Implications to Lin's Entailment

作　　者：盛作国[1] 龚启荣[2] 胡红[2] 

机构地区：[1]贵阳学院图书馆,贵州贵阳550005 [2]贵州大学人文学院,贵州贵阳550025

出　　处：《毕节学院学报（综合版）》2006年第2期26-30,共5页Journal of Bijie University

摘　　要：蕴涵是贯穿整个现代逻辑发展的一个基本概念。实质蕴涵的提出引起学术界极大争议,“蕴涵怪论”一直是争论焦点之一。由于对推理前提和结论之间的关系有着不同理解和阐释,逻辑学家们提出了不同的蕴涵概念,并构建了相应的现代逻辑系统。笔者试图从逻辑史的角度去区分、澄清和阐明不同意义的蕴涵及其相互关系,并提出作者的一些粗浅认识。Implications are essential concepts in the whole process of modem logic development. The naissance of material implication greatly produced many controversies, and the paradoxes of implication have always been the focus of those arguments. On the basis of different explanations and descriptions, all different kinds of implications were formed, and so did different modem logic systems. Authors of this paper will try historically to distinguish and clarify their true senses among all sorts of implications.

关 键 词：实质蕴涵 形式蕴涵 严格蕴涵 相干蕴涵 直觉主义蕴涵 制约关系 

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