邏輯學導論課程是西北大學建設的慕課、國家精品線上開放課程、國家級一流本科課程,於2017年11月06日在中國大學MOOC首次開課,於2019春夏在智慧樹網首次開課,授課教師為李靜、孟蕾、雷曉康、郭斌、封超。據2022年4月智慧樹網顯示,該課程已開課7學期,累計選課2.75萬人,累計學校123所,累計互動18.86萬次。據2022年4月中國大學MOOC官網顯示,該課程已經開課10次。
邏輯學導論課程共十章,包括直言命題、直言三段論、複合命題、命題邏輯、謂詞邏輯、模態命題、歸納邏輯、論證和批判性思維等內容。
基本介紹
- 中文名:邏輯學導論
- 外文名:INTRODUCTION TO LOGIC
- 類別:慕課、國家精品線上開放課程、國家級一流本科課程
- 首開時間:2017年11月06日(中國大學MOOC)、2019春夏(智慧樹網)
- 建設院校:西北大學
- 授課平台:中國大學MOOC、智慧樹網
- 授課教師:李靜、孟蕾、雷曉康、郭斌、封超
課程性質
課程背景
適應專業
課程簡介
課程大綱
第一章 緒論 1.1邏輯學及其研究對象 1.2推理的組成及其評價 1.3邏輯學的發展簡史 1.4邏輯學的性質和作用 第一章 緒論單元測驗 第二章 概念 2.1概念 2.2概念的內涵與外延 2.3概念的種類 2.4概念外延間的關係 2.5定義 2.6劃分 第二章 概念單元測驗 第三章 直言命題 3.1直言命題的含義和結構 3.2直言命題的種類 3.3直言命題的邏輯特徵 3.4直言命題的對當關係 3.5直言命題對當關係直接推理 3.6換質法與換位法 第三章 直言命題單元測驗 第四章 直言三段論 4.1直言三段論的含義與特徵 4.2直言三段論的公理與規則 4.3直言三段論的格 4.4直言三段論的式 第四章 直言三段論單元測驗 第五章 複合命題 5.1複合命題的構成及特點 5.2複合命題的種類 5.3真值表方法和歸謬賦值法 5.4常見的重言等值式 | 第五章 複合命題單元測驗 第六章 命題邏輯 6.1常見複合命題的推理 6.2真值表方法的套用 6.3重言蘊涵式 6.4命題邏輯的自然推理及套用 6.5條件證明法與間接證明法 第六章 命題邏輯單元測驗 第七章 謂詞邏輯 7.1謂詞、個體詞與量詞 7.2量詞的消去與引入規則 7.3量詞的交換規則 7.4關係謂詞與量詞的重疊 7.5量詞規則的限制(選學) 第七章 謂詞邏輯單元測驗 第八章 模態命題 8.1模態詞和模態命題 8.2模態對當關係 第八章 模態命題單元測驗 第九章 歸納邏輯 9.1枚舉歸納推理 9.2類比推理 9.3因果推理 9.4機率推理(選學) 第九章 歸納邏輯單元測驗 第十章 論證和批判性思維 10.1論證的含義 10.2論證的方法 10.3反駁與反駁的方法 10.4論證的規則 10.5批判性思維 第十章 論證和批判性思維單元測驗 (註:課程大綱排版從左到右列) |
第一章緒論 1.1邏輯學及其研究對象 1.2推理的組成及其評價 第二章概念 2.1概念 2.2概念的內涵與外延 2.3概念的種類 2.4概念外延間的關係 2.5定義 2.6劃分 第三章直言命題 3.1直言命題的含義和結構 3.2直言命題的種類 3.3直言命題的邏輯特徵 3.4直言命題的對當關係 3.5直言命題對當關係直接推理 3.6換質法與換位法 第四章直言三段論 4.1直言三段論的含義與特徵 4.2直言三段論的公理與規則 4.3直言三段論的格 4.4直言三段論的式 第五章複合命題 5.1複合命題的構成及特點 5.2複合命題的種類 | 5.3真值表方法和歸謬賦值法 5.4常見的重言等值式 第六章命題邏輯 6.1常見複合命題的推理 6.2真值表方法的套用 6.3重言蘊涵式 6.4命題邏輯的自然推理及套用 6.5條件證明法和間接證明法 第七章謂詞邏輯 7.1謂詞、個體詞與量詞 7.2量詞的消去與引入規則 7.3量詞的交換規則 7.4關係謂詞與量詞的重疊 第八章模態命題 8.1模態詞和模態命題 8.2模態對當關係 第九章歸納邏輯 9.1因果推理 第十章論證和批判性思維 10.1論證的含義 10.2論證的方法 10.3反駁與反駁的方法 10.4論證的規則 10.5批判性思維 (註:課程大綱排版從左到右列) |
開課信息
開課次數 | 開課時間 | 授課教師 | 學時安排 | 參與人數 |
第1次開課 | 2017年11月06日~2018年02月02日 | 李靜 | 3-5小時每周 | 21085 |
第2次開課 | 2018年03月22日~2018年07月01日 | 25171 | ||
第3次開課 | 2018年09月01日~2019年01月15日 | 李靜、孟蕾 | 2-3小時每周 | 20775 |
第4次開課 | 2019年03月06日~2019年07月01日 | 17161 | ||
第5次開課 | 2019年10月09日~2020年01月31日 | 李靜、雷曉康、郭斌、封超 | 23210 | |
第6次開課 | 2020年03月09日~2020年07月09日 | 27885 | ||
第7次開課 | 2020年09月09日~2020年12月30日 | 7281 | ||
第8次開課 | 2021年03月15日~2021年06月30日 | 10909 | ||
第9次開課 | 2021年09月06日~2021年12月30日 | 12308 | ||
第10次開課 | 2022年03月07日~2022年06月30日 | 待定 |
開課次數 | 開課時間 | 授課教師 | 學時 | 參與人數 |
---|---|---|---|---|
第1次開課 | 2019春夏 | 李靜 | 18 | 3111 |
第2次開課 | 2019秋冬 | 19 | 2522 | |
第3次開課 | 2020春夏 | 8322 | ||
第4次開課 | 2020秋冬 | 5311 | ||
第5次開課 | 2021春夏 | 23 | 3065 | |
第6次開課 | 2021秋冬 | 3382 | ||
第7次開課 | 2022春夏 | 待定 |
課程特色
教學目標
學習預備
書名 | 作者 | 出版時間 | 出版社 |
《邏輯學(第2版)》 | 何向東 | 2018年 | |
《邏輯學基礎教程(第3版)》 | 彭漪漣 | ||
《邏輯學》 | 中國人民大學哲學系邏輯教研室 | 2002年 | |
《邏輯學導論》 | 陳波 | 2014年 | |
《邏輯學是什麼》 | 2002年 | ||
《邏輯學教程(第3版)》 | 何向東 | 2010年 | 高等教育出版社 |
《邏輯學》 | 宋文堅 | 2002年 | |
《邏輯學基礎教程》 | 袁正校 | 2007年 | 高等教育出版社 |
《邏輯學教程》 | 柴生秦 | 2000年 | |
《模態邏輯引論》 | 周禮全 | 1986年 | |
《歸納邏輯導論》 | 江天驥 | 1987年 | |
《數理邏輯》 | 莫紹揆 | 1984年 | 高等教育出版社 |
《邏輯導論》 | (美)蘇佩斯(P.Suppes) | ||
《簡明邏輯學導論(第10版)》 | (美)赫爾利 | 2010年 | 世界圖書北京出版公司 |
《邏輯學的發展》 | (英)威廉·涅爾 | 1995年 | |
《形式邏輯》 | 金岳霖 | 2006年 | 人民出版社 |
《邏輯悖論研究引論》 | 張建軍 | 2002年 | |
《非經典邏輯系統發生學研究》 | 任曉明 | 2011年 |
考核標準
單項類目名稱 | 卷面分 | 單項滿分 |
---|---|---|
第一章 單元測試 | 15 | 1.5 |
第二章 單元測試 | 33 | 3.4 |
第三章 單元測試 | 5 | 0.5 |
第四章 單元測試 | 5 | 0.5 |
第五章 單元測試 | 9 | 0.9 |
第六章 單元測試 | 5 | 0.5 |
第七章 單元測試 | 5 | 0.5 |
第八章 單元測試 | 7 | 0.7 |
第九章 單元測試 | 6 | 0.6 |
第十章 單元測試 | 7 | 0.9 |
單項類目名稱 | 單項滿分 |
---|---|
概念、簡單命題推理的難點與深化 | 10.0 |
命題邏輯的重點和難點 | 10.0 |