直言三段论
由直言命题所组成的一种推理形式,简称三段论。传统逻辑的三段论演绎体系是由亚里士多德创立的,在中世纪得以完善,现代的数理逻辑对三段论也作过专门的研究。
三段论的结构 一个直言三段论由三个直言命题所组成,其中两个为前提,一个为结论。三个直言命题包含三个相同的词项,其中只在两个前提中出现而不在结论中出现的词项称为中项,用字母“M”表示;在结论中作为主词的词项称为小项,用字母“S”表示;在结论中作为宾词的词项称为大项,用字母“p”表示。两个前提中包含大项的前提称为大前提,包含小项的前题称为小前提。在排列顺序上,通常大前提在前,其后是小前提,最后 ...... (共2377字) [阅读本文]>>