![Page 4: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/4.jpg)
. . . . . .
上课之前
助教
![Page 5: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/5.jpg)
. . . . . .
上课之前
习题课安排
![Page 6: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/6.jpg)
. . . . . .
上课之前
考核方式
![Page 7: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/7.jpg)
. . . . . .
上课之前
我们会录制视频
![Page 9: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/9.jpg)
. . . . . .
什么是逻辑?
![Page 10: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/10.jpg)
. . . . . .
推理?
![Page 11: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/11.jpg)
. . . . . .
所有推理都是逻辑的吗?
![Page 12: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/12.jpg)
. . . . . .
例 I:亚里士多德三段论
人 是 自私的
孔子 是 人
孔子 是 自私的
![Page 13: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/13.jpg)
. . . . . .
例 I:亚里士多德三段论
人 是 自私的
孔子 是 人
孔子 是 自私的
![Page 14: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/14.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 15: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/15.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 16: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/16.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 17: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/17.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 18: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/18.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 19: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/19.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 20: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/20.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 21: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/21.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 22: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/22.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 23: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/23.jpg)
. . . . . .
例 II:蓝屏
电脑经常蓝屏
重装系统后依然会蓝屏
拔下显卡、网卡、光驱、第二硬盘后依然会蓝屏
拔下一号内存条,只用二号内存条,依然会蓝屏
拔下二号内存条,只用一号内存条,不再蓝屏
由此推出:l 二号内存条是元凶!
![Page 24: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/24.jpg)
. . . . . .
以上两则推理都是逻辑吗?有什么区别?
![Page 25: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/25.jpg)
. . . . . .
逻辑推理必须是保真的(truth-preserving)
![Page 26: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/26.jpg)
. . . . . .
本课程的哲学前提
我们不接受彻底的怀疑论
![Page 27: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/27.jpg)
. . . . . .
本课程的哲学前提
我们不接受彻底的怀疑论
![Page 28: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/28.jpg)
. . . . . .
本课程的哲学前提
高尔吉亚(Gorgias):
没有东西存在;
就算有东西存在,也无法认识它;
就算能认识它,也无法与他人谈论它;
就算能谈论它,也无法互相理解。
这个我们不能接受
![Page 29: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/29.jpg)
. . . . . .
本课程的哲学前提
高尔吉亚(Gorgias):
没有东西存在;
就算有东西存在,也无法认识它;
就算能认识它,也无法与他人谈论它;
就算能谈论它,也无法互相理解。
这个我们不能接受
![Page 30: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/30.jpg)
. . . . . .
本课程的哲学前提
苏格拉底(Socrates):
辩论是为了寻找真
就算被驳倒了也可能有所收获——真
![Page 31: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/31.jpg)
. . . . . .
本课程的哲学前提
苏格拉底(Socrates):
辩论是为了寻找真
就算被驳倒了也可能有所收获——真
![Page 32: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/32.jpg)
. . . . . .
本课程的哲学前提
苏格拉底(Socrates):
辩论是为了寻找真
就算被驳倒了也可能有所收获——真
![Page 33: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/33.jpg)
. . . . . .
本课程的哲学前提
我们能够接受的程度:
黑客帝国
缸中脑
物理主义(抽象实体不存在)
……
![Page 34: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/34.jpg)
. . . . . .
本课程的哲学前提
我们能够接受的程度:
黑客帝国
缸中脑
物理主义(抽象实体不存在)
……
![Page 35: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/35.jpg)
. . . . . .
本课程的哲学前提
我们能够接受的程度:
黑客帝国
缸中脑
物理主义(抽象实体不存在)
……
![Page 36: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/36.jpg)
. . . . . .
本课程的哲学前提
我们预设:
在一些情况下,我们可以谈论真(Truth)
![Page 37: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/37.jpg)
. . . . . .
逻辑学不是论辩术、或修辞学
逻辑学是关于真的
![Page 38: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/38.jpg)
. . . . . .
逻辑学不是论辩术、或修辞学
逻辑学是关于真的
![Page 39: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/39.jpg)
. . . . . .
下述预设大概没什么问题:
如果我们可以有意义地谈论命题 P 和 Q 是否为真,那么我们也可以有意义地谈论“并非P”、“P并且Q”等等是否为真。
如果我们可以谈论,某个人,例如“苏格拉底会死”
是否为真,那么我们也可以有意义地谈论“所有人都
会死”或“存在一个不会死的人”是否为真。
![Page 40: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/40.jpg)
. . . . . .
下述预设大概没什么问题:
如果我们可以有意义地谈论命题 P 和 Q 是否为真,那么我们也可以有意义地谈论“并非P”、“P并且Q”等等是否为真。
如果我们可以谈论,某个人,例如“苏格拉底会死”
是否为真,那么我们也可以有意义地谈论“所有人都
会死”或“存在一个不会死的人”是否为真。
![Page 41: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/41.jpg)
. . . . . .
到底可以谈论哪些真假?
天鹅大概都是白的
卷福是秃子
我们常常会难以严格地谈论一个自然语言命题的真假
![Page 42: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/42.jpg)
. . . . . .
到底可以谈论哪些真假?
天鹅大概都是白的
卷福是秃子
我们常常会难以严格地谈论一个自然语言命题的真假
![Page 43: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/43.jpg)
. . . . . .
到底可以谈论哪些真假?
天鹅大概都是白的
卷福是秃子
我们常常会难以严格地谈论一个自然语言命题的真假
![Page 44: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/44.jpg)
. . . . . .
到底可以谈论哪些真假?
天鹅大概都是白的
卷福是秃子
我们常常会难以严格地谈论一个自然语言命题的真假
![Page 45: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/45.jpg)
. . . . . .
谈论一个数学命题的真假似乎没什么问题
例如:
5 + 7 = 12
存在任意大的素数
20 + 2−1 + 2−2 + · · ·+ 2−n + · · · = 3
存在一个不可数的实数集合,其元素的个数比由所有
实数组成的集合的严格地少。
![Page 46: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/46.jpg)
. . . . . .
谈论一个数学命题的真假似乎没什么问题
例如:
5 + 7 = 12
存在任意大的素数
20 + 2−1 + 2−2 + · · ·+ 2−n + · · · = 3
存在一个不可数的实数集合,其元素的个数比由所有
实数组成的集合的严格地少。
![Page 47: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/47.jpg)
. . . . . .
谈论一个数学命题的真假似乎没什么问题
例如:
5 + 7 = 12
存在任意大的素数
20 + 2−1 + 2−2 + · · ·+ 2−n + · · · = 3
存在一个不可数的实数集合,其元素的个数比由所有
实数组成的集合的严格地少。
![Page 48: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/48.jpg)
. . . . . .
谈论一个数学命题的真假似乎没什么问题
例如:
5 + 7 = 12
存在任意大的素数
20 + 2−1 + 2−2 + · · ·+ 2−n + · · · = 3
存在一个不可数的实数集合,其元素的个数比由所有
实数组成的集合的严格地少。
![Page 49: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/49.jpg)
. . . . . .
而以现代的标准,在弗雷格(Frege)1879 年《概念文字》(Begriffsschrift)出版以前(尽管数学已非常发达),许多数学命题尚没有严格的表述,许多数学证明也都不是
严格有效的。
本课程中
逻辑 =数理逻辑(mathematical logic) =?
![Page 50: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/50.jpg)
. . . . . .
而以现代的标准,在弗雷格(Frege)1879 年《概念文字》(Begriffsschrift)出版以前(尽管数学已非常发达),许多数学命题尚没有严格的表述,许多数学证明也都不是
严格有效的。
本课程中
逻辑 =数理逻辑(mathematical logic) =?
![Page 51: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/51.jpg)
. . . . . .
而以现代的标准,在弗雷格(Frege)1879 年《概念文字》(Begriffsschrift)出版以前(尽管数学已非常发达),许多数学命题尚没有严格的表述,许多数学证明也都不是
严格有效的。
本课程中
逻辑 =数理逻辑(mathematical logic) =?
![Page 52: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/52.jpg)
. . . . . .
这门课到底教些什么,学些什么?
![Page 53: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/53.jpg)
. . . . . .
我们认为,所有人都先天具备逻辑思考的能力
那我们又能从这门课学到什么?
![Page 54: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/54.jpg)
. . . . . .
逻辑学是否提供新知识?
培根(Francis Bacon):亚里士多德《工具论》中的那些纯演绎的方法(三段论)不足以发现科学真理,因此需要
《新工具》(Novum Organum Scientiarum)康德(Immanuel Kant):分析命题(主项包含谓项)不提供新知识,后天综合命题讲述经验世界的知识,而哲学、
数学知识应该是先天综合命题。
![Page 55: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/55.jpg)
. . . . . .
逻辑学是否提供新知识?
培根(Francis Bacon):亚里士多德《工具论》中的那些纯演绎的方法(三段论)不足以发现科学真理,因此需要
《新工具》(Novum Organum Scientiarum)康德(Immanuel Kant):分析命题(主项包含谓项)不提供新知识,后天综合命题讲述经验世界的知识,而哲学、
数学知识应该是先天综合命题。
![Page 56: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/56.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 57: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/57.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 58: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/58.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 59: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/59.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 60: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/60.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 61: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/61.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 62: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/62.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 63: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/63.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 64: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/64.jpg)
. . . . . .
逻辑学是否提供新知识?
我们在本学期中需要厘清的问题
逻辑推理不能提供新知识?
什么是逻辑推理?——证明
分析命题不包含知识?
什么是分析命题?——逻辑有效式?数学真理?
什么是逻辑学(数理逻辑)?
![Page 65: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/65.jpg)
. . . . . .
这门课的内容
一阶(谓词)逻辑(first-order predicate logic)
一阶逻辑的语义(semantic)
一阶逻辑的语法(syntax)
语法相对于语义的可靠性(soundness)与完全性
(completeness)
![Page 66: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/66.jpg)
. . . . . .
这门课的内容
逻辑的语义:对真的基于结构刻画
例:
我们说,α→ β 为真,当且仅当 α 为假或者 β 为真。
![Page 67: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/67.jpg)
. . . . . .
这门课的内容
逻辑的语义:对真的基于结构刻画
例:
我们说,α→ β 为真,当且仅当 α 为假或者 β 为真。
![Page 68: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/68.jpg)
. . . . . .
这门课的内容
逻辑的语法:对真的基于规则的刻画
* 我们除了希望这样一套规则正确地刻画了真,还希望它能够被机械地运用(编成一
个程序让计算机自动运行)。
例:
分离规则:一旦我们看到 α→ β 和 α,我们就可以写下 β。
![Page 69: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/69.jpg)
. . . . . .
这门课的内容
逻辑的语法:对真的基于规则的刻画
* 我们除了希望这样一套规则正确地刻画了真,还希望它能够被机械地运用(编成一
个程序让计算机自动运行)。
例:
分离规则:一旦我们看到 α→ β 和 α,我们就可以写下 β。
![Page 70: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/70.jpg)
. . . . . .
这门课的内容
逻辑的语法:对真的基于规则的刻画
* 我们除了希望这样一套规则正确地刻画了真,还希望它能够被机械地运用(编成一
个程序让计算机自动运行)。
例:
分离规则:一旦我们看到 α→ β 和 α,我们就可以写下 β。
![Page 71: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/71.jpg)
. . . . . .
这门课的内容
我们不能证明一阶逻辑的语义或语法正确地刻画了我
们对真的直观(为什么?)。但我们可以证明:
可靠性与完全性
一阶逻辑的语义和语法刻画的是同一个直观。即,从语义
角度来看被认为是真的句子,从语法角度来看也被认为是
真的。
我们从两个角度来刻画真,得到了同样的东西。
![Page 72: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/72.jpg)
. . . . . .
这门课的内容
我们不能证明一阶逻辑的语义或语法正确地刻画了我
们对真的直观(为什么?)。但我们可以证明:
可靠性与完全性
一阶逻辑的语义和语法刻画的是同一个直观。即,从语义
角度来看被认为是真的句子,从语法角度来看也被认为是
真的。
我们从两个角度来刻画真,得到了同样的东西。
![Page 73: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/73.jpg)
. . . . . .
这门课的内容
我们不能证明一阶逻辑的语义或语法正确地刻画了我
们对真的直观(为什么?)。但我们可以证明:
可靠性与完全性
一阶逻辑的语义和语法刻画的是同一个直观。即,从语义
角度来看被认为是真的句子,从语法角度来看也被认为是
真的。
我们从两个角度来刻画真,得到了同样的东西。
![Page 74: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/74.jpg)
. . . . . .
预备知识——集合论
![Page 75: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/75.jpg)
. . . . . .
什么是集合论?
什么是集合论?
集合论是关于集合的理论(废话)
什么是集合?
集合论告诉我们哪些是集合(循环了?)
我们必须预设我们有对集合的直观,我们希望集合论关于
集合的描述符合我们的直观
![Page 76: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/76.jpg)
. . . . . .
什么是集合论?
什么是集合论?
集合论是关于集合的理论(废话)
什么是集合?
集合论告诉我们哪些是集合(循环了?)
我们必须预设我们有对集合的直观,我们希望集合论关于
集合的描述符合我们的直观
![Page 77: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/77.jpg)
. . . . . .
什么是集合论?
什么是集合论?
集合论是关于集合的理论(废话)
什么是集合?
集合论告诉我们哪些是集合(循环了?)
我们必须预设我们有对集合的直观,我们希望集合论关于
集合的描述符合我们的直观
![Page 78: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/78.jpg)
. . . . . .
什么是集合论?
什么是集合论?
集合论是关于集合的理论(废话)
什么是集合?
集合论告诉我们哪些是集合(循环了?)
我们必须预设我们有对集合的直观,我们希望集合论关于
集合的描述符合我们的直观
![Page 79: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/79.jpg)
. . . . . .
什么是集合论?
什么是集合论?
集合论是关于集合的理论(废话)
什么是集合?
集合论告诉我们哪些是集合(循环了?)
我们必须预设我们有对集合的直观,我们希望集合论关于
集合的描述符合我们的直观
![Page 80: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/80.jpg)
. . . . . .
什么是集合论?
集合论如何描述我们对集合的直观?
公理化的方法。公理集合论是一种一阶逻辑理论。
例:
∀x∀y(x = y↔ ∀w(w ∈ x↔ w ∈ y)) (外延公理)
∀x∀y∃z∀w(w ∈ z↔ (w = x ∨ x = z))(对集公理)
集合论对逻辑的依赖
例: (A ∩ B) ∪ C = (A ∪ C) ∩ (A ∪ B)
![Page 81: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/81.jpg)
. . . . . .
什么是集合论?
作为数学基础的集合论
所有数学概念可以在集合论中得到定义
例:自然数 0, 1, 2, . . .
在上述定义下,所有数学定理可以被解释为集合论的
定理
![Page 82: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/82.jpg)
. . . . . .
什么是集合论?
逻辑学作为数学的一个分支也可以被嵌入到集合论中
例:
语法方面:符号是集合、公式是符号的序列,证明是
公式的序列
语义方面:结构是对语言中 n 个符号解释的 n 元组,对符号的解释是一个函数
![Page 83: 数理逻辑 I Mathematical Logic Ilogic.fudan.edu.cn/doc/Course/2014/MathLogic/Lecture01.pdf · 数理逻辑I Mathematical Logic I 杨睿之 yangruizhi@fudan.edu.cn 复旦大学哲学学院](https://reader030.vdocuments.site/reader030/viewer/2022041212/5dd111e5d6be591ccb6412dc/html5/thumbnails/83.jpg)
. . . . . .
集合论与一阶逻辑是什么关系?
集合论可以被看作是一种一阶逻辑理论
一阶逻辑的语法、语义概念都可以在集合论中定义,
关于一阶逻辑的定理可以被看作是集合论的定理