逻辑学课件(完整)
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
逻辑学课件(完整)
2021/2/20
1.1 逻辑是什么
逻辑是探求区分好论证与 坏论证方法和规则的科学。 逻辑使人严谨。
逻辑简史与逻辑类型
逻辑的语源学 逻各斯、Logic、名学、辩学等。
“逻辑”的多义性 客观规律；思维规律、规则；看问题的视角、
方法； 逻辑学等
逻辑学简史 先秦名辩 名学和辩学合称。主要指先秦诸子关
逻辑的研究对象
当 研究思维? 前 主 研究思维的逻辑形式? 流 研究语言？ 观 点 研究推理？
思维的逻辑形式
结论：逻辑学 是研究思维形 式结构及其规 律科学，中心 任务是研究推 理及其有效性 标准。或者最 简单的：逻辑 学是研究推理 科学。
逻辑形式：具有不同内容的思维（命题和推理）所共同具有的形式或结构
操作定义：用抽象字母代换命题或推理中的具体内容所得到的东西
2021/2/20
命题逻辑形式
S
P
一切反动派都是纸老虎 所有我班学生都是大学生
所有团员都是青年 所有商品都是劳动产品
以上四个命题具有不同的内容，但用抽象字母替换其具体内容后，所得 到的结构是：
所有S是P
类似地，以下命题也具有不同的内容
一切反动派都不是纸老虎 所有我班学生都不是大学生
于名和辩的逻辑思想和理论，泛指中国古代逻辑思想。整个先秦逻辑思 想就是一个以正名为重点，包括名、辞、说、辩在内古代逻辑学说。
2021/2/20
名家代表人物
《墨经》 之《小取》，是中国古典逻辑的一个
纲要，比较集中完整地讨
墨 子
论了逻辑基本内容。墨经》 是墨家创始人墨翟思想的 发展。后期墨家在逻辑理
论方面作出了重要贡献。
所有团员都不是青年 所有商品都不是劳动产品
但它们有共同逻辑形式
所有S不是P
与这些逻辑形式属于同类还有
2021/2/20
有的S是P
有的S不是P
如：有的人是团员
还有另外一类命题
p
有的人不是大学生 q
如果一个物体摩擦， 那么这个物体生热 如果你能办成这件事，那么我从４楼跳下去
按照操作定义，得出它们逻辑形式是 其中替换内容字母用了小写的p、q等
世纪以来数学基础问 基础，关于逻辑概率理论就是
题争论的最根本或最 归纳逻辑。它可给出假说的相
重20要21的/2/2问0 题
对于给定证据的确认度
严格的因果 陈述只是概 率陈述的极 限情况，科 学中尤其是 量子力学中 的因果概念， 并不一定要 求概率接近
于 1。一切科学陈述均是概 率陈述，科学的逻辑是取值 为区间0～1上的全部实数概 率逻辑
2逻辑语义学
b时序逻辑（时态、变化、过程逻辑）
3逻辑语用学
D.科学发展方面 c部分与整体逻辑
a逻辑语言论和 自然语言逻辑
b修辞学分析 c语境蕴涵 d非形式谬误理论 e逻辑的非古典应用
1ab量物物子理理论应或逻用因辑果模态理论def辑（构本唯造体名性学论逻与辑唯（实逻论辑之还争原意主义义下等））本体论逻
2生物应用
3认识论应用
a伍杰方式发展
a问（答）逻辑
b控制论逻辑
b认识论逻辑（相信、相干）
4逻辑语言学
3社会科学应用
c假设逻辑（反事实的假设推理）
a结构理论（形态学） a规范逻辑
d信息和信息过程的逻辑
b意义理论 C有效性理论
2021/2/20
b价值逻辑 c法律应用
e归纳逻辑 4归纳逻辑 a证实和确证的逻辑 b概率逻辑
逻辑的类型
Susan Haack Philosophy of Logics 列出的逻辑范围 Traditional Logic 三段论 Classical Logic 二值命题、谓词演算（狭义数理逻辑） Extended Logics 模态、时态、规范、认知、择优、问句逻辑 Deviate Logics 多值、直觉、量子、自由逻辑 Inductive Logics 归纳逻辑
2021/2/20
N.Rescher Topics in Philosophical Logic 逻辑分支一览表
A.基础逻辑
C.数学发展方面 E.哲学发展方面
1传统逻辑
1算术
1伦理应用
2经典现代逻辑 3非经典现代逻辑
B.元逻辑
1逻பைடு நூலகம்语法学
2代数 3函数论 4证明论 5递归论 6集合论 7模型论
a行为逻辑 b义务逻辑 c命令（祈使）逻辑 d优先逻辑和选择逻辑（效益、价值、对策 和决策的逻辑问题） 2形而上学的逻辑应用 a存在性逻辑
他们对“故”、“理”、
“类”古代逻辑的三个基
本范畴下了明确定义，并
对“名”、“辞”、“说”
作了深入研究。论述了
“辟”（比喻）、“侔”
印度因明 从古代论辩术发展而来。
先是五支论式，后发展为三支论式（宗、 因、喻）。在分析正确论证和推理同时，
（附比）、“援”（类 比）、“推”（间接的归 纳与演绎）四种形式的推 理(见后期墨家逻辑)。这
如果ｐ那么ｑ
只有耕耘，才有收获 只有ｐ才ｑ 只有发烧，才会患肺炎
要么武松死，要么老虎死 要么ｐ要么ｑ 生存，还是死亡？
斯多葛学派于三段论之外，研究 了命题逻辑。
《新工具》 针对亚氏 的演绎逻 辑而提出 归纳和诉 诸自然和 经验。三 表法。
揭示了思维的辩 证矛盾。
批判了形式 逻辑，研究 了辩证思维， 构造辩证逻 辑体系。
现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。
十分注重论证的“过”和反驳的“过”。 些思想，在中国古代逻辑
因明于唐代传入我国并得到发展。
史上占有重要地位。
2021/2/20
西 方 逻 辑
2021/2/20
提出理 想语言 和推理 是计算 的思想 而成为 现代逻 辑的先 驱。
西方逻辑 学创始人。 《工具论》 6 篇奠定逻 辑基础。主 要贡献是对 三段论的系 统研究。
证明了狭谓词演算的 有效公式皆可证；如 果一个初等数论的形 式系统一致，则它是 不完全的；这种系统 一致性在本系统中不 能证明，更不能用有 穷方法证明。他的这 些工作正面或反面地，
把概率作为 一个逻辑概 念来处理， 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不
或是部分地解答了20 具有演绎必然性的归纳推理的
2021/2/20
1.1 逻辑是什么
逻辑是探求区分好论证与 坏论证方法和规则的科学。 逻辑使人严谨。
逻辑简史与逻辑类型
逻辑的语源学 逻各斯、Logic、名学、辩学等。
“逻辑”的多义性 客观规律；思维规律、规则；看问题的视角、
方法； 逻辑学等
逻辑学简史 先秦名辩 名学和辩学合称。主要指先秦诸子关
逻辑的研究对象
当 研究思维? 前 主 研究思维的逻辑形式? 流 研究语言？ 观 点 研究推理？
思维的逻辑形式
结论：逻辑学 是研究思维形 式结构及其规 律科学，中心 任务是研究推 理及其有效性 标准。或者最 简单的：逻辑 学是研究推理 科学。
逻辑形式：具有不同内容的思维（命题和推理）所共同具有的形式或结构
操作定义：用抽象字母代换命题或推理中的具体内容所得到的东西
2021/2/20
命题逻辑形式
S
P
一切反动派都是纸老虎 所有我班学生都是大学生
所有团员都是青年 所有商品都是劳动产品
以上四个命题具有不同的内容，但用抽象字母替换其具体内容后，所得 到的结构是：
所有S是P
类似地，以下命题也具有不同的内容
一切反动派都不是纸老虎 所有我班学生都不是大学生
于名和辩的逻辑思想和理论，泛指中国古代逻辑思想。整个先秦逻辑思 想就是一个以正名为重点，包括名、辞、说、辩在内古代逻辑学说。
2021/2/20
名家代表人物
《墨经》 之《小取》，是中国古典逻辑的一个
纲要，比较集中完整地讨
墨 子
论了逻辑基本内容。墨经》 是墨家创始人墨翟思想的 发展。后期墨家在逻辑理
论方面作出了重要贡献。
所有团员都不是青年 所有商品都不是劳动产品
但它们有共同逻辑形式
所有S不是P
与这些逻辑形式属于同类还有
2021/2/20
有的S是P
有的S不是P
如：有的人是团员
还有另外一类命题
p
有的人不是大学生 q
如果一个物体摩擦， 那么这个物体生热 如果你能办成这件事，那么我从４楼跳下去
按照操作定义，得出它们逻辑形式是 其中替换内容字母用了小写的p、q等
世纪以来数学基础问 基础，关于逻辑概率理论就是
题争论的最根本或最 归纳逻辑。它可给出假说的相
重20要21的/2/2问0 题
对于给定证据的确认度
严格的因果 陈述只是概 率陈述的极 限情况，科 学中尤其是 量子力学中 的因果概念， 并不一定要 求概率接近
于 1。一切科学陈述均是概 率陈述，科学的逻辑是取值 为区间0～1上的全部实数概 率逻辑
2逻辑语义学
b时序逻辑（时态、变化、过程逻辑）
3逻辑语用学
D.科学发展方面 c部分与整体逻辑
a逻辑语言论和 自然语言逻辑
b修辞学分析 c语境蕴涵 d非形式谬误理论 e逻辑的非古典应用
1ab量物物子理理论应或逻用因辑果模态理论def辑（构本唯造体名性学论逻与辑唯（实逻论辑之还争原意主义义下等））本体论逻
2生物应用
3认识论应用
a伍杰方式发展
a问（答）逻辑
b控制论逻辑
b认识论逻辑（相信、相干）
4逻辑语言学
3社会科学应用
c假设逻辑（反事实的假设推理）
a结构理论（形态学） a规范逻辑
d信息和信息过程的逻辑
b意义理论 C有效性理论
2021/2/20
b价值逻辑 c法律应用
e归纳逻辑 4归纳逻辑 a证实和确证的逻辑 b概率逻辑
逻辑的类型
Susan Haack Philosophy of Logics 列出的逻辑范围 Traditional Logic 三段论 Classical Logic 二值命题、谓词演算（狭义数理逻辑） Extended Logics 模态、时态、规范、认知、择优、问句逻辑 Deviate Logics 多值、直觉、量子、自由逻辑 Inductive Logics 归纳逻辑
2021/2/20
N.Rescher Topics in Philosophical Logic 逻辑分支一览表
A.基础逻辑
C.数学发展方面 E.哲学发展方面
1传统逻辑
1算术
1伦理应用
2经典现代逻辑 3非经典现代逻辑
B.元逻辑
1逻பைடு நூலகம்语法学
2代数 3函数论 4证明论 5递归论 6集合论 7模型论
a行为逻辑 b义务逻辑 c命令（祈使）逻辑 d优先逻辑和选择逻辑（效益、价值、对策 和决策的逻辑问题） 2形而上学的逻辑应用 a存在性逻辑
他们对“故”、“理”、
“类”古代逻辑的三个基
本范畴下了明确定义，并
对“名”、“辞”、“说”
作了深入研究。论述了
“辟”（比喻）、“侔”
印度因明 从古代论辩术发展而来。
先是五支论式，后发展为三支论式（宗、 因、喻）。在分析正确论证和推理同时，
（附比）、“援”（类 比）、“推”（间接的归 纳与演绎）四种形式的推 理(见后期墨家逻辑)。这
如果ｐ那么ｑ
只有耕耘，才有收获 只有ｐ才ｑ 只有发烧，才会患肺炎
要么武松死，要么老虎死 要么ｐ要么ｑ 生存，还是死亡？
斯多葛学派于三段论之外，研究 了命题逻辑。
《新工具》 针对亚氏 的演绎逻 辑而提出 归纳和诉 诸自然和 经验。三 表法。
揭示了思维的辩 证矛盾。
批判了形式 逻辑，研究 了辩证思维， 构造辩证逻 辑体系。
现代归纳逻辑的发展有两个方向 ： “经典”数理统计方向和 由J.M.凯因斯和F.P.拉姆齐开创，流行于50～80年代初期的 贝叶斯运动。20世纪中叶以来，美国的P.J.科恩用模态逻辑 作为处理归纳推理的工具。 科恩指出，支持度可列为不同 的等级，不同等级的支持度， 就是证据给予假设不同等级 的必然性， 一个被证明了的理论就是由较低级的必然性达 到较高级的必然性。
十分注重论证的“过”和反驳的“过”。 些思想，在中国古代逻辑
因明于唐代传入我国并得到发展。
史上占有重要地位。
2021/2/20
西 方 逻 辑
2021/2/20
提出理 想语言 和推理 是计算 的思想 而成为 现代逻 辑的先 驱。
西方逻辑 学创始人。 《工具论》 6 篇奠定逻 辑基础。主 要贡献是对 三段论的系 统研究。
证明了狭谓词演算的 有效公式皆可证；如 果一个初等数论的形 式系统一致，则它是 不完全的；这种系统 一致性在本系统中不 能证明，更不能用有 穷方法证明。他的这 些工作正面或反面地，
把概率作为 一个逻辑概 念来处理， 区别于以相 对频率为根 据的统计概 率。逻辑概 率是一切不
或是部分地解答了20 具有演绎必然性的归纳推理的