三段论法
关于三段论推理(三段论)的学说，由亚里士多德表述的历史上第一个演绎逻辑体系。 三段论法的例子如：“一切金属都是导电的，某些液体是金属，所以，某些液体是导电的”。三段论由三个名词构成，这三个名词分别成对地组成三个主——谓结构的判断：两个前提和一个结论。在三段论中的判断是按照质(肯定还是否定)和量(全称还是特称)加以区别的。 含有不进入结论的词(称为中项)的判断，组成三段论的前提。 三段论的结论由称为端词的大项和小项所组成。根据中项在大、小前提中所处的位置(是主项还是谓项)来确定三段论的格。 三段论四个格中的每一个格，按照组成三段论的判断的质和量，可以细分出各种不同的三段论样式。三段论的主要任务是弄清楚，什么时候必然可从前提中推出一定的结论，什么时候不能推出结论。 三段论是狭隘的演绎理论。利用数理逻辑的工具和方法就可以建立作为形式化理论的三段论，它的严格的公理化就可实现，这个体系的无矛盾性和可解性就会得到证实。 |