论推理的有效性

推理或推理形式的有效性是逻辑学的核心概念.由于现代逻辑的形式系统化,推理形式的不同类型构成了不同的逻辑系统,有效性概念相对于不同的系统而言,具有相对性和层次性.同时,系统内的有效性又分为语形有效性与语义有效性,它们分别可由形式证明的方法和语义解释的方法加以判定.

On the Validity of Inference

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.