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

1、邏輯學(xué)課程教學(xué)大綱（2004年制訂，2006年修訂）課程編號：310002英 文 名：Logic課程類別：通識教育課前 置 課：哲學(xué)原理后 置 課：學(xué) 分：2學(xué)分課 時：28課時主講教師：陳健選定教材：何向東主編：邏輯學(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ì)，邏輯的簡史，現(xiàn)代邏輯的特點(diǎn)等。命題邏輯部分先引介復(fù)合命題及其推理，再重點(diǎn)

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

3、文社會科學(xué)打好必要的邏輯基礎(chǔ)。教學(xué)方法：本課程的教學(xué)嘗試以一階邏輯為主要內(nèi)容，在整體和系統(tǒng)的意義上講授現(xiàn)代邏輯最基本的知識，以回應(yīng)1978年提出“邏輯要現(xiàn)代化”口號以來20多年的改革取向。同時也兼顧了傳統(tǒng)邏輯的主要知識內(nèi)容，以作為對人類知識文化遺產(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)論課時分配：4課時教學(xué)要求：本章要求掌握邏輯的性質(zhì)、研究對象、發(fā)展簡史、傳統(tǒng)邏輯和現(xiàn)代邏輯的特點(diǎn)。教學(xué)內(nèi)容：第一節(jié)什么是邏輯？一、日常用語中邏輯一詞的四種詞義客觀規(guī)

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

5、基、卡爾納普的元邏輯三十年代以后的三大劃時代成果：哥德爾不完全定理塔爾斯基邏輯語義學(xué)圖靈的圖靈機(jī)理論第三節(jié)邏輯學(xué)的對象和性質(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)的自然語言和形式語言；經(jīng)驗(yàn)科學(xué)和形式科學(xué)；元科學(xué)和對象科學(xué)；邏輯語法學(xué)、邏輯語義學(xué)和邏輯語用學(xué)思考題：1、簡述邏輯的性質(zhì)。2、區(qū)分以下兩組概念：經(jīng)驗(yàn)科學(xué)和形式科學(xué)；元科學(xué)和對象科學(xué)。3、如何看待傳統(tǒng)邏輯和現(xiàn)代邏輯？4、邏輯學(xué)和其他學(xué)科有何關(guān)系？5、傳統(tǒng)邏輯和現(xiàn)代邏輯的奠基人分別是誰？為什么他們被稱為奠基人？第二章命題邏輯課時分配：11課時教學(xué)要

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

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

8、、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則討論：聯(lián)結(jié)詞的相互定義關(guān)于定義式:pq<=>(pq)pq<=>pq關(guān)于否定式:（pq）<=>pq關(guān)于和的轉(zhuǎn)換:pq<=>qppq<=>pqpq <=>qp（假言易位）（三）充分必要條件假言命題：定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則討論：聯(lián)結(jié)詞的相互定義關(guān)于定義式(p<->q)=df(pq) (pq)(p<->q) =df(pq)(pq)關(guān)于否定式(p<->q) <=>p<->q(p<->q)

9、<=>p<->q(p<->q) <=>(pq)( pq)(p<->q) <=>pq第三節(jié)命題邏輯的自然演繹系統(tǒng)一、形式語言初始符號形成規(guī)則討論：形成規(guī)則以何種方式定義公式？二、NP系統(tǒng)的7條基本推導(dǎo)規(guī)則+、_、+、_、+（間接證明）、_和_（反證法）三、NP系統(tǒng)中的語法推出關(guān)系形式系統(tǒng)的關(guān)鍵概念： B四、命題邏輯語義有效性的判定真值函數(shù)和重言式；真值指派和真值賦值；NP系統(tǒng)語義有效性的判定方法五、NP系統(tǒng)可靠性和完全性的證明思路六、演算：運(yùn)用基本推導(dǎo)規(guī)則的推演題（T1至T45）運(yùn)用基本推導(dǎo)規(guī)則的其他推演運(yùn)用基本推導(dǎo)規(guī)則的應(yīng)

10、用演算思考題：1、符號化并討論：并非人人都是自私的。張某是罪犯。張某不是罪犯。并非張某是罪犯。并非如果一個推理是有效的，并且前提為真，那么它的結(jié)論必然為真。犯罪行為都是違法行為。并非違法行為都是犯罪行為。所有的大學(xué)生都是學(xué)邏輯學(xué)的。并非所有的大學(xué)生都是學(xué)邏輯學(xué)的。大學(xué)生不都是學(xué)邏輯學(xué)的。大學(xué)生都是不學(xué)邏輯學(xué)的。大學(xué)生都不是學(xué)邏輯學(xué)的。2、為什么在邏輯學(xué)中我們可以用“并且”來概括或代表不同的聯(lián)結(jié)詞？這些聯(lián)結(jié)詞在復(fù)合句中常常表示并列、承接、轉(zhuǎn)折或遞進(jìn)。3、分析以下實(shí)例并寫出公式：并非這件衣服物美價廉。并非張三和李四都是罪犯。并非小李或者喜歡音樂，或者喜歡體育此案并非是情殺，或是仇殺。4、當(dāng)我們給充

11、分條件假言命題下定義時說“前件是后件的充分條件”，這種說法是否妥當(dāng)？為什么？5、我們接受經(jīng)典邏輯把聯(lián)結(jié)詞解釋為真值運(yùn)算，請問“pq為真”，與“p是q的充分條件”是一回事嗎？6、在必要條件假言命題中，為什么可以不需要引入符號7、在不相容選言命題中，為什么要用定義8、當(dāng)變元為三個及以上時，仍可以解釋（可歸化）為二元復(fù)合運(yùn)算，是不是也可以？列出真值表加以驗(yàn)證。第三章詞項(xiàng)邏輯課時分配：7課時教學(xué)要求： 掌握直言命題推理和三段論推理教學(xué)內(nèi)容：第一節(jié)詞項(xiàng)一、詞語和詞項(xiàng)詞語；詞項(xiàng)；詞項(xiàng)的外延和內(nèi)涵二、詞項(xiàng)的劃分詞項(xiàng)外延集里的元素的個數(shù)：單獨(dú)詞項(xiàng)；普遍詞項(xiàng)；空詞項(xiàng)指稱群體還是群體中的個體：集合詞項(xiàng)；非集合詞項(xiàng)

12、三、詞項(xiàng)外延的關(guān)系全同關(guān)系真包含于關(guān)系真包含關(guān)系交叉關(guān)系全異關(guān)系全異關(guān)系的兩個詞項(xiàng)S、P相對于論域I而言還有：矛盾關(guān)系反對關(guān)系四、歐拉圖圓中的每個點(diǎn)表示該集合的元素第二節(jié)直言命題一、直言命題的結(jié)構(gòu)定義：由主謂式語句表達(dá)的命題；形式結(jié)構(gòu)：量項(xiàng)（常項(xiàng)）主項(xiàng)（變元S）聯(lián)項(xiàng)（常項(xiàng)）謂項(xiàng)（變元P）二、直言命題的劃分（一）按質(zhì)劃分（按聯(lián)項(xiàng)）：肯定命題否定命題（二）按量劃分（按量項(xiàng)）：單稱命題全稱命題特稱命題（三）按質(zhì)、量劃分（按邏輯常項(xiàng)）：A命題SAP全稱肯定命題E命題SEP全稱否定命題I命題SIP特稱肯定命題O命題SOP特稱否定命題（四）關(guān)于量項(xiàng)關(guān)于全稱量項(xiàng)所有一切任何凡每一個關(guān)于特稱量項(xiàng)有有些存在至少

13、一個許多少數(shù)大多數(shù)關(guān)于特稱量項(xiàng)的歧義問題（廣義和狹義）關(guān)于特稱量項(xiàng)的從弱原則（狹義用法）三、直言命題主謂項(xiàng)的周延性周延的定義（三段論的核心概念）直言命題的周延性第三節(jié)直接推理一、對當(dāng)方陣主、謂項(xiàng)相同（素材相同）的直言命題A、E、I、O四種命題之間的真值關(guān)系：矛盾關(guān)系反對關(guān)系下反對關(guān)系差等關(guān)系二、變形推理換質(zhì)法規(guī)則換位法規(guī)則換質(zhì)法和換位法結(jié)合使用第四節(jié)三段論一、定義：由包含一個其共同項(xiàng)的兩個直言命題推出一個直言命題的推理二、結(jié)構(gòu)：三段論由且只由三個直言命題構(gòu)成；三段論由且只由三個詞項(xiàng)構(gòu)成；每2個命題有且只有一個是相同的三、三段論的格和式四、三段論的判定規(guī)則規(guī)則1中項(xiàng)在前提中至少周延一次規(guī)則2在前

14、提中不周延的項(xiàng)，在結(jié)論中不得周延規(guī)則3前提與結(jié)論中否定命題的數(shù)目必須相同思考題：1、從三段論的判定規(guī)則導(dǎo)出16條導(dǎo)出規(guī)則第四章模態(tài)邏輯初步課時分配：2課時教學(xué)要求：了解模態(tài)邏輯的基本方面。掌握模態(tài)對當(dāng)方陣和規(guī)范對當(dāng)方陣的應(yīng)用。教學(xué)內(nèi)容：第一節(jié)模態(tài)及其分類一、什么是模態(tài)模態(tài)；模態(tài)詞二、模態(tài)的分類狹義模態(tài)和廣義模態(tài)第二節(jié)狹義模態(tài)命題一、必然命題和可能命題二、模態(tài)對當(dāng)關(guān)系及其推理第三節(jié)道義命題一、必須命題、允許命題和禁止命題二、規(guī)范對當(dāng)方陣及其推理第五章傳統(tǒng)歸納法課時分配：2課時教學(xué)要求：了解傳統(tǒng)歸納法的主要內(nèi)容。理解現(xiàn)代邏輯處理歸納法的方法，初步掌握概率歸納推理和統(tǒng)計歸納推理。教學(xué)內(nèi)容：第一節(jié)概述

15、一、關(guān)于“歸納推理”歸納和演繹“歸納推理”實(shí)例二、“歸納推理”的基本特征概然性推理和概然度三、歸納邏輯分類傳統(tǒng)歸納法：枚舉法類比法現(xiàn)代歸納邏輯：概率邏輯第二節(jié)傳統(tǒng)歸納法一、簡單枚舉法簡單枚舉法實(shí)例簡單枚舉法定義提高簡單枚舉法可靠性程度的若干規(guī)則二、類比歸納法類比歸納法實(shí)例類比歸納法定義提高類比歸納法可靠性程度的若干規(guī)則類比歸納法若干類型第六章科學(xué)邏輯方法課時分配：0課時教學(xué)要求：了解科學(xué)解釋和預(yù)測的幾種模式，了解穆勒“五法”。理解假說及其形成與檢驗(yàn)的方法。掌握兩個基本概念：確證、證偽。教學(xué)內(nèi)容：第一節(jié)科學(xué)解釋和科學(xué)預(yù)測一、什么是科學(xué)解釋二、科學(xué)解釋的邏輯模式：DN模式；IS模式；類比模型三、什

16、么是科學(xué)預(yù)測四、科學(xué)預(yù)測的邏輯模式：演繹預(yù)測模式；統(tǒng)計預(yù)測模式第二節(jié)探求因果聯(lián)系的邏輯方法一、因果聯(lián)系二、穆勒“五法”求同法求異法求同求異法共變法剩余法溯因法第三節(jié)假說的邏輯方法一、什么是假說二、假說形成的邏輯方法三、假說檢驗(yàn)的邏輯方法：HD的基本思想；假說的確證和證偽第七章 論證課時分配：2課時教學(xué)要求：理解論證的規(guī)則，掌握反證法、選言語法等論證方法。學(xué)會辨識日常論證中的正誤。教學(xué)內(nèi)容：第一節(jié)論證的定義和構(gòu)成一、論證的定義證明和反駁二、論證的構(gòu)成論題、論據(jù)和論證方式第二節(jié)論證的種類一、演繹論證和歸納論證（例證法、類比論證法、喻證法）二、直接論證和間接論證（反證法、選言證法）第三節(jié)論證的規(guī)則一

17、、關(guān)于論題的規(guī)則違反“論題必須明確”的規(guī)則所犯的邏輯錯誤叫做“論題含混不清”。違反“論題必須保持同一” 的規(guī)則所犯的邏輯錯誤叫做“轉(zhuǎn)移論題”。二、關(guān)于論據(jù)的規(guī)則違反“論據(jù)應(yīng)當(dāng)是真實(shí)判斷” 的規(guī)則所犯的邏輯錯誤叫做“虛假理由”或“預(yù)期理由”。違反“論據(jù)的真實(shí)性不應(yīng)依賴論題的真實(shí)性來論證”的規(guī)則所犯的邏輯錯誤叫做“循環(huán)論證”。論據(jù)集應(yīng)當(dāng)一致：討論“普羅泰戈拉之半費(fèi)之訟”。三、關(guān)于論證方式的規(guī)則違反“論題的真實(shí)性是從論據(jù)的真實(shí)性中必然推出來的，論據(jù)與論題之間要有必然的邏輯聯(lián)系” 的規(guī)則所犯的邏輯錯誤叫做“推不出”。思考題：伊壁鳩魯曾經(jīng)論證“上帝是不存在的”。請分析他的論證的結(jié)構(gòu)：我們不得不承認(rèn)上帝或

18、者愿意撲滅世界上的邪惡，但他做不到；或者他能夠做，但他不愿做；或者他既不愿做，也做不到；或者他既愿做，又做得到。如果上帝愿意做，但做不到，這就不符合“上帝是全能的”這一宗教觀念了；如果上帝雖然可以做得到，但他不愿做，這就不符合“上帝是全善的”這一宗教觀念了；如果他既不愿意，又做不到，這當(dāng)然同上帝的“全能、全善、全智”的本性根本不相符。如果他既愿意做，同時又做得到，那么世界上為什么還有邪惡的存在?這只能證明一個問題：上帝是不存在的。附錄：參考書目1宋文堅.新邏輯教程 M.北京：北京大學(xué)出版社，1992. 2王路.邏輯的觀念M.北京：商務(wù)印書館，2000. 3葉峰.一階邏輯和一階理論M.北京：中國社會科學(xué)出版社，1994.4金岳霖.形式邏輯M.北京：人民出版社，1979.5陳波.邏輯學(xué)是什么M.北京：北京大學(xué)出版社