什么叫形式逻辑

什么叫形式逻辑

“形式逻辑”就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。由于本质上“形式逻辑”是知性逻辑，所以现代数理逻辑没有超出“形式逻辑”即传统逻辑的范畴。亚里士多德的工具论是形式逻辑发展的基础。可以说没有工具论就没有形式逻辑。逻辑研究能够提高一个人的理解、分析、评价和构造论证的能力。因为这个原因，逻辑为现代大学的教学做出了重大的贡献。定义“形式逻辑学”是关于“形式逻辑”即传统逻辑的概念、范畴、规律的学科体系。所谓“形式逻辑”就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。由于本质上“形式逻辑”是知性逻辑，所以现代数理逻辑没有超出“形式逻辑”即传统逻辑的范畴。所谓逻辑是思维的规律，逻辑学是关于思维规律的学说，思维规律是思维内容与思维“形式”的统一。“形式”逻辑也是从内容和“形式”的统一上来研究思维规律的学说，因而决不是什么纯“形式”的逻辑。正好像传统把概念说成是思维的“形式”是混淆了概念和语言一样，把传统逻辑说成是思维“形式”的学说是混淆了传统逻辑和语言学简介从思维的形式结构方面研究思维规律的科学。它总结了人类思维的经验教训，以保持思维的确定性为核心，用一系列规则、方法帮助人们正确地思考问题和表达思想。是人们认识世界和改造世界的必要工具。