论逻辑的有效性及其判定  

On Validity of Logic and It's Judgment

作　　者：孙明湘[1] 李建华 

机构地区：[1]中南大学哲学系,湖南长沙410083 [2]湖南科技大学法学院,湖南湘潭411201

出　　处：《湖南文理学院学报（社会科学版）》2006年第5期53-56,62,共5页Journal of Hunan University of Arts and Science:Social Science Edition

基　　金：湖南省哲学社会科学基金资助项目"哲学逻辑与逻辑哲学的比较研究"(06YB62)的部分研究成果

摘　　要：推理形式的有效性是逻辑学的核心概念。由于现代逻辑的形式系统化,推理形式的不同类型构成了不同的逻辑系统,有效性概念相对于不同的系统而言,具有相对性和层次性。同时,系统内的有效性又分为语形有效性与语义有效性,它们分别可由形式证明的方法和语义解释的方法加以判定。The validity of inferential form is the key conception of logic. Due to systematism of modem logical form, the different types of inferential form construct the different logical system. Comparing different systems, the conception of validity has relativity and level. Meanwhile, the validity in the system can be divided into form validity and meaning validity, which can be judged respectively by the method of form test and meaning explanation.

关 键 词：逻辑 推理形式 有效性 形式系统 判定 

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