1.1逻辑学是什么
l 逻辑学是研究论证的分析和评价的科学。
l 起源:亚里士多德《工具论》 波斯的阿维森那逻辑 中国墨翟及其弟子所写的《墨经》
l 逻辑形式是逻辑学的核心概念。
l 演绎推理与归纳推理是逻辑学研究的两种最常见的推理类型。
l 逻辑系统四大定理:一致性定理、有效性定理、可靠性定理、完全性定理
l 逻辑学类型的常见区分:演绎逻辑和归纳逻辑、形式逻辑和非形式逻辑
l 逻辑学经典范例:亚里士多德逻辑、符号逻辑、命题逻辑、谓词逻辑、模态逻辑、哲学逻辑、论辩逻辑
l 逻辑学仍处于争论的问题:“二值原则和排中律问题”、“严格蕴涵、实质蕴涵和逻辑蕴涵”、“逻辑是经验的吗”、“不一致性可以容忍吗”、“逻辑真理可以拒斥吗”
l 《A system of Logic》—作者 John Stuart Mill,翻译者 严复,书籍译名《穆勒名学》,翻译时间1905年
l William Stanley Jevons,著作由严复翻译,书籍译名《名学浅说》,对应原书籍不知。
l Jevons发明Logic piano.
l 亚里士多德确认了逻辑学在哲学中的地位。
四大数学流派是围绕数学的哲学基础问题进行的不同探讨而形成的四大学派,主要指:柏拉图主义(代表人物哥德尔,实际是理想主义)、逻辑主义(代表人物罗素、怀海特,主张数学是逻辑的扩充,所有数学都可以被还原成逻辑)、形式主义(代表人物希尔伯特,主张是博弈和游戏)、直觉主义(代表人物布劳威尔,主张数学是对人的心灵的一种构造)