一、課程教學目的

邏輯學是一門專業(yè)選修課，是實踐性和技巧性很強的專業(yè)基礎(chǔ)課，

是學習文科各專業(yè)的基礎(chǔ)性和工具性的課程。通過教學，使學生掌握

普通邏輯思維的基本理論、基本知識和基本技能，培養(yǎng)學生邏輯思維

的能力和素質(zhì)，為專業(yè)課程的學習和今后的工作提供邏輯學基礎(chǔ)。在

教學過程中，本課程要求著重培養(yǎng)學生正確理解概念，準確作出判斷，

有效進行推理，科學組織論證，能辨別人們邏輯思維的正誤。

二、課程教學要求

本課程以概念、判斷、推理、論證為為基本結(jié)構(gòu)，內(nèi)容有概念、

性質(zhì)判斷及其推理、復合判斷及其推理、歸納和類比推理、邏輯思維

的基本規(guī)律、論證與假說。

執(zhí)行本大綱應注意的問題：

1．注意講清本課程中的基本概念和基本理論，在保持課程的科

學性及系統(tǒng)性的基礎(chǔ)上，應突出重點、難點。

2．教學過程中要充分利用直觀教具如模型、圖表、幻燈及錄像

和計算機輔助教學軟件等。

3．因?qū)W時有限，而內(nèi)容較多，因此有一部分內(nèi)容要求學生自學。

學生自學部位不占總學時，但仍然是大綱要求掌握內(nèi)容。學生自學部

分，采用由教師提示，學生課后自學并提出問題，老師課后解答的方

式；

4. 必要時對重點章節(jié)，可在講授基礎(chǔ)上，引導學生查閱資料，

并進行課后學習興趣小組討論，寫出讀書報告，以培養(yǎng)學生綜合分析問題的能力。

          課程目錄
課程簡介
Ⅰ：1.1.邏輯：道理、原理、logos
Ⅰ：1.2.邏輯的目標
Ⅰ：1.3.說話與推理
Ⅰ：1.4.推理的有效性
Ⅱ：2.1.論證結(jié)構(gòu)
Ⅱ：2.2.論證的兩個重要觀念
Ⅱ：2.3.語詞與命題
Ⅱ：2.4.命題的標準
Ⅱ：2.5.論證形式
Ⅱ：2.6.實例說明
Ⅱ：2.7.充分條件和必要條件
Ⅱ：2.8.有效論證的定義
Ⅲ：3.1.日常語言的復雜性
Ⅲ：3.2.歧義
Ⅲ：3.3.含混性
Ⅲ：3.4.開放性
Ⅲ：3.5.形式語言的必要性
Ⅲ：3.6.命題邏輯語言
Ⅲ：3.7.句式結(jié)構(gòu)樹
Ⅲ：3.8.關(guān)于句式的重要概念
Ⅳ：4.1.語意學
Ⅳ：4.2.古典邏輯語意學預設(shè)
Ⅳ：4.3.連接詞的語意
Ⅳ：4.4.恒真句
Ⅳ：4.5.矛盾句
Ⅳ：4.6.偶真句
Ⅳ：4.7.句式之間的關(guān)系
Ⅳ：4.8.一群句式之間的關(guān)系
Ⅴ：5.1.真值表法的結(jié)構(gòu)、模型
Ⅴ：5.2.真值表法演算步驟
Ⅴ：5.3.無效論證和反例結(jié)構(gòu)
Ⅴ：5.4.無前提或無結(jié)論的論證
Ⅴ：5.5.可決定性
Ⅴ：5.6.簡易真值表法
Ⅵ：6.1.函映完備性
Ⅵ：6.2.具備函映完備性的連接詞集合
Ⅵ：6.3.謝菲爾線
Ⅵ：6.4.選言標準式（DNF）
Ⅵ：6.5.連言標準式（CNF）
Ⅵ：6.6.極端范例
Ⅵ：6.7.等值句式的DNF與CNF
Ⅵ：6.8.函映完備性的定理
Ⅶ：7.1.語法蘊含關(guān)系
Ⅶ：7.2.兩種證明策略
Ⅶ：7.3.真值樹的結(jié)構(gòu)
Ⅶ：7.4.真值樹的規(guī)則
Ⅶ：7.5.真值樹系統(tǒng)規(guī)則
Ⅶ：7.6.有效論證實例
Ⅶ：7.7.無效論證實例
Ⅶ：7.8.一致性的證明
Ⅷ：8.1.公理系統(tǒng)的結(jié)構(gòu)
Ⅷ：8.2.公理的取代句式
Ⅷ：8.3.定理
Ⅷ：8.4.論證的有效性
Ⅸ：9.1.自然演繹法的特性與分類
Ⅸ：9.2.樹狀自然演繹法規(guī)則
Ⅸ：9.3.樹狀自然演繹法范例
Ⅸ：9.4.線性自然演繹法等值規(guī)則
Ⅸ：9.5.線性自然演繹法蘊含規(guī)則
Ⅸ：9.6.線性自然演繹法范例
Ⅹ：10.1.語詞邏輯的起源
Ⅹ：10.2.句型結(jié)構(gòu)解析
Ⅹ：10.3.三段論的論證結(jié)構(gòu)
Ⅹ：10.4.三段論的樣態(tài)
Ⅹ：10.5.三段論的有效性
Ⅹ：10.6.三段論范例
Ⅹ：10.7.文式圖
Ⅹ：10.8.文式圖范例
Ⅹ：10.9.作業(yè)講解
Ⅺ：11.1.述詞邏輯的必要性
Ⅺ：11.2.述詞邏輯的新元素
Ⅺ：11.3.述詞邏輯語言
Ⅺ：11.4.述詞邏輯句式說明
Ⅺ：11.5.一元述詞的翻譯
Ⅺ：11.6.二元關(guān)系述詞的重要性質(zhì)
Ⅻ：12.1.量詞的翻譯原則
Ⅻ：12.2.二元述詞的翻譯
Ⅻ：12.3.常用語詞翻譯
Ⅻ：12.4.論域
Ⅻ：12.5.量詞與連接詞
Ⅻ：12.6.確定描述詞
XⅢ：13.1.推論規(guī)則
XⅢ：13.2.推論規(guī)則說明
XⅢ：13.3.有效論證實例說明
XⅢ：13.4.無效論證實例說明
XⅢ：13.5.不可決定性
XⅢ：13.6.有效論證實例
XⅢ：13.7.無效論證實例
XIV：14.1.推論規(guī)則
XIV：14.2.否定規(guī)則與個例規(guī)則
XIV：14.3.通稱規(guī)則
XIV：14.4.存在預設(shè)
XIV：14.5.自然演繹法實例（一）
XIV：14.6.自然演繹法實例（二）
XV：15.1.謬誤的分類
XV：15.2.形式謬誤
XV：15.3.不相干的謬誤
XV：15.4.誤導的謬誤
XV：15.5.假定的謬誤