課程(名稱.編號)簡索

領導藝術.綜合管理        人力資源.企業培訓        職務能力培訓系統班        銷售實戰.市場行銷        職場技能.個人成長        Office白領辦公達人        財經金融.投資理財        語言學習.出國留學        中國大陸證照培訓        資格考試.考証培訓        文化.生活.興趣.保健        生產管理.採購物流        移動開發        前端開發        後端開發        數據庫.服務器        網頁平面設計        雲計算.大數據        網絡營銷推廣        自然學科        工程技術學科

經濟管理學科

醫.藥.農.林學科

法律 學科

計算機工程學科

哲學.歷史學科

文學.藝術學科

教育社會學科

外語 學科

醫藥農林        哲學歷史        文學藝術        工程技術        基礎科學        經管法學

    「邏輯」是什麼？大家都很熟悉卻又似乎難以說清。本課程將告訴你：作為一門學科，邏輯學研究的是什麼，以及它的基本思路、原則和方法。

課程概述

     「邏輯」一詞很常用，但作為一門學科和課程，「邏輯學」涉及的內容範圍，比「邏輯」一詞日常的用法範圍要小得多。它的研究對象是推理，更準確地說，是「有效推理形式」。什麼樣的是有效推理形式？怎樣判定？怎樣生成？邏輯學中要給出基本的方法。

     作為面向非邏輯學專業學生的邏輯學概論課，本課程的著眼點不僅僅在於講授邏輯學中的具體內容，而更致力於使學生瞭解邏輯學的基本思路、準則和方法。能否和如何運用於實踐，則有待於我們的共同努力。 主要內容包括：中外邏輯發展簡史，復合命題的推理，命題演算，性質命題的推理，關係命題的推理，謂詞演算概要，歸納推理簡介，非經典（非標準）邏輯初步等。



課程大綱


第一章 什麼是邏輯學

1.1 「邏輯"和邏輯學
1.2 推理和推理形式
1.3 有效推理形式
1.4 邏輯學的特點
1.5 邏輯學的基本準則
1.6 邏輯學和其他學科的關係
1.7 關於本課程《邏輯學概論》


第二章 邏輯學的產生和發展

2.1 中國古代邏輯思想（上）
2.2 中國古代邏輯思想（中）
2.3 中國古代邏輯思想（下）
2.4 印度古代邏輯
2.5 古希臘和中世紀邏輯
2.6 近代西方邏輯
2.7 數理邏輯的提出和實現
2.8 數理邏輯的發展


第三章 命題聯結詞及其基本推理形式

3.1 推理和命題
3.2 基本命題和復合命題
3.3 常用命題聯結詞及其基本推理形式（1）
3.4 常用命題聯結詞及其基本推理形式（2）
3.5 常用命題聯結詞及其基本推理形式（3）
3.6 常用命題聯結詞及其基本推理形式（4）
3.7 常用命題聯結詞及其基本推理形式（5）
3.8 常用命題聯結詞及其基本推理形式（6）
3.9 常用命題聯結詞及其基本推理形式（7）


第四章 復合命題的推理： 有效推理形式的判定

4.1 重言式、矛盾式和可滿足式
4.2 具體推理轉換為推理形式
4.3 推理形式轉換為復合命題形式
4.4 有效推理形式的判定：真值表法
4.5 有效推理形式的判定：歸謬賦值法


第五章 復合命題的推理： 命題聯結詞的充足集

5.1 命題聯結詞：真值函數
5.2 析取範式
5.3 為復合命題形式作與之等值的析取範式
5.4 合取範式
5.5 範式存在定理
5.6 命題聯結詞的充足集
5.7 命題聯結詞的獨元充足集


第六章 命題演算：公理系統

6.1 公理系統的構成
6.2 命題演算的公理系統 L
6.3 命題演算公理系統 L 中的證明
6.4 命題演算公理系統 L 中的證明（續）
6.5 命題演算公理系統 L 中的推演


第七章 命題演算：公理系統，自然演繹系統

7.1 公理系統出發點的延伸
7.2 公理系統的評價
7.3 公理系統的性質和評價及其意義
7.4 命題演算的自然演繹系統
7.5 命題演算自然演繹系統中的證明和推演


第八章 基本命題的構成

8.1 基本命題的結構
8.2 詞項的內涵和外延
8.3 詞項的種類
8.4 詞項間的關係
8.5 詞項的定義
8.6 詞項的劃分
8.7 謂詞的分類
8.8 量詞
8.9 聯詞


第九章 傳統邏輯中基本命題的推理

9.1 基本命題的推理
9.2 傳統邏輯對基本命題的分析
9.3 性質命題中主、謂詞的周延
9.4 命題變形的推理
9.5 根據對當關係的推理
9.6 三段論
9.7 三段論的式與格
9.8 有效三段論的判定


第十章 基本命題的推理

10.1 性質命題
10.2 主詞非空的預設
10.3 關係命題的結構
10.4 關係命題根據量詞的推理
10.5 關係命題根據謂詞性質的推理方法
10.6 謂詞演算簡介


第十一章 非經典邏輯初步

11.1 非經典（非標準）邏輯
11.2 多值邏輯
11.3 模糊邏輯
11.4 模態邏輯
11.5 規範邏輯
11.6 時態邏輯
11.7 弗協調邏輯


第十二章 余論

12.1 演繹和歸納
12.2 探求因果關係的邏輯方法
12.3 證論和反駁
12.4 悖論
12.5 本課程《邏輯學概論》內容回顧



課程列表


第01講 1.1 「邏輯和邏輯學 → 00:05:29
第02講 1.2 推理和推理形式 → 00:09:24
第03講 1.3 有效推理形式 → 00:14:14
第04講 1.4 邏輯學的特點 → 00:16:05
第05講 1.5 邏輯學的基本準則 → 00:22:29
第06講 1.6 邏輯學和其他學科的關係 → 00:21:53
第07講 1.7 關於本課程《邏輯學概論》 → 00:19:44
第08講 2.1 中國古代邏輯思想（上） → 00:15:22
第09講 2.2 中國古代邏輯思想（中） → 00:11:52
第10講 2.3 中國古代邏輯思想（下） → 00:15:26

第11講 2.4 印度古代邏輯 → 00:10:10
第12講 2.5 古希臘和中世紀邏輯 → 00:07:00
第13講 2.6 近代西方邏輯 → 00:15:35
第14講 2.7 數理邏輯的提出和實現 → 00:18:38
第15講 2.8 數理邏輯的發展 → 00:15:27
第16講 3.1 推理和命題 → 00:09:38
第17講 3.2 基本命題和復合命題 → 00:18:49
第18講 3.3 常用命題聯結詞及其基本推理形式（1） → 00:10:48
第19講 3.4 常用命題聯結詞及其基本推理形式（2） → 00:10:06
第20講 3.5 常用命題聯結詞及其基本推理形式（3） → 00:09:24

第21講 3.6 常用命題聯結詞及其基本推理形式（4） → 00:06:04
第22講 3.7 常用命題聯結詞及其基本推理形式（5） → 00:13:28
第23講 3.8 常用命題聯結詞及其基本推理形式（6） → 00:06:53
第24講 3.9 常用命題聯結詞及其基本推理形式（7） → 00:06:54
第25講 4.1 重言式、矛盾式和可滿足式 → 00:11:20
第26講 4.2 具體推理轉換為推理形式 → 00:07:20
第27講 4.3 推理形式轉換為復合命題形式 → 00:05:37
第28講 4.4 有效推理形式的判定：真值表法 → 00:22:41
第29講 4.5 有效推理形式的判定：歸謬賦值法 → 00:28:01
第30講 5.1 命題聯結詞：真值函數 → 00:14:13

第31講 5.2 析取範式 → 00:17:47
第32講 5.3 為復合命題形式作與之等值的析取範式 → 00:09:36
第33講 5.4 合取範式 → 00:12:54
第34講 5.5 範式存在定理 → 00:03:33
第35講 5.6 命題聯結詞的充足集 → 00:25:00
第36講 5.7 命題聯結詞的獨元充足集 → 00:13:44
第37講 6.1 公理系統的構成 → 00:27:55
第38講 6.2 命題演算的公理系統 L → 00:16:48
第39講 6.3 命題演算公理系統 L 中的證明 → 00:12:17
第40講 6.4 命題演算公理系統 L 中的證明（續） → 00:09:17

第41講 6.5 命題演算公理系統 L 中的推演 → 00:14:10
第42講 7.1 公理系統出發點的延伸 → 00:18:49
第43講 7.2 公理系統的評價 → 00:16:51
第44講 7.3 公理系統的性質和評價及其意義 → 00:15:13
第45講 7.4 命題演算的自然演繹系統 → 00:14:29
第46講 7.5 命題演算自然演繹系統中的證明和推演 → 00:29:46
第47講 8.1 基本命題的結構 → 00:09:03
第48講 8.2 詞項的內涵和外延 → 00:04:46
第49講 8.3 詞項的種類 → 00:07:24
第50講 8.4 詞項間的關係 → 00:12:28

第51講 8.5 詞項的定義 → 00:25:09
第52講 8.6 詞項的劃分 → 00:10:51
第53講 8.7 謂詞的分類 → 00:09:14
第54講 8.8 量詞 → 00:10:17
第55講 8.9 聯詞 → 00:05:36
第56講 9.1 基本命題的推理 → 00:05:50
第57講 9.2 傳統邏輯對基本命題的分析 → 00:07:34
第58講 9.3 性質命題中主、謂詞的周延 → 00:09:41
第59講 9.4 命題變形的推理 → 00:15:54
第60講 9.5 根據對當關係的推理 → 00:08:22

第61講 9.6 三段論 → 00:11:58
第62講 9.7 三段論的式與格 → 00:11:07
第63講 9.8 有效三段論的判定 → 00:30:48
第64講 10.1 性質命題 → 00:24:53
第65講 10.2 主詞非空的預設 → 00:18:34
第66講 10.3 關係命題的結構 → 00:08:29
第67講 10.4 關係命題根據量詞的推理 → 00:10:32
第68講 10.5 關係命題根據謂詞性質的推理方法 → 00:24:36
第69講 10.6 謂詞演算簡介 → 00:14:24
第70講 11.1 非經典（非標準）邏輯 → 00:06:55

第71講 11.2 多值邏輯 → 00:11:14
第72講 11.3 模糊邏輯 → 00:17:58
第73講 11.4 模態邏輯 → 00:20:25
第74講 11.5 規範邏輯 → 00:12:44
第75講 11.6 時態邏輯 → 00:12:12
第76講 11.7 弗協調邏輯 → 00:18:25
第77講 12.1 演繹和歸納 → 00:19:02
第78講 12.2 探求因果關係的邏輯方法 → 00:17:53
第79講 12.3 證論和反駁 → 00:28:44
第80講 12.4 悖論 → 00:14:26
第81講 12.5 本課程《邏輯學概論》內容回顧 → 00:23:14