论推理的有效性  

On the Validity of Inference

作　　者：孙明湘[1] 

机构地区：[1]中南大学哲学系,湖南长沙410083

出　　处：《自然辩证法研究》2004年第11期50-52,60,共4页Studies in Dialectics of Nature

摘　　要：推理或推理形式的有效性是逻辑学的核心概念。由于现代逻辑的形式系统化 ,推理形式的不同类型构成了不同的逻辑系统 ,有效性概念相对于不同的系统而言 ,具有相对性和层次性。同时 ,系统内的有效性又分为语形有效性与语义有效性 ,它们分别可由形式证明的方法和语义解释的方法加以判定。The validity of inference and the form of inference is the f undamental concept of logic,With t he systematization of modern logic ,the different forms of inference formed different logical systems a nd the concept of vaqlidity has re lativity and stratification to dif ferent systems.At the same time,th e validity in the system is set ap art to the validity of syntax and semantics,they can be judged by th e way of formal proof and semantic analysis.

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

分 类 号：N031[自然科学总论—科学技术哲学]