科学与逻辑方法论.pptVIP

科学与逻辑方法论*第1页，共31页，星期日，2025年，2月5日知识与才能(knowledgeandability)清华、北大的最大优势在哪里？才、学、识博士生教育是否继续是素质教育？*第2页，共31页，星期日，2025年，2月5日关于本课程的说明《科学与逻辑方法论》课程主要讲授现代逻辑（亦称数理逻辑或符号逻辑）的基础理论和方法。什么是逻辑传统逻辑与现代逻辑现代数理逻辑的的两个发展来源或动力①对日常思维的命题形式和推理形式的严格化精确化的研究②对数学基础的研究*第3页，共31页，星期日，2025年，2月5日逻辑学是联合国教科文组织规定的五大基础课之一。现代逻辑的理论与方法，在哲学、语言学、经济学、法学、计算机科学、人工智能和决策学等诸多领域的现代发展中，得到了广泛的实质性的应用。熟悉和掌握现代逻辑基础，已成为当代人文科学工作者应当具备的一种知识结构和素养。哲学分析哲学形式哲学语言学乔姆斯基的生成转换语法蒙太格语法经济学以数理逻辑为工具的诺贝尔经济学奖得主计算机图灵机递归函数论人工智能非单调性*第4页，共31页，星期日，2025年，2月5日本课程的目标是：第一，介绍现代逻辑的基础理论和主要成果，在人文科学工作者中倡导一种形式分析、精确分析和定量分析的方法；第二，对现代逻辑诸多具有挑战性意义的成果进行哲学分析与概括，为不同的人文专业提供新的理论视野与科学营养。塔斯基的真的理论哥德尔不完全性定理非欧几何第三，进行逻辑思维能力的强化训练。*第5页，共31页，星期日，2025年，2月5日数学是与自然科学、人文科学并列的独立学科！数学方法不仅属于自然科学，而且属于人文科学！人文科学工作者见到数学符号就头疼的时代应当结束！*第6页，共31页，星期日，2025年，2月5日本课程拟分如下16讲：第1讲：绪论*第7页，共31页，星期日，2025年，2月5日 第2讲：概念的逻辑机制与科学运用逻辑上训练有素的人，不在于知道聪明与愚笨的界限，而在于能把握愚与笨的区别。愚昧的人可以有很高的智商！如果你对这个命题感到吃惊，这说明你没有准确把握这两个概念！逻辑上训练有素的人，不在于知道民主和科学是社会进步的两面旗帜，而且知道二者之间存在的本质性对立。如果你对这个命题感到吃惊，这同样说明你没有准确把握这两个概念！“平反是对处理错误的案件进行纠正”。你能否立即发现这个断定不准确？*第8页，共31页，星期日，2025年，2月5日第3讲：真值函数；自然语言的符号翻译（一）第4讲：命题推理第5讲：原子命题的内部结构；自然语言的符号翻译（二）第6讲：量化推理什么是推理？什么是有效推理？什么是无效推理？如果判定推理的有效与无效？两种不同的推理：句子的演算和概念的演算（命题演算和谓词演算）*第9页，共31页，星期日，2025年，2月5日第7讲：形式化方法和形式系统第8讲：元逻辑知识理论公理化的理论----公理系统形式化的公理系统----形式系统对象理论与元理论*第10页，共31页，星期日，2025年，2月5日第9讲：悖论说谎者悖论罗素悖论理发师悖论*第11页，共31页，星期日，2025年，2月5日第10讲同一律、不矛盾律、排中律和充足理由律“宁要社会主义的草，不要资本主义的苗”是什么意思？--------偷换认题；“稻草人错误”*第12页，共31页，星期日，2025年，2月5日第11讲：实无穷和潜无穷第12讲：塔斯基关于真的理论第13讲：哥德尔不完全性定理第14讲：可判定性问题：丘奇命题与丘奇定理第15讲：模态结构；可能世界语义学第16讲：弗协调逻辑与辩证逻辑*第13页，共31页，星期日，2025年，2月5日第17讲：批判性思维（CriticalThinking）[例1]一个密码破泽员截获了一份完全由阿拉伯数字组成的敌方传递军事情报的密码，并且确悉密码中每个阿拉伯数字表示且只表示一个英文字母。以下哪项是最无助于破释这份密码的？(Ａ)知道英语中元音字母出现的频率。(Ｂ)知道英语中两个元音字母结合在一起出现的频率。(Ｃ)知道英语中绝大多数军事专用词汇。(Ｄ)知道密码中奇数数字相对于偶数数字的出现频率接近于英语中Ｒ相对Ｅ