逻辑哲学.ppt

逻辑学哲学 PhilosophyofLogic 参考书目 苏珊 哈克 逻辑哲学 罗毅译 北京 商务印书馆 2003陈波 逻辑哲学导论 北京 中国人民大学出版社 2001张清宇编 逻辑哲学九讲 南京 江苏人民出版社 2004W C Salmon Logic EnglewoodCliffs N J Prentice Hall 3rded 1984I M Copi Introductiontologic UpperSaddleRiver N J PrenticeHall 11thed 2002H DEbbinghaus MathematicalLogic Springer VerlagNewYorkInc 1984张清宇等 哲学逻辑研究 北京 社会科学文献出版社 1997张东荪 知识与文化 张耀南编 北京 中国广播电视出版社 1995 概念区分 逻辑 logic 逻辑哲学 philosophyoflogic 研究逻辑所提出的哲学问题 一正如科学哲学研究科学提出的哲学问题 数学哲学研究数学提出的哲学问题 哲学逻辑 philosophicallogic 非经典或非标准逻辑的总称 元逻辑 meta logic 研究的是形式逻辑系统的形式性质 例如完全性 一致性和可判定性的证明 或否证 逻辑的外延 传统逻辑 亚里士多德的三段论经典逻辑 二值语句演算谓词演算扩展逻辑 模态逻辑时态逻辑道义逻辑认知逻辑优选逻辑祈使逻辑疑问逻辑异常逻辑 多值逻辑直觉主义逻辑量子逻辑自由逻辑归纳逻辑 苏珊 哈克 逻辑哲学 陈波 逻辑哲学导论 应用逻辑 appliedlogic 形式上表现为经典逻辑的扩充系统 extendedsystems 是利用经典逻辑的工具 去分析某些具体学科特别是哲学中的概念或范畴而建立起来的逻辑学分支 具体包括模态逻辑 道义逻辑 时态逻辑 认知逻辑 问题逻辑 命令逻辑 优先逻辑等 变异逻辑 deviantlogic 形式上表现为经典逻辑的择代系统 alternativesystems 是由否定或修改一阶逻辑的某些基本假定而形成的逻辑分支 具体包括相干逻辑 直觉主义逻辑 自由逻辑 偏逻辑 反事实条件句逻辑 多值逻辑 量子逻辑 模糊逻辑等 逻辑哲学的主要论题 意义理论和逻辑类型推理 后承关系与蕴涵 是 的逻辑哲学分析形式化方法的哲学考察模态的形而上学逻辑真理逻辑悖论逻辑中的本体论承诺归纳问题及其解决方案逻辑究竟是什么 命题逻辑 非 not 表示否定关系 用逻辑符号表示为 也有的逻辑书写作 且 and 表示合取关系 逻辑符号为 有的书写作 或 或 or 表示析取关系 逻辑符号为 则 if then 表示蕴含关系 逻辑符号为 有的书写作 等值 ifandonly 通常简写为iff 表示等值关系 逻辑符号为 有的书写作 真值表 有效性与重言式 论证包括前提与结论 如果前提为真 结论必然为真 那么论证是有效的 valid 如果一个命题在各种情况下必然为真 那么它是重言式 tautology 当且仅当 前提 结论 是重言式 论证是有效的 p q p q肯定前项的推论 论证有效 p q q p肯定后项的谬误p q q p否定后项的推论 论证有效 p q p q否定前项的谬误 量化逻辑 全称量词 all 存在量词 exist A句式 所有F是G x Fx Gx E句式 所有F不是G x Fx Gx I句式 有些F是G x Fx Gx O句式 有些A不是B x Fx Gx 自然演绎法 所有A是B 所有B是C 所有A是C x Ax Bx Aa Ba x Bx Cx Ba CaAa 假设 BaCaAa Ca 消去假设 x Ax Cx 一阶逻辑的公理系统 1 2 3 4 x t x 5 x 6 t t 7 t1 S1 tn Sn f t1 tn f S1 Sn 8 t1 S1 tn Sn P t1 tn P S1 Sn MP RD x 推导过程举例 A A A A A A A A A 公理2 A A A A 公理1 A A A A A 1 2 MP A A A 公理1 A A 3 4 MP 一致性与完全性 一阶逻辑系统的一致性 consistency 一阶逻辑系统推出的所有命题都是无矛盾的 1928年 希尔伯特 D Hilbert 证明一阶逻辑系统的一致性 一阶逻辑系统的完全性 completeness 一阶逻辑系统的所有恒真命题都能够从其公理系统推出 1929年 哥德尔 K G del 证明一阶逻辑系统的完全性 模态逻辑 必然 可能 严格蕴含 定义 A df A A B df A B S0 5系统 p p p q p q R 如果A是语句运算的定理 那么 S0 5 A系统T 加强 R 为 RN TA 那么 T A系统S4 附加公理3 p p系统S5 附加公理4 p p 蒯因的批评 模态是关于语句的 dedicto 而不是事物的 dere 2 2 4是必然的 2 2必然 4 9 7 9 行星数量 因此 行星数量 7 一阶经典逻辑中从9 7可以推出 x x 7 从模态逻辑中可以推出 x x 7 吗 多值逻辑 卢卡西维茨 ukasiewicz 系统 i读作 未定的 或 可能的 克利尼 Kleene 系统 i读作无法判定 现代逻辑的扩充 J Barwise HandbookofMathematicalLogic 1977D Gabbay HandbookofPhilosophicalLogic 1983 1989D Gabbay HandbookofLogicinArtificialIntelligenceandLogicalProgramming 1995J vanBenthem HandbookofLogicandLanguage 1997 逻辑的形而上学 一元论 只有一种正确的逻辑系统 多元论 正确的逻辑系统不止一种 工具论 没有 正确的 逻辑 逻辑是工具 一元论 实在论的逻辑观 逻辑真理的必然性源自于它描述了事物的存在状态或事实的总汇 或者说它描述了与独立自存的实在相关的一类特殊的非经验的事实 得出两个观点 1 逻辑是一种发现而不是发明 2 逻辑是一门关于真理的科学 弗雷格 反心理主义 我们决不要把语句是可以被思考的和语句可能是真实的这两者混为一谈 我们必须记住 当我不再思考某个语句的时候 这个语句并不因此而不再是真实的 这正如当我闭上眼睛时 太阳不会不再存在一样 维特根斯坦 图像论 逻辑哲学论 4 01命题是实在的图像 命题是我们设想的实在的模型 2 22图像的真假在于其意义与实在的符合与否 2 23为要发现图像的真假 我们必须拿它与实在比较 4 2命题的意义就是与事态存在或不存在的可能性符合或不符合 4 462重言式和矛盾不是实在的图像 蒯因 W V Quine 1908 2000 在哈佛大学师从怀特海学习逻辑并获博士学位1932年至1933年到欧洲留学 在维也纳结识了石里克和纽拉特等人 卡尔纳普对他的影响尤深 一直在哈佛大学任教批判逻辑实证主义 被称为新实用主义或逻辑实用主义 逻辑的八大特征 逻辑真理是在行为意义上清楚明白的 或潜在清楚明白的 逻辑是题材中立的 它并不偏向于任何特殊的课题和领域 逻辑是普遍适用的 它是包括数学在内的一切科学的工具 逻辑只能是外延的 它允许指称同一对象的单称词项相互替代 允许对于同样对象为真的普遍词项相互替代 允许有同样真值的语句替换一复合句中的成分句 在所有这些情形下 主句的真值必须不受影响 逻辑是本体论中立的 它并作出任何特殊的本体论承诺 逻辑是可完全的 即能把在一定范围内有效的真语句全部推导出来 逻辑是一元的 即能够用某种方式为全部逻辑真语句划界 划界方式的不同并不是逻辑的不同 逻辑真理根源于实在的某些特征 与经验保持十分间接的联系 因而是可修正的 但让逻辑不受伤害始终是一个合理的策略 多元论 部分多元论 不同的逻辑系统可适用于不同的论域 即相对于不同的论域是正确的 例如 经典逻辑可适用于宏观现象 量子逻辑适用于微观现象 整体多元论 逻辑原理不论什么内容都能适用 不同逻辑系统中的逻辑项的意义可能不同 所以并不冲突 张东荪论逻辑 思想与语言的关系 正如水与沟渠 逻辑是因为语言有了问题而发生的 所以逻辑想调整语言 思维方式 wayofthinking 想法 传统逻辑 由西方语言的构造所产生 数理逻辑 用一些数学上的办法来讲逻辑 辩证法逻辑 相反者之合一 unityoftheopposites 政治逻辑 唯物辩证法 保留对立以便发生 动 与 反动 张东荪 知识与文化 第240 256页 苏珊 哈克 示意图 一个逻辑系统能够成为正确的或者不正确的吗 不能能工具主义只有一种正确的逻辑吗 是的不是的一元论多元论 逻辑的认识论 逻辑是永恒必然的 逻辑是可修改的 蒯因 没有任何陈述