<正>古希腊哲学家亚里士多德认为,只有经过逻辑证明的知识才具有可靠的意义。他以演绎推理的方式,从一般性原理出发推导出某个特殊结论,创立了“三段论”形式逻辑。三段论是以一个大前提(一般性原则),小前提(附属于一般性原则的特殊化陈述),由此引申出含有(一般性原则与附属于一般性原则的特殊化陈述)共同项为结论的直言命题,即从两个前提推导一个结论的科学思维方法。