邏輯學(xué)課程教學(xué)大綱

1、邏輯學(xué)課程教學(xué)大綱（2004年制訂，2006年修訂）課程編號(hào)：310002英 文 名：Logic課程類(lèi)別：通識(shí)教育課前 置 課：哲學(xué)原理后 置 課：學(xué) 分：2學(xué)分課 時(shí)：28課時(shí)主講教師：陳健選定教材：何向東主編：邏輯學(xué)教程，北京：高等教育出版社，2004年7月第二版課程概述： 本課程嘗試以現(xiàn)代邏輯為立足點(diǎn)，以較大篇幅講解經(jīng)典邏輯的部分基礎(chǔ)內(nèi)容，著重系統(tǒng)講解命題邏輯的自然演繹系統(tǒng)NP的建構(gòu)及其演算。也以一定篇幅介紹詞項(xiàng)邏輯、歸納法、科學(xué)邏輯方法、論證等傳統(tǒng)邏輯的主要內(nèi)容，此外也初步涉及模態(tài)邏輯。導(dǎo)論部分主要討論邏輯的性質(zhì)，邏輯的簡(jiǎn)史，現(xiàn)代邏輯的特點(diǎn)等。命題邏輯部分先引介復(fù)合命題及其推理，再重點(diǎn)

2、講解NP系統(tǒng)的建構(gòu)和演算，最后討論可靠性與完全性問(wèn)題。傳統(tǒng)邏輯部分以詞項(xiàng)邏輯為主，包括詞項(xiàng)、直言命題和三段論，還包括論證部分，主要內(nèi)容為論證的結(jié)構(gòu)、論證的規(guī)則以及論證的常見(jiàn)錯(cuò)誤。一階謂詞邏輯以及邏輯語(yǔ)用學(xué)因課時(shí)關(guān)系，暫未列入大綱。教學(xué)目的： 邏輯學(xué)是一門(mén)區(qū)別于對(duì)象科學(xué)的元科學(xué)?，F(xiàn)代邏輯從整體上系統(tǒng)處理思維形式之規(guī)律，因而是傳統(tǒng)邏輯不可比擬的。本課程的教學(xué)目的總體上是培養(yǎng)現(xiàn)代邏輯的觀念，初步理解現(xiàn)代邏輯最基本的知識(shí)和處理方法，以便為窺現(xiàn)代邏輯龐大的知識(shí)體系之一斑提供必要的準(zhǔn)備。此外，通過(guò)較為系統(tǒng)的邏輯演算訓(xùn)練，以幫助學(xué)習(xí)者提高邏輯思維能力，進(jìn)而培養(yǎng)和提高綜合素質(zhì)，并為更好地理解和把握自然科學(xué)和人

3、文社會(huì)科學(xué)打好必要的邏輯基礎(chǔ)。教學(xué)方法：本課程的教學(xué)嘗試以一階邏輯為主要內(nèi)容，在整體和系統(tǒng)的意義上講授現(xiàn)代邏輯最基本的知識(shí)，以回應(yīng)1978年提出“邏輯要現(xiàn)代化”口號(hào)以來(lái)20多年的改革取向。同時(shí)也兼顧了傳統(tǒng)邏輯的主要知識(shí)內(nèi)容，以作為對(duì)人類(lèi)知識(shí)文化遺產(chǎn)的某種傳承。本課程在內(nèi)容上和要求上作了較大的調(diào)整，課堂教學(xué)強(qiáng)調(diào)“思維之演算”能力的提高。在教學(xué)進(jìn)程上也充分考慮了建構(gòu)形式系統(tǒng)、邏輯推演之前的必要的鋪墊性教學(xué)。各章教學(xué)要求及教學(xué)要點(diǎn)第一章導(dǎo)論課時(shí)分配：4課時(shí)教學(xué)要求：本章要求掌握邏輯的性質(zhì)、研究對(duì)象、發(fā)展簡(jiǎn)史、傳統(tǒng)邏輯和現(xiàn)代邏輯的特點(diǎn)。教學(xué)內(nèi)容：第一節(jié)什么是邏輯？一、日常用語(yǔ)中邏輯一詞的四種詞義客觀規(guī)

4、律；觀點(diǎn)道理；思維規(guī)則；邏輯學(xué)二、邏輯的基本涵義“邏輯即規(guī)律”；“必然性的聯(lián)系或趨勢(shì) ” ；“思維中的某種必然聯(lián)系”；“關(guān)于思維形式結(jié)構(gòu)的規(guī)律”；“邏輯，即必然地得出”（王路）第二節(jié)邏輯學(xué)的簡(jiǎn)史一、傳統(tǒng)邏輯歐洲：亞里士多德斯多噶派伊壁鳩魯派中世紀(jì)弗蘭西斯.培根約翰.穆勒笛卡爾學(xué)派印度：因明中國(guó)：先秦的邏輯思想（惠施、公孫龍、荀況、韓非）后期墨家之百科全書(shū)式的邏輯專(zhuān)著墨經(jīng)（經(jīng)上，經(jīng)下、經(jīng)說(shuō)上，經(jīng)說(shuō)下，大取和小?。┧逄茣r(shí)期印度因明傳入中國(guó)明朝末年李之藻和傅汛濟(jì)名理探清朝末年嚴(yán)復(fù)穆勒名學(xué)。二、現(xiàn)代邏輯萊布尼茨的數(shù)理邏輯的理論布爾的邏輯代數(shù)弗雷格的邏輯演算系統(tǒng)羅素、懷海特的 數(shù)學(xué)原理維特根斯坦、塔爾斯

5、基、卡爾納普的元邏輯三十年代以后的三大劃時(shí)代成果：哥德?tīng)柌煌耆ɡ硭査够壿嬚Z(yǔ)義學(xué)圖靈的圖靈機(jī)理論第三節(jié)邏輯學(xué)的對(duì)象和性質(zhì)一、關(guān)于思維形式結(jié)構(gòu)的科學(xué)思維的形式結(jié)構(gòu)內(nèi)容不同的思維可以具有共同的形式結(jié)構(gòu)二、關(guān)于邏輯科學(xué)的性質(zhì)邏輯變項(xiàng)和邏輯常項(xiàng)；表示邏輯變項(xiàng)的自然語(yǔ)言和形式語(yǔ)言；經(jīng)驗(yàn)科學(xué)和形式科學(xué)；元科學(xué)和對(duì)象科學(xué)；邏輯語(yǔ)法學(xué)、邏輯語(yǔ)義學(xué)和邏輯語(yǔ)用學(xué)思考題：1、簡(jiǎn)述邏輯的性質(zhì)。2、區(qū)分以下兩組概念：經(jīng)驗(yàn)科學(xué)和形式科學(xué)；元科學(xué)和對(duì)象科學(xué)。3、如何看待傳統(tǒng)邏輯和現(xiàn)代邏輯？4、邏輯學(xué)和其他學(xué)科有何關(guān)系？5、傳統(tǒng)邏輯和現(xiàn)代邏輯的奠基人分別是誰(shuí)？為什么他們被稱(chēng)為奠基人？第二章命題邏輯課時(shí)分配：11課時(shí)教學(xué)要

6、求： 理解命題邏輯的自然演繹系統(tǒng)的建構(gòu)，熟練掌握命題邏輯NP系統(tǒng)的推演。教學(xué)內(nèi)容：第一節(jié)命題概述一、命題的基本特征命題的兩種定義命題定義的三層含義二、語(yǔ)句和命題的聯(lián)系和區(qū)別學(xué)科范疇的不同；并非所有語(yǔ)句都能表達(dá)命題；同一語(yǔ)句表達(dá)不同命題；不同語(yǔ)句表達(dá)同一命題第二節(jié)復(fù)合命題及其推理一、復(fù)合命題概述復(fù)合命題的構(gòu)成；復(fù)合命題的邏輯性質(zhì)；邏輯語(yǔ)法學(xué)和邏輯語(yǔ)義學(xué)討論：邏輯學(xué)的著眼點(diǎn)是什么？二、負(fù)命題定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語(yǔ)義、推導(dǎo)規(guī)則三、聯(lián)言命題（合?。┒x、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語(yǔ)義、推導(dǎo)規(guī)則、運(yùn)算律四、選言命題（析取）（一）相容選言命題：定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯

7、性質(zhì)、語(yǔ)義、推導(dǎo)規(guī)則、運(yùn)算律討論：如何用真值表來(lái)定義各種復(fù)合命題？ 德摩根律（1）（2）及其說(shuō)明：否定合取等值式（pq）pq德摩根律（1）否定析取等值式（pq）pq德摩根律（2）（二）不相容選言命題（嚴(yán)格析?。憾x、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)討論：用析取來(lái)定義嚴(yán)格析取 五、假言命題（一）充分條件假言命題: 定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語(yǔ)義、推導(dǎo)規(guī)則討論：聯(lián)結(jié)詞的相互定義關(guān)于定義式：(pq)(pq)關(guān)于否定式：(pq) pq關(guān)于蘊(yùn)析律：(pq) pq（二）必要條件假言命題: 定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語(yǔ)義、推導(dǎo)規(guī)則討論：聯(lián)結(jié)詞的相互定義關(guān)于定義式:pq(pq)p

8、qpq關(guān)于否定式:（pq）pq關(guān)于和的轉(zhuǎn)換:pqqppqpqpq qp（假言易位）（三）充分必要條件假言命題：定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語(yǔ)義、推導(dǎo)規(guī)則討論：聯(lián)結(jié)詞的相互定義關(guān)于定義式(pq)=df(pq) (pq)(pq) =df(pq)(pq)關(guān)于否定式(pq) pq(pq) pq(pq) (pq)( pq)(pq) pq第三節(jié)命題邏輯的自然演繹系統(tǒng)一、形式語(yǔ)言初始符號(hào)形成規(guī)則討論：形成規(guī)則以何種方式定義公式？二、NP系統(tǒng)的7條基本推導(dǎo)規(guī)則+、_、+、_、+（間接證明）、_和_（反證法）三、NP系統(tǒng)中的語(yǔ)法推出關(guān)系形式系統(tǒng)的關(guān)鍵概念： B四、命題邏輯語(yǔ)義有效性的判定真值函數(shù)和重

9、言式；真值指派和真值賦值；NP系統(tǒng)語(yǔ)義有效性的判定方法五、NP系統(tǒng)可靠性和完全性的證明思路六、演算：運(yùn)用基本推導(dǎo)規(guī)則的推演題（T1至T45）運(yùn)用基本推導(dǎo)規(guī)則的其他推演運(yùn)用基本推導(dǎo)規(guī)則的應(yīng)用演算思考題：1、符號(hào)化并討論：并非人人都是自私的。張某是罪犯。張某不是罪犯。并非張某是罪犯。并非如果一個(gè)推理是有效的，并且前提為真，那么它的結(jié)論必然為真。犯罪行為都是違法行為。并非違法行為都是犯罪行為。所有的大學(xué)生都是學(xué)邏輯學(xué)的。并非所有的大學(xué)生都是學(xué)邏輯學(xué)的。大學(xué)生不都是學(xué)邏輯學(xué)的。大學(xué)生都是不學(xué)邏輯學(xué)的。大學(xué)生都不是學(xué)邏輯學(xué)的。2、為什么在邏輯學(xué)中我們可以用“并且”來(lái)概括或代表不同的聯(lián)結(jié)詞？這些聯(lián)結(jié)詞在復(fù)

10、合句中常常表示并列、承接、轉(zhuǎn)折或遞進(jìn)。3、分析以下實(shí)例并寫(xiě)出公式：并非這件衣服物美價(jià)廉。并非張三和李四都是罪犯。并非小李或者喜歡音樂(lè)，或者喜歡體育此案并非是情殺，或是仇殺。4、當(dāng)我們給充分條件假言命題下定義時(shí)說(shuō)“前件是后件的充分條件”，這種說(shuō)法是否妥當(dāng)？為什么？5、我們接受經(jīng)典邏輯把聯(lián)結(jié)詞解釋為真值運(yùn)算，請(qǐng)問(wèn)“pq為真”，與“p是q的充分條件”是一回事嗎？6、在必要條件假言命題中，為什么可以不需要引入符號(hào)7、在不相容選言命題中，為什么要用定義8、當(dāng)變?cè)獮槿齻€(gè)及以上時(shí)，仍可以解釋?zhuān)蓺w化）為二元復(fù)合運(yùn)算，是不是也可以？列出真值表加以驗(yàn)證。第三章詞項(xiàng)邏輯課時(shí)分配：7課時(shí)教學(xué)要求： 掌握直言命題推理

11、和三段論推理教學(xué)內(nèi)容：第一節(jié)詞項(xiàng)一、詞語(yǔ)和詞項(xiàng)詞語(yǔ)；詞項(xiàng)；詞項(xiàng)的外延和內(nèi)涵二、詞項(xiàng)的劃分詞項(xiàng)外延集里的元素的個(gè)數(shù)：?jiǎn)为?dú)詞項(xiàng)；普遍詞項(xiàng)；空詞項(xiàng)指稱(chēng)群體還是群體中的個(gè)體：集合詞項(xiàng)；非集合詞項(xiàng)三、詞項(xiàng)外延的關(guān)系全同關(guān)系真包含于關(guān)系真包含關(guān)系交叉關(guān)系全異關(guān)系全異關(guān)系的兩個(gè)詞項(xiàng)S、P相對(duì)于論域I而言還有：矛盾關(guān)系反對(duì)關(guān)系四、歐拉圖圓中的每個(gè)點(diǎn)表示該集合的元素第二節(jié)直言命題一、直言命題的結(jié)構(gòu)定義：由主謂式語(yǔ)句表達(dá)的命題；形式結(jié)構(gòu)：量項(xiàng)（常項(xiàng)）主項(xiàng)（變?cè)猄）聯(lián)項(xiàng)（常項(xiàng)）謂項(xiàng)（變?cè)狿）二、直言命題的劃分（一）按質(zhì)劃分（按聯(lián)項(xiàng)）：肯定命題否定命題（二）按量劃分（按量項(xiàng)）：?jiǎn)畏Q(chēng)命題全稱(chēng)命題特稱(chēng)命題（三）按質(zhì)、量劃

12、分（按邏輯常項(xiàng)）：A命題SAP全稱(chēng)肯定命題E命題SEP全稱(chēng)否定命題I命題SIP特稱(chēng)肯定命題O命題SOP特稱(chēng)否定命題（四）關(guān)于量項(xiàng)關(guān)于全稱(chēng)量項(xiàng)所有一切任何凡每一個(gè)關(guān)于特稱(chēng)量項(xiàng)有有些存在至少一個(gè)許多少數(shù)大多數(shù)關(guān)于特稱(chēng)量項(xiàng)的歧義問(wèn)題（廣義和狹義）關(guān)于特稱(chēng)量項(xiàng)的從弱原則（狹義用法）三、直言命題主謂項(xiàng)的周延性周延的定義（三段論的核心概念）直言命題的周延性第三節(jié)直接推理一、對(duì)當(dāng)方陣主、謂項(xiàng)相同（素材相同）的直言命題A、E、I、O四種命題之間的真值關(guān)系：矛盾關(guān)系反對(duì)關(guān)系下反對(duì)關(guān)系差等關(guān)系二、變形推理?yè)Q質(zhì)法規(guī)則換位法規(guī)則換質(zhì)法和換位法結(jié)合使用第四節(jié)三段論一、定義：由包含一個(gè)其共同項(xiàng)的兩個(gè)直言命題推出一個(gè)直言命

13、題的推理二、結(jié)構(gòu)：三段論由且只由三個(gè)直言命題構(gòu)成；三段論由且只由三個(gè)詞項(xiàng)構(gòu)成；每2個(gè)命題有且只有一個(gè)是相同的三、三段論的格和式四、三段論的判定規(guī)則規(guī)則1中項(xiàng)在前提中至少周延一次規(guī)則2在前提中不周延的項(xiàng)，在結(jié)論中不得周延規(guī)則3前提與結(jié)論中否定命題的數(shù)目必須相同思考題：1、從三段論的判定規(guī)則導(dǎo)出16條導(dǎo)出規(guī)則第四章模態(tài)邏輯初步課時(shí)分配：2課時(shí)教學(xué)要求：了解模態(tài)邏輯的基本方面。掌握模態(tài)對(duì)當(dāng)方陣和規(guī)范對(duì)當(dāng)方陣的應(yīng)用。教學(xué)內(nèi)容：第一節(jié)模態(tài)及其分類(lèi)一、什么是模態(tài)模態(tài)；模態(tài)詞二、模態(tài)的分類(lèi)狹義模態(tài)和廣義模態(tài)第二節(jié)狹義模態(tài)命題一、必然命題和可能命題二、模態(tài)對(duì)當(dāng)關(guān)系及其推理第三節(jié)道義命題一、必須命題、允許命題和

14、禁止命題二、規(guī)范對(duì)當(dāng)方陣及其推理第五章傳統(tǒng)歸納法課時(shí)分配：2課時(shí)教學(xué)要求：了解傳統(tǒng)歸納法的主要內(nèi)容。理解現(xiàn)代邏輯處理歸納法的方法，初步掌握概率歸納推理和統(tǒng)計(jì)歸納推理。教學(xué)內(nèi)容：第一節(jié)概述一、關(guān)于“歸納推理”歸納和演繹“歸納推理”實(shí)例二、“歸納推理”的基本特征概然性推理和概然度三、歸納邏輯分類(lèi)傳統(tǒng)歸納法：枚舉法類(lèi)比法現(xiàn)代歸納邏輯：概率邏輯第二節(jié)傳統(tǒng)歸納法一、簡(jiǎn)單枚舉法簡(jiǎn)單枚舉法實(shí)例簡(jiǎn)單枚舉法定義提高簡(jiǎn)單枚舉法可靠性程度的若干規(guī)則二、類(lèi)比歸納法類(lèi)比歸納法實(shí)例類(lèi)比歸納法定義提高類(lèi)比歸納法可靠性程度的若干規(guī)則類(lèi)比歸納法若干類(lèi)型第六章科學(xué)邏輯方法課時(shí)分配：0課時(shí)教學(xué)要求：了解科學(xué)解釋和預(yù)測(cè)的幾種模式，了

15、解穆勒“五法”。理解假說(shuō)及其形成與檢驗(yàn)的方法。掌握兩個(gè)基本概念：確證、證偽。教學(xué)內(nèi)容：第一節(jié)科學(xué)解釋和科學(xué)預(yù)測(cè)一、什么是科學(xué)解釋二、科學(xué)解釋的邏輯模式：DN模式；IS模式；類(lèi)比模型三、什么是科學(xué)預(yù)測(cè)四、科學(xué)預(yù)測(cè)的邏輯模式：演繹預(yù)測(cè)模式；統(tǒng)計(jì)預(yù)測(cè)模式第二節(jié)探求因果聯(lián)系的邏輯方法一、因果聯(lián)系二、穆勒“五法”求同法求異法求同求異法共變法剩余法溯因法第三節(jié)假說(shuō)的邏輯方法一、什么是假說(shuō)二、假說(shuō)形成的邏輯方法三、假說(shuō)檢驗(yàn)的邏輯方法：HD的基本思想；假說(shuō)的確證和證偽第七章 論證課時(shí)分配：2課時(shí)教學(xué)要求：理解論證的規(guī)則，掌握反證法、選言語(yǔ)法等論證方法。學(xué)會(huì)辨識(shí)日常論證中的正誤。教學(xué)內(nèi)容：第一節(jié)論證的定義和構(gòu)成

16、一、論證的定義證明和反駁二、論證的構(gòu)成論題、論據(jù)和論證方式第二節(jié)論證的種類(lèi)一、演繹論證和歸納論證（例證法、類(lèi)比論證法、喻證法）二、直接論證和間接論證（反證法、選言證法）第三節(jié)論證的規(guī)則一、關(guān)于論題的規(guī)則違反“論題必須明確”的規(guī)則所犯的邏輯錯(cuò)誤叫做“論題含混不清”。違反“論題必須保持同一” 的規(guī)則所犯的邏輯錯(cuò)誤叫做“轉(zhuǎn)移論題”。二、關(guān)于論據(jù)的規(guī)則違反“論據(jù)應(yīng)當(dāng)是真實(shí)判斷” 的規(guī)則所犯的邏輯錯(cuò)誤叫做“虛假理由”或“預(yù)期理由”。違反“論據(jù)的真實(shí)性不應(yīng)依賴論題的真實(shí)性來(lái)論證”的規(guī)則所犯的邏輯錯(cuò)誤叫做“循環(huán)論證”。論據(jù)集應(yīng)當(dāng)一致：討論“普羅泰戈拉之半費(fèi)之訟”。三、關(guān)于論證方式的規(guī)則違反“論題的真實(shí)性是從

17、論據(jù)的真實(shí)性中必然推出來(lái)的，論據(jù)與論題之間要有必然的邏輯聯(lián)系” 的規(guī)則所犯的邏輯錯(cuò)誤叫做“推不出”。思考題：伊壁鳩魯曾經(jīng)論證“上帝是不存在的”。請(qǐng)分析他的論證的結(jié)構(gòu)：我們不得不承認(rèn)上帝或者愿意撲滅世界上的邪惡，但他做不到；或者他能夠做，但他不愿做；或者他既不愿做，也做不到；或者他既愿做，又做得到。如果上帝愿意做，但做不到，這就不符合“上帝是全能的”這一宗教觀念了；如果上帝雖然可以做得到，但他不愿做，這就不符合“上帝是全善的”這一宗教觀念了；如果他既不愿意，又做不到，這當(dāng)然同上帝的“全能、全善、全智”的本性根本不相符。如果他既愿意做，同時(shí)又做得到，那么世界上為什么還有邪惡的存在?這只能證明一個(gè)問(wèn)

18、題：上帝是不存在的。附錄：參考書(shū)目1宋文堅(jiān).新邏輯教程 M.北京：北京大學(xué)出版社，1992. 2王路.邏輯的觀念M.北京：商務(wù)印書(shū)館，2000. 3葉峰.一階邏輯和一階理論M.北京：中國(guó)社會(huì)科學(xué)出版社，1994.4金岳霖.形式邏輯M.北京：人民出版社，1979.5陳波.邏輯學(xué)是什么M.北京：北京大學(xué)出版社，2002.6朱水林.形式化：現(xiàn)代邏輯的發(fā)展M.人民出版社，1987.7江天驥.歸納邏輯導(dǎo)論M.長(zhǎng)沙：湖南人民出版社，1987.8孔慶榮.邏輯學(xué)原理M.中國(guó)法制出版社，2000.9陳向東.邏輯推理：GRE GMAT LSAT分類(lèi)思維訓(xùn)練及真題解析M.北京：世界知識(shí)出版社，2000.10陳愛(ài)華.

19、MBA聯(lián)考清華輔導(dǎo)教材：邏輯M.北京：清華大學(xué)出版社，2001.11李裕德.趣味邏輯M.北京：教育科學(xué)出版社，1998.12楊熙齡.奇異的循環(huán)邏輯悖論探析M.沈陽(yáng)：遼寧人民出版社，1987.執(zhí)筆人：陳健 2006年2月審定人： 2006年2月 院（系、部）負(fù)責(zé)人： 2006年2月 As of Microsoft Internet Explorer 4.0, you can applmultimedia-style effects to your Web pages using visual filters and transitions. You can apply visual filter

20、s and transitions to standard HTML controls, such as text containers, images, and other windowless objects. Transitions are time-varying filters that create a transition from one visual state to another. By combining filters and transitions with basic scripting, you can create visually engaging and

21、interactive documents.Internet Explorer 5.5 and later supports a rich variety of optimized filters. Click the following button to see a demonstration of many of these filters and how to usetheProcedural surfaces are colored surfaces that display between the content of an object and the objects background. Procedural surfaces define each pixels RGB color and a