自然逻辑与不自然逻辑刍议——以命题逻辑为例  

Discussion on Natural Logic and Unnatural Logic: Taking Propositional Logic as an Example

作　　者：肖翀[1] 

机构地区：[1]中央财经大学文化与传媒学院,北京100081

出　　处：《湖南理工学院学报（自然科学版）》2015年第1期10-12,15,共4页Journal of Hunan Institute of Science and Technology(Natural Sciences)

摘　　要：在逻辑中,自然演绎方法与公理方法是研究各种逻辑词之间的推理规律的两种不同的研究方式.本文以命题逻辑中的推出关系为例,研究了逻辑推理演算在自然逻辑系统与不自然逻辑系统中的特点,总结了自然演绎方法与公理方法的区别与联系,认为自然逻辑更契合人类思维习惯,更易于接受.Natural deductive and axiomatic are different methods in study of inference rule of logical words. In this paper, two methods are studied in logical deductive calculus by taking deducing relation in propositional logic as an example. As a conclusion, natural logic conforms to the human thinking habits by contrast unnatural logic, and can be acceptable by people.

关 键 词：自然逻辑 不自然逻辑 公理方法 自然演绎方法 

分 类 号：B813[哲学宗教—逻辑学] O141[理学—数学]