❡ 逻辑与批判性思维 [ LOGIC & CRITICAL THINKING]

主讲人[Lecturers]：熊明[HSIUNG Ming]&高贝贝[GAO Beibei] ;助教[Teaching Assistant]：邬舒雯[WU Shuwen]

逻辑与批判性思维是一门带有思维工具性质的基础课程。课程全面阐述现代逻辑的基本理论，系统介绍判断逻辑推理有效与否的基本方法，目的是使学生掌握符号逻辑的基本原理，并领会逻辑学作为一门学科的要义；同时，课程通过诸多的逻辑悖论和谜题，并结合相关的逻辑理论，引导学生深入思考，了解逻辑学发展的动态，培养学生运用逻辑方法来分析问题和解决问题的能力，提升学生建构可靠论证的批判性思维水平。课程理论方面的内容主要包括命题逻辑、谓词逻辑和图灵机初步，逻辑悖论和谜题方面主要包括连锁悖论、说谎者悖论、芝诺悖论与超级任务、沃森选择任务、骑士与无赖谜题、斯穆里安的阴险谜题、三个逻辑学家谜题、泥孩谜题等等。课程围绕推理有效性的判定问题，把批判性思维的原理与方法融合到上述两方面的内容，趣味与抽象有机结合，通过生动的案例帮助学生理解现代逻辑的思想，领会批判性思维的精神，尤其是使学生最终能了解逻辑学纯粹理论方面的发展是如何成就了图灵机这一现代计算机理论模型的构建。

[Logic and Critical Thinking is an introductory course intended to provide students with logical toolkit for critical thinking. It comprehensively specifies basic theories and methods of modern logic, including propositional logic, predicate logic and preliminary Turing machine, a series of logical paradoxes and puzzles (Sorties Paradox, The Liar Paradox, Zeno Paradox and Supertasks, Watson Selection Task, Knights and Knaves, Smullyan’s Diabolical Puzzle, Three Logicians, Muddy Children, and etc.), and the problem of how to decide the validity of inferences. The course also makes it clear for the students how purely theoretical work of logic gives birth to the Turing machine as the theoretical model of modern computer. Furthermore, the course tries to integrate the keys of modern logic with the principles and methods of critical thinking. Many vivid and interesting cases are crafted for helping the students understand and have fun with modern logic.]

文件下载：00_Introduction-for printer.pdf

P1_Propositional Formulas.pdf

P2_Truth of Formulas.pdf

P3_TableauTreesNew.pdf

P4_KnightandKnaveProblems-chinese.pdf

P4.5_Logic Circuits-updated.pdf

Test1 for Prop Logic.pdf

AnsTest1for PropLogic.pdf

P5_StrangeMultipleChoiceQuestionsNew.pdf

Test2 for Prop Logic.pdf

AnsTest2 for Prop Logic.pdf

Q1_FirstOrderLanguageNew.pdf