|
（一）中国古代逻辑 名实相付 同一律 荀子《正名》要论述的事实与问题要相符 白马非马
“是”可以是“等于”“包含于”“属于” “非”可以是“不等于”“不包含于”“不属于” 数学逻辑是人工符号 子非鱼焉知鱼之乐也是经典的逻辑辩论 墨家是较之于其他学家更注重逻辑推理的理论--《墨经》 知识的来源：亲知 闻知 说知 以名举实：用不同的名对应不同的实 先秦逻辑比较发达主要是百家争鸣，而之后都是罢黜百家 独尊儒术 （二）印度古代逻辑 佛教逻辑：因明 因明的三支论式： 宗：此山有火 因：因有烟故 喻：凡有烟均有火，如厨房 （同喻/证明） 凡无烟均无火，如湖（反喻/反证） 玄奘取经翻译《因明正理门论》 （三）古希腊和中世纪 苏格拉底、柏拉图、亚里士多德 古希腊逻辑集大成亚里士多德《工具论》 其中最有名的是三段论，常举例 人固有一死 苏格拉底是人，所以苏格拉底固有一死 是不会错的，有效的推理形式，要保证前提是对的。 麦加拉-斯多啊学派：构造命题逻辑 构造公理系统 中世纪逻辑 ：建立经院逻辑 （四）近代西方逻辑 归纳逻辑 培根《新工具》归纳 演绎 记忆 传递 对于三段论的前提是否能保证正确提出疑问 三段论是演绎推理，并不能给我们新的东西，因为他的结论已经在前提里面存在了。归纳推理可以给我们新东西 三表法： 密尔(穆勒)：求因果五法 辩证逻辑：康德《逻辑学》《哲学全书》/ 黑格尔 （五）数理逻辑也称数学逻辑 数学方法研究逻辑 有共同的认知基础 创始人莱布尼茨建立了微积分《论组合术》提出关于数理逻辑的思想，设想建立“普遍的符号语言”：思想的字母 思维的演算 布尔创立的逻辑代数《逻辑的数学分析》 德 摩根 创建关系逻辑（比如新疆在北京的北边，上海在北京的南边，所以新疆在上海的北边）《形式逻辑》 弗雷格 谓词演算 罗素 建立完备的命题演算和谓词演算，成为逻辑演算的经典系统《数学原理》与怀特海共同完成 数理逻辑的内容 逻辑演算（命题演算 谓词演算） 证明论 集合论 |
|
|
