学习记 | 数理逻辑初印象

背景音乐：夏日书签 - 壹勺籽糖

实际上，本文不会有任何关于数理逻辑的内容。

提问：以上这句话是真或是假，是否构成悖论？（突发奇想）

准确地来说，上了三节严格意义上的逻辑学课程了。谈一谈感受吧。

周一早上上了一节荣老师的《逻辑与语言》，英文文献开始是真的读不大懂，荣老师带着读感觉好理解一些，以我目前的学术功底来说，语义这一方面的，这节课第一个收获点是取消日常语言中的事态，而用更精确的词来描述，取消诸如“昨天”“将来”等词带来的歧义，这我还是比较喜欢的。其次收获主要在对于会话蕴含上，会话蕴涵可取消可变化我认为这是理解日常语言中会出现理解障碍的很大一个值得思考的点。

第二三节都是梁老师的课，周二晚上是梁老师关于Abstract Algebraic Logic的读书会，实际上我听不大懂，但是梁老师一直证明，什么偏序关系、偏序集合、二元关系、笛卡尔积、闭包算子等等，只记住名字了，上课突击了一下这些概念依旧不理解，homomorphism这个词记了好久，首先是因为看不大懂什么意思，其次感觉定义跟高数里某一章有些类似。今天下午上了一阶逻辑课，第二章集合论感觉是在证明一些以前直接用的定理，显然这一章有：公理、定理、定义、推论，脑子里回顾回顾这些什么罗素悖论、集合、空集等等。总之还是蛮有趣但我是有些不会的，今天上晚课还微信跟王晨同学讨论了一下T schema，我们俩还讨论出来一个结果，我俩目前自认为是对的。

啊好多知识！赶紧睡个大觉。