主讲人[Lecturers]：熊明[HSIUNG Ming]&高贝贝[GAO Beibei] ;助教[Teaching Assistant]：廖文静[LIAO Wenjing]
逻辑与批判性思维是一门带有思维工具性质的基础课程。课程全面阐述现代逻辑的基本理论，系统介绍判断逻辑推理有效与否的基本方法，目的是使学生掌握符号逻辑的基本原理，并领会逻辑学作为一门学科的要义；同时，课程通过诸多的逻辑悖论和谜题，并结合相关的逻辑理论，引导学生深入思考，了解逻辑学发展的动态，培养学生运用逻辑方法来分析问题和解决问题的能力，提升学生建构可靠论证的批判性思维水平。课程理论方面的内容主要包括命题逻辑、谓词逻辑和图灵机初步，逻辑悖论和谜题方面主要包括连锁悖论、说谎者悖论、芝诺悖论与超级任务、沃森选择任务、骑士与无赖谜题、斯穆里安的阴险谜题、三个逻辑学家谜题、泥孩谜题等等。课程围绕推理有效性的判定问题，把批判性思维的原理与方法融合到上述两方面的内容，趣味与抽象有机结合，通过生动的案例帮助学生理解现代逻辑的思想，领会批判性思维的精神，尤其是使学生最终能了解逻辑学纯粹理论方面的发展是如何成就了图灵机这一现代计算机理论模型的构建。
[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.pdf
P1Proposition and Formulas 20210916.pdf
P2Truth of Formulas 20210923.pdf
P3-Logic Circuits-2021.pdf
P4-StrangeMultipleChoiceQuestionsNew.pdf
Test1 for Prop Logic.pdf
Ans4Test1 for Prop Logic.pdf
Test2 for Prop Logic.pdf
Ans4Test2 for Prop Logic.pdf
P5-First Order Language.pdf
Q2_Semidecidability20211021.pdf
Test3 for Predicate Logic.pdf
Ans4Test3 for Predicate Logic.pdf
Q3_ComputabilityNew.pdf
Q4_HaltingProblem&DecisionProblem-2021.pdf
Q5_IncompletenessTheorem-2021(1)(4).pdf
课程总结(1)(5).pdf
《逻辑与批判性思维》Test1成绩表.xlsx
《逻辑与批判性思维》课堂作业缺席名单.xlsx