本课程以内容丰富、要求严格、注重学术、强调训练为特色，被哲院学生称为“不水”的若干课程之一，同时吸引了数学、计算机、物理、软件学院等院系学生选修或旁听。常常是旁听的人数大于选修的人数。近两年学生评价结果平均分4.96.

学生评价摘录

熊飞：
这门课对我的帮助很大，尽管数理逻辑的研究对象抽象而艰深，但是通过老师生动地讲解，我清晰地理解了一阶逻辑的性质。特别是在学习线序与偏序、等价类与划分等预备知识的时候，课堂上的例子让我们很快掌握了逻辑定理的精髓。整门课程的目的明确、循序渐进，在学习细碎定理的同时又不会丧失对课程的宏观把控。值得一题的是，老师思路清桑，详略有度，而且在习题课上不辞辛苦地讲解课上的作业，让我获益良多。期末考试后，老师会即使发布考试答案，并且对我们在试卷中出现的问题予以分析，此实乃复旦其他课程所无。故给予好评。

单芃舒：
我认为数理逻辑课程是哲学系乃至课程中不可或缺的一部分。因为，本系同学也许只有在数理逻辑课程或其后承课程中才能品尝到哲学中这样一个风格迥然的门类；即便同学无意在此方向深入，严格的一阶语言训练和一些基本的证明路数也将让他们在遭遇现代哲学文献中的形式化表达时倍感轻松。而对其它专业的同学，特别是数学、计算机专业，此课程也填补了全校的空缺。

吴敏超：
意义：对哲学系的同学来说，有助于他们了解现代哲学，尤其是英美哲学和现代逻辑的思维方式，提供不同于传统逻辑的分析问题视角，激发他们对逻辑的兴趣。对有志于逻辑研究的同学来说，修读本课将为他们提供一个坚实的逻辑基础，为后续四论的研究做好准备。对其它专业，特别是数学与计算机科学的同学来说，本课有助于他们了解数学基础与计算机科学的起源，为他们提供更广阔的看待其专业问题的视角，帮助他们了解他们圈子里比较“时髦”的，并经常被用来吹牛的问题比如哥德尔定理。让他们读GEB这类书时不会越读越糊涂。
优点：本课授课思路严谨，课程内容结构完整，从现代逻辑的几个基本概念出发，循序渐进，以证明哥德尔定理为线索，在课程进行的过程中逐步揭开现代逻辑的全貌，是很好的逻辑学基础课程。
难点：形式化，数学化，对以文科生身份进入哲学的同学来说颇有难度。并且，本课需要投入大量时间完成习题，思考定理的直观，对学生来说并不轻松。
不足：讲义中留做习题的证明比较多，在没找到解题方法前是比较难解决的，可以适当讲一些留做习题的证明在例题中补完。