一、課程教學(xué)目的

邏輯學(xué)是一門(mén)專業(yè)選修課，是實(shí)踐性和技巧性很強(qiáng)的專業(yè)基礎(chǔ)課，

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

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

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

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

有效進(jìn)行推理，科學(xué)組織論證，能辨別人們邏輯思維的正誤。

二、課程教學(xué)要求

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

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

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

執(zhí)行本大綱應(yīng)注意的問(wèn)題：

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

學(xué)性及系統(tǒng)性的基礎(chǔ)上，應(yīng)突出重點(diǎn)、難點(diǎn)。

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

和計(jì)算機(jī)輔助教學(xué)軟件等。

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

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

分，采用由教師提示，學(xué)生課后自學(xué)并提出問(wèn)題，老師課后解答的方

式；

4. 必要時(shí)對(duì)重點(diǎn)章節(jié)，可在講授基礎(chǔ)上，引導(dǎo)學(xué)生查閱資料，

并進(jìn)行課后學(xué)習(xí)興趣小組討論，寫(xiě)出讀書(shū)報(bào)告，以培養(yǎng)學(xué)生綜合分析問(wèn)題的能力。

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