|
《普通邏輯學(xué)》課程教學(xué)大綱 （2004年制定,，2006年修訂） 課程編號：310074 英 文 名：General Logic 課程類別：通識教育選修課 前 置 課：無 后 置 課：無 學(xué) 分：2學(xué)分 課 時(shí)：36課時(shí) 主講教師：陳健、耿步健等 選定教材：何向東主編：《邏輯學(xué)教程》（第二版）,，北京：高等教育出版社,，2004 課程概述： 本課程嘗試以現(xiàn)代邏輯為立足點(diǎn)，以較大篇幅講解經(jīng)典邏輯的部分基礎(chǔ)內(nèi)容,，著重系統(tǒng)講解命題邏輯的自然演繹系統(tǒng)NP的建構(gòu)及其演算,，并以一定篇幅介紹詞項(xiàng)邏輯、歸納法,、科學(xué)邏輯方法,、論證等傳統(tǒng)邏輯的主要內(nèi)容,。導(dǎo)論部分主要討論邏輯的性質(zhì),、簡史，現(xiàn)代邏輯的特點(diǎn)等,。命題邏輯部分先引介復(fù)合命題及其推理,，再重點(diǎn)講解NP系統(tǒng)的建構(gòu)和演算，最后討論可靠性與完全性問題,。傳統(tǒng)邏輯部分以詞項(xiàng)邏輯為主,，包括詞項(xiàng)、直言命題和三段論,，還包括論證部分,，主要內(nèi)容為論證的結(jié)構(gòu)、論證的規(guī)則以及論證的常見錯誤,。 教學(xué)目的： 普通邏輯學(xué)是一門區(qū)別于對象科學(xué)的元科學(xué)?，F(xiàn)代邏輯從整體上系統(tǒng)處理思維形式之規(guī)律,，因而是傳統(tǒng)邏輯不可比擬的。本課程的教學(xué)目的總體上是培養(yǎng)現(xiàn)代邏輯的觀念,，初步理解現(xiàn)代邏輯最基本的知識和處理方法,。此外，通過較為系統(tǒng)的邏輯演算訓(xùn)練,，以幫助學(xué)習(xí)者提高邏輯思維能力,，進(jìn)而培養(yǎng)和提高綜合素質(zhì)，并為更好地理解和把握自然科學(xué)和人文社會科學(xué)打好必要的邏輯基礎(chǔ),。 教學(xué)方法： 本課程的教學(xué)嘗試以一階邏輯為主要內(nèi)容,，在整體和系統(tǒng)的意義上講授現(xiàn)代邏輯最基本的知識，以回應(yīng)1978年提出“邏輯要現(xiàn)代化”口號以來20多年的改革取向,。同時(shí)也兼顧了傳統(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)論 課時(shí)分配：6課時(shí) 教學(xué)要求： 本章要求掌握邏輯的性質(zhì),、研究對象、發(fā)展簡史,、傳統(tǒng)邏輯和現(xiàn)代邏輯的特點(diǎn),。 教學(xué)內(nèi)容： 第一節(jié) 什么是邏輯？ 一,、日常用語中邏輯一詞的四種詞義 客觀規(guī)律,；觀點(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)說下》,，《大取》和《小取》） 隋唐時(shí)期印度因明傳入中國 明朝末年李之藻和傅汛濟(jì)《名理探》 清朝末年嚴(yán)復(fù)《穆勒名學(xué)》。 二,、現(xiàn)代邏輯 萊布尼茨的數(shù)理邏輯的理論 布爾的邏輯代數(shù) 弗雷格的邏輯演算系統(tǒng) 羅素,、懷海特的 《數(shù)學(xué)原理》 維特根斯坦、塔爾斯基,、卡爾納普的元邏輯 三十年代以后的三大劃時(shí)代成果：哥德爾不完全定理 塔爾斯基邏輯語義學(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)代邏輯的奠基人分別是誰,？為什么他們被稱為奠基人,？ 第二章 命題邏輯 課時(shí)分配：12課時(shí) 教學(xué)要求： 理解命題邏輯的自然演繹系統(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)算律 四,、選言命題（析取） （一）相容選言命題：定義,、聯(lián)結(jié)詞,、表達(dá)式、真值表,、邏輯性質(zhì),、語義、推導(dǎo)規(guī)則,、運(yùn)算律 討論：如何用真值表來定義各種復(fù)合命題,？ 德．摩根律（1）（2）及其說明： 否定合取等值式 ┐（p∧q）<=>┐p∨┐q 德．摩根律（1） 否定析取等值式 ┐（p∨q）<=>┐p∧┐q 德．摩根律（2） （二）不相容選言命題（嚴(yán)格析取）：定義,、聯(lián)結(jié)詞,、表達(dá)式、真值表,、邏輯性質(zhì) 討論：用析取來定義嚴(yán)格析取 五,、假言命題 （一）充分條件假言命題: 定義、聯(lián)結(jié)詞,、表達(dá)式,、真值表、邏輯性質(zhì),、語義,、推導(dǎo)規(guī)則 討論：聯(lián)結(jié)詞的相互定義 關(guān)于定義式：(p→q)<=>┐(p∧┐q) 關(guān)于否定式：┐(p→q)
<=>p∧┐q 關(guān)于蘊(yùn)析律：(p→q)
<=>┐p∨q （二）必要條件假言命題: 定義、聯(lián)結(jié)詞,、表達(dá)式,、真值表、邏輯性質(zhì)、語義,、推導(dǎo)規(guī)則 討論：聯(lián)結(jié)詞的相互定義 關(guān)于定義式: p←q<=>┐(┐p∧q) p←q<=>p∨┐q 關(guān)于否定式: ┐（p←q）<=>┐p∧q 關(guān)于→和←的轉(zhuǎn)換: p←q<=>q→p p←q<=>┐p→┐q p→q <=>┐q→┐p（假言易位） （三）充分必要條件假言命題：定義,、聯(lián)結(jié)詞、表達(dá)式,、真值表,、邏輯性質(zhì)、語義,、推導(dǎo)規(guī)則 討論：聯(lián)結(jié)詞的相互定義 關(guān)于定義式 (p<->q)=df((p→q) ∧(p←q)) (p<->q) =df((p∧q)∨(┐p∧┐q)) 關(guān)于否定式 ┐(p<->q) <=>┐p<->q ┐(p<->q) <=>p<->┐q ┐(p<->q) <=>(p∧┐q)∨( ┐p∧q) ┐(p<->q) <=>p 第三節(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)用演算 思考題： 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í)例并寫出公式： ⑴并非這件衣服物美價(jià)廉,。 并非張三和李四都是罪犯,。 ⑵并非小李或者喜歡音樂，或者喜歡體育 此案并非是情殺,，或是仇殺,。 4、當(dāng)我們給充分條件假言命題下定義時(shí)說“前件是后件的充分條件”,，這種說法是否妥當(dāng),？為什么？ 5,、我們接受經(jīng)典邏輯把聯(lián)結(jié)詞解釋為真值運(yùn)算,，請問“p→q為真”，與“p是q的充分條件”是一回事嗎,？ 6,、在必要條件假言命題中，為什么可以不需要引入符號← 7,、在不相容選言命題中,，為什么要用∨定義 8、當(dāng)變元為三個及以上時(shí),，∨仍可以解釋（可歸化）為二元復(fù)合運(yùn)算,， 第三章 詞項(xiàng)邏輯 課時(shí)分配：8課時(shí) 教學(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) 四、詞項(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) 有 有些 存在 至少一個 許多 少數(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 在前提中不周延的項(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)對當(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)歸納法 課時(shí)分配：2課時(shí) 教學(xué)要求： 了解傳統(tǒng)歸納法的主要內(nèi)容,。理解現(xiàn)代邏輯處理歸納法的方法,，初步掌握概率歸納推理和統(tǒng)計(jì)歸納推理。 教學(xué)內(nèi)容： 第一節(jié) 概述 一,、關(guān)于“歸納推理” 歸納和演繹 “歸納推理”實(shí)例 二,、“歸納推理”的基本特征 概然性推理和概然度 三、歸納邏輯分類 傳統(tǒng)歸納法：枚舉法 類比法 現(xiàn)代歸納邏輯：概率邏輯 第二節(jié) 傳統(tǒng)歸納法 一,、簡單枚舉法 簡單枚舉法實(shí)例 簡單枚舉法定義 提高簡單枚舉法可靠性程度的若干規(guī)則 二,、類比歸納法 類比歸納法實(shí)例 類比歸納法定義 提高類比歸納法可靠性程度的若干規(guī)則 類比歸納法若干類型 第六章 科學(xué)邏輯方法 課時(shí)分配：2課時(shí) 教學(xué)要求： 了解科學(xué)解釋和預(yù)測的幾種模式，了解穆勒“五法”,。理解假說及其形成與檢驗(yàn)的方法,。掌握兩個基本概念：確證、證偽,。 教學(xué)內(nèi)容： 第一節(jié) 科學(xué)解釋和科學(xué)預(yù)測 一,、什么是科學(xué)解釋 二,、科學(xué)解釋的邏輯模式：D－N模式；I－S模式,；類比模型 三,、什么是科學(xué)預(yù)測 四、科學(xué)預(yù)測的邏輯模式：演繹預(yù)測模式,；統(tǒng)計(jì)預(yù)測模式 第二節(jié) 探求因果聯(lián)系的邏輯方法 一,、因果聯(lián)系 二,、穆勒“五法” 求同法 求異法 求同求異法共變法 剩余法 溯因法 第四節(jié) 假說的邏輯方法 一,、什么是假說 二、假說形成的邏輯方法 三,、假說檢驗(yàn)的邏輯方法：H－D的基本思想,；假說的確證和證偽 第七章 論證 課時(shí)分配：4課時(shí) 教學(xué)要求： 理解論證的規(guī)則，掌握反證法,、選言語法等論證方法,。學(xué)會辨識日常論證中的正誤。 教學(xué)內(nèi)容： 第一節(jié) 論證的定義和構(gòu)成 一,、論證的定義 證明和反駁 二,、論證的構(gòu)成 論題、論據(jù)和論證方式 第二節(jié) 論證的種類 一,、演繹論證和歸納論證（例證法,、類比論證法、喻證法） 二,、直接論證和間接論證（反證法,、選言證法） 第四節(jié) 論證的規(guī)則 一、關(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)上帝或者愿意撲滅世界上的邪惡,，但他做不到；或者他能夠做,，但他不愿做,；或者他既不愿做,，也做不到；或者他既愿做,，又做得到,。 如果上帝愿意做，但做不到,，這就不符合“上帝是全能的”這一宗教觀念了,； 如果上帝雖然可以做得到，但他不愿做,，這就不符合“上帝是全善的”這一宗教觀念了,； 如果他既不愿意，又做不到,，這當(dāng)然同上帝的“全能,、全善、全智”的本性根本不相符,。 如果他既愿意做,，同時(shí)又做得到，那么世界上為什么還有邪惡的存在? 這只能證明一個問題：上帝是不存在的,。 附錄：參考書目 1．宋文堅(jiān)主編：新邏輯教程,，北京大學(xué)出版社，1992 2．王路著：邏輯的觀念,，北京：商務(wù)印書館,，2000 3．葉峰編著：一階邏輯和一階理論，北京：中國社會科學(xué)出版社,，1994 4．金岳霖主編：《形式邏輯》,，人民出版社，1979 5．陳波著：邏輯學(xué)是什么,，北京：北京大學(xué)出版社,，2002 6．朱水林著：形式化：現(xiàn)代邏輯的發(fā)展，人民出版社,，1987 7．江天驥著：歸納邏輯導(dǎo)論,，長沙：湖南人民出版社，1987 8．孔慶榮主編：邏輯學(xué)原理,，中國法制出版社,，2000 9．陳向東編著：邏輯推理：GRE GMAT LSAT分類思維訓(xùn)練及真題解析，北京：世界知識出版社,，2000 10．陳愛華主編：MBA聯(lián)考清華輔導(dǎo)教材 邏輯,，北京：清華大學(xué)出版社，2001 11．李裕德編著：趣味邏輯,，北京：教育科學(xué)出版社,，1998 12．楊熙齡著：奇異的循環(huán)－邏輯悖論探析,，沈陽：遼寧人民出版社，1987 執(zhí)筆人： 2006年2月 審定人： 2006年2月 院（系,、部）負(fù)責(zé)人： 2006年2月 |
|
|
