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

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

2、講解NP系統(tǒng)的建構(gòu)和演算，最后討論可靠性與完全性問題。傳統(tǒ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é)強調(diào)“思維之演算”能力的提高。在教學(xué)進(jìn)程上也充分考慮了建構(gòu)形式系統(tǒng)、邏輯推演之前的必要的鋪墊性教學(xué)。各章教學(xué)要求及教學(xué)要點第一章導(dǎo)論課時分配：4課時教學(xué)要求：本章要求掌握邏輯的性質(zhì)、研究對象、發(fā)展簡史、傳統(tǒng)邏輯和現(xiàn)代邏輯的特點。教學(xué)內(nèi)容：第一節(jié)什么是邏輯？一、日常用語中邏輯一詞的四種詞義客觀規(guī)

4、律；觀點道理；思維規(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)說下，大取和小?。┧逄茣r期印度因明傳入中國明朝末年李之藻和傅汛濟(jì)名理探清朝末年嚴(yán)復(fù)穆勒名學(xué)。二、現(xiàn)代邏輯萊布尼茨的數(shù)理邏輯的理論布爾的邏輯代數(shù)弗雷格的邏輯演算系統(tǒng)羅素、懷海特的 數(shù)學(xué)原理維特根斯坦、塔爾斯

5、基、卡爾納普的元邏輯三十年代以后的三大劃時代成果：哥德爾不完全定理塔爾斯基邏輯語義學(xué)圖靈的圖靈機理論第三節(jié)邏輯學(xué)的對象和性質(zhì)一、關(guān)于思維形式結(jié)構(gòu)的科學(xué)思維的形式結(jié)構(gòu)內(nèi)容不同的思維可以具有共同的形式結(jié)構(gòu)二、關(guān)于邏輯科學(xué)的性質(zhì)邏輯變項和邏輯常項；表示邏輯變項的自然語言和形式語言；經(jīng)驗科學(xué)和形式科學(xué)；元科學(xué)和對象科學(xué)；邏輯語法學(xué)、邏輯語義學(xué)和邏輯語用學(xué)思考題：1、簡述邏輯的性質(zhì)。2、區(qū)分以下兩組概念：經(jīng)驗科學(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é)的著眼點是什么？二、負(fù)命題定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則三、聯(lián)言命題（合?。┒x、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(dǎo)規(guī)則、運算律四、選言命題（析?。ㄒ唬┫嗳葸x言命題：定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯

7、性質(zhì)、語義、推導(dǎo)規(guī)則、運算律討論：如何用真值表來定義各種復(fù)合命題？ 德摩根律（1）（2）及其說明：否定合取等值式（pq）pq德摩根律（1）否定析取等值式（pq）pq德摩根律（2）（二）不相容選言命題（嚴(yán)格析取）：定義、聯(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)于蘊析律：(pq) pq（二）必要條件假言命題: 定義、聯(lián)結(jié)詞、表達(dá)式、真值表、邏輯性質(zhì)、語義、推導(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ì)、語義、推導(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)一、形式語言初始符號形成規(guī)則討論：形成規(guī)則以何種方式定義公式？二、NP系統(tǒng)的7條基本推導(dǎo)規(guī)則+、_、+、_、+（間接證明）、_和_（反證法）三、NP系統(tǒng)中的語法推出關(guān)系形式系統(tǒng)的關(guān)鍵概念： B四、命題邏輯語義有效性的判定真值函數(shù)和重

9、言式；真值指派和真值賦值；NP系統(tǒng)語義有效性的判定方法五、NP系統(tǒng)可靠性和完全性的證明思路六、演算：運用基本推導(dǎo)規(guī)則的推演題（T1至T45）運用基本推導(dǎo)規(guī)則的其他推演運用基本推導(dǎo)規(guī)則的應(yīng)用演算思考題：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ù)

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

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

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

13、題的推理二、結(jié)構(gòu)：三段論由且只由三個直言命題構(gòu)成；三段論由且只由三個詞項構(gòu)成；每2個命題有且只有一個是相同的三、三段論的格和式四、三段論的判定規(guī)則規(guī)則1中項在前提中至少周延一次規(guī)則2在前提中不周延的項，在結(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é)道義命題一、必須命題、允許命題和

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

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

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

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

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

19、MBA聯(lián)考清華輔導(dǎo)教材：邏輯M.北京：清華大學(xué)出版社，2001.11李裕德.趣味邏輯M.北京：教育科學(xué)出版社，1998.12楊熙齡.奇異的循環(huán)邏輯悖論探析M.沈陽：遼寧人民出版社，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