三段論,也稱直言三段論,是傳統(tǒng)邏輯中的一類主要推理。古希臘哲學(xué)家、邏輯學(xué)家亞里士多德首先提出了關(guān)于三段論的系統(tǒng)理論。三段論在傳統(tǒng)邏輯中,是在其中一個命題(結(jié)論)必然的從另外兩個命題(叫做前提)中得出的一種推論。這個定義是傳統(tǒng)的,可以寬松地從亞里士多德的《前分析篇》Book I, c. 1中推出來。希臘語“sullogismos”的意思是“演繹”。對傳統(tǒng)意義上的三段論的詳細(xì)描述參見直言三段論。三段論由三個部分組成:大前提、小前提和結(jié)論,它在邏輯上是從大前提和小前提得出來的。大前提是一般性的原則。小前提是一個特殊陳述。在邏輯上,結(jié)論是從應(yīng)用大前提于小前提之上得到的。 基本信息
|
|