形式逻辑一 概论

《形式逻辑》第一章 概论 的内容梳理

概论

• 第一节 形式逻辑的对象和性质
  • 一、逻辑的四种含义
    • （一）指客观事物的发生发展规律
    • （二）指某种特殊的观点、理论、制度或方法
    • （三）专指人类思维的规律、规则
    • （四）逻辑学
  • 二、逻辑学系统的构成
    • （一）形式逻辑
      • 1.演绎逻辑
        • 1.1传统演绎逻辑
        • 1.2现代演绎逻辑 （数理逻辑）
      • 2.归纳逻辑
        • 2.1古典归纳理解
        • 2.2现代归纳逻辑 （含概率逻辑）
    • （二）非形式逻辑
      • 1.论证逻辑 （含批判性思维）
      • 2.辩证逻辑
    • i.现代逻辑
      • 标准逻辑
        • 数理逻辑
        • 概率逻辑
      • 非标准逻辑
        • 模态逻辑
        • 规范逻辑
        • 多值逻辑
  • 三、什么是形式逻辑
    • （一）定义
      • 形式逻辑是研究罗辑思维和逻辑形式及其基本规律和简单的逻辑方法的科学
    • （二）基本概念
      • 1.罗辑思维
        • 感性认识基础上，运用概念、判断和推理等理性认识形式，对客观事物的间接、概括的反映过程
        • 概括性、间接性、与语音关系密切
      • 2.思维形式
        • 概念、命题、推理
      • 3.思维的逻辑形式
        • 凡S必P
        • 如果P那么Q
        • 凡M是P、凡S是M ，故凡S是P
      • 4.基本规律
        • 同一律、矛盾律、排中律、充足理由律
      • 5.逻辑方法
        • 定义、划分、探求因果联系等
  • 四、性质
    • （一）基础性：基础科学之一
    • （二）工具性：提供逻辑手段和方法
    • （三）全人类性
  • 五、学习形式逻辑的意义
    • （一）可以培养自己科学认识世界的方法
    • （二）有助于提高罗辑思维的能力、培养逻辑精神
    • （三）有助于提高沟通交际、论证思想的能力
• 第二节 逻辑简史
  • 一、逻辑学的产生
    • （一）先秦名辩
      • 名学和辩学的合称。先秦逻辑思想以正名为重点，有名、辞、说、辩
    • （二）印度因明
      • 由古代论辩术发展而来。先五支论式，后三支论式（宗、因、喻），唐代传入我国
    • （三）西方逻辑
      • 1.亚里士多德
        • 西方逻辑学创始人，对三段论进行系统研究。《工具论》6篇
        • 斯多葛学派：于三段论之外研究了命题逻辑。研究了复合命题的性质种类及构成的各种推理形式与规则
      • 2.培根
        • 创建了归纳逻辑，提出“三表法”。《新工具》
      • 3.黑格尔
        • 批判了形式逻辑，研究了辩证思维，构造了辩证逻辑体系。
      • 4.康德
        • 揭示了思维的辩证矛盾。
      • 5.莱布尼兹
        • 现代逻辑的先驱。
  • 二、逻辑学的发展和现代逻辑的诞生
    • （一）基础逻辑
      • 1.传统逻辑
      • 2.经典现代逻辑
      • 3.非经典现代逻辑
    • （二）元逻辑
      • 1.逻辑语法学
      • 2.逻辑语义学
      • 3.逻辑语用学
      • 4.逻辑语言学
    • （三）数学发展方面
      • 算数、代数、函数论、证明论、概率逻辑论、集合论、数学基础论
    • （四）科学发展方面
      • 1.物理应用
        • 量子论逻辑、物理或因果模态理论
      • 2.生物应用
        • 伍杰方式的发展、控制论逻辑
      • 3.社会科学应用
        • 规范逻辑、价值逻辑、法律应用
  • 三、逻辑学在中国
    • （一）“焚书坑儒”和“罢黜百家，独尊儒术”两次学术镇压后销声匿迹，伦理思想成为主流。
    • （二）公元7世纪，玄奘西天取经，引入《因明正理门论》《因明入正理论》，但与传统思维差异大，未能发展。
    • （三）明末西学东渐，传教士带来西方逻辑学著作。
    • （四）近代以来，直接学习西方逻辑学。