形式逻辑

常简称逻辑。狭义的形式逻辑是演绎逻辑，即主要研究演绎推理形式的科学。广义的形式逻辑包括归纳逻辑。形式逻辑的创始人是古希腊哲学家亚里士多德。他建立了人类历史上最早的演绎系统之一三段论理论。但他尚未使用“逻辑”一词来指称这个理论。古希腊罗马时期的麦加拉－斯多阿学派发展了关于复合命题的推理学说。现有史料表明公元前1世纪的罗马哲学家M．T．西塞罗最早用“逻辑”一词指称关于推理的科学。17世纪英国哲学家F．培根认为以三段论为典型的推理不能发现科学原理，他提出了以三表法为核心的归纳方法，开创了归纳逻辑。18世纪德国哲学家I．康德开始，才通行以“形式逻辑”一词指称以三段论为中心的关于概念、命题、推理和方法的理论。19世纪德国哲学家G．W．F．黑格尔对形式逻辑进行了许多批评。他认为形式逻辑是形式脱离内容的、形而上学的逻辑。在黑格尔的影响下，后来形成了一股全盘否定形式逻辑的思潮。还在17世纪，德国哲学家G．W．莱布尼茨提出建立一种表意的普遍语言及思维演算。到了19世纪，运用数学方法研究推理形式以及运用逻辑研究数学基础问题，产生了数理逻辑，也称符号逻辑，实现了莱布尼茨的设想。在20世纪，19世纪中叶以前的形式逻辑广泛被称为传统逻辑，而19世纪中叶以后发展起来的数理逻辑，则被认为是现代(形式)逻辑。20世纪，归纳逻辑与概率论相结合，利用公理化，形式化方法构造系统，成为现代归纳逻辑。