形式逻辑学[形式逻辑学]

形式逻辑学

“形式逻辑”就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。由于本质上“形式逻辑”是知性逻辑，所以现代数理逻辑没有超出“形式逻辑”即传统逻辑的范畴。

亚里士多德的工具论是形式逻辑发展的基础。可以说没有工具论就没有形式逻辑。

逻辑研究能够提高一个人的理解、分析、评价和构造论证的能力。因为这个原因，逻辑为现代大学的教学做出了重大的贡献。

基本信息

外文名	The formal logic
学科门类	概念、范畴、规律的学科体系
代表人物	亚里士多德