《形式邏輯》課程教學(xué)大綱課程性質(zhì)：公共基礎(chǔ)課程新大類基礎(chǔ)課程授課對(duì)象：哲學(xué)專業(yè)開課學(xué)期：2019年春季學(xué)期總學(xué)時(shí)：54學(xué)時(shí)學(xué)分：3學(xué)分講課學(xué)時(shí)：45學(xué)時(shí)指定教材：《邏輯學(xué)》，馬工程教材，自編資料參考書目1.王憲均，數(shù)理邏輯導(dǎo)論，北京大學(xué)出版社，19822.PeterSmith,Introductiontoformallogic,CambridgeUniversityPress,20033.徐明，符號(hào)邏輯講義，武漢大學(xué)出版社2008教學(xué)目的：作為導(dǎo)論性質(zhì)的課程，本課程力圖實(shí)現(xiàn)如下目標(biāo)：1、使學(xué)生了解當(dāng)代形式邏輯所關(guān)注的基本問(wèn)題（主要是論證的有效性問(wèn)題），并了解研究這些問(wèn)題的基本方法（語(yǔ)義的方法和形式系統(tǒng)的方法）；2、使學(xué)生掌握邏輯的方法，并以此方法能初步分析部分自然語(yǔ)言的邏輯形式；3、使學(xué)生熟練掌握命題邏輯和謂詞邏輯的語(yǔ)法、語(yǔ)義、相關(guān)的形式系統(tǒng)（特別是自然推演）及其基本的性質(zhì)；4、使學(xué)生了解三段論的推理及其系統(tǒng)。上述目標(biāo)的實(shí)現(xiàn)一方面能使學(xué)生培養(yǎng)嚴(yán)謹(jǐn)?shù)乃季S習(xí)慣，為進(jìn)一步學(xué)習(xí)哲學(xué)奠定一定的基礎(chǔ)，另一方面能引領(lǐng)對(duì)邏輯感興趣的學(xué)生走入邏輯學(xué)學(xué)科的大門。第一章導(dǎo)論課時(shí)：1周，共3課時(shí)教學(xué)內(nèi)容第一節(jié)邏輯學(xué)研究的對(duì)象一、論說(shuō)的大概界定及其評(píng)價(jià)邏輯學(xué)主要是對(duì)論說(shuō)可信度評(píng)判的系統(tǒng)研究。因此，在這一節(jié)里面，我將主要介紹論說(shuō)的大致上的界定，之所以是大致上的，是因?yàn)檫壿媽W(xué)中并沒有對(duì)論說(shuō)有一個(gè)嚴(yán)格的定義。教學(xué)的主要目的是引導(dǎo)學(xué)生對(duì)論說(shuō)有一個(gè)直覺上的感覺，并列舉日常中常見的一些論說(shuō)，然后對(duì)這些論說(shuō)進(jìn)行一個(gè)大致的分類，進(jìn)而想同學(xué)們闡明，本門課只關(guān)注其中的演繹論說(shuō)。進(jìn)而告知學(xué)生，本門課是對(duì)演繹邏輯的研究，而并不研究歸納邏輯或者其他形式的邏輯。有了對(duì)論說(shuō)的介紹之后，接下來(lái)是要介紹如何評(píng)價(jià)論說(shuō)，進(jìn)而引出邏輯學(xué)的主要研究對(duì)象：對(duì)論說(shuō)的可信度的評(píng)判。在這里，我們給出了演繹邏輯對(duì)論說(shuō)的評(píng)價(jià)標(biāo)準(zhǔn)：有效性。課程將從語(yǔ)法和語(yǔ)義兩方面闡述有效性的概念，以此讓學(xué)生了解本門課及其邏輯學(xué)大致的研究方法。第二節(jié)兩種關(guān)于有效性的直覺從日常生活中的例子出發(fā)，向?qū)W生闡述語(yǔ)義有效性所刻畫的直覺，同時(shí)介紹與語(yǔ)義有效性想關(guān)聯(lián)的可滿足性的概念和語(yǔ)義一致性的概念，引導(dǎo)學(xué)生對(duì)演繹邏輯的基本概念有一個(gè)基本的、粗淺的認(rèn)識(shí)。從以往所學(xué)的數(shù)學(xué)論證出發(fā)，向?qū)W生介紹語(yǔ)法有效性的概念，并借此想學(xué)生介紹邏輯學(xué)中語(yǔ)法和語(yǔ)義的區(qū)別。本節(jié)還將從這兩種關(guān)于有效性的直覺出發(fā)，向?qū)W生闡述邏輯學(xué)在何種意義上是與內(nèi)容無(wú)關(guān)的。另外，本節(jié)還將給出幾種論證有效性的基本方法，這基本方法對(duì)學(xué)生來(lái)說(shuō)并不陌生，但是卻能幫助學(xué)生進(jìn)一步理解兩種有效性的概念。第三節(jié)本門課研究研究什么、不研究什么在本節(jié)中，我將重點(diǎn)向?qū)W生講述本門課不研究的內(nèi)容，以及為什么不研究這些內(nèi)容的理由。我將引導(dǎo)學(xué)生暫時(shí)擱置一些哲學(xué)的討論，例如，暫時(shí)不討論邏輯學(xué)是什么，真理是什么之類的問(wèn)題；其次，我將闡述作為一門學(xué)科的邏輯學(xué)與社會(huì)上流通的邏輯學(xué)之間的區(qū)別，例如，把作為一門學(xué)科的邏輯學(xué)與對(duì)思維的訓(xùn)練而進(jìn)行的通俗邏輯學(xué)教育區(qū)分開來(lái)；再次，我將闡述各種XX邏輯學(xué)是什么意思，例如，我將告訴學(xué)生，“政治邏輯”是什么？它與我們所學(xué)的邏輯學(xué)有什么區(qū)別。在本節(jié)，我還將向?qū)W生介紹一點(diǎn)邏輯學(xué)的用途。思考題：（五號(hào)黑體）1、請(qǐng)學(xué)生思考為何尋找反例能證明推理或者論證的非有效性；2、請(qǐng)學(xué)生思考是否所有的非有效推理模式的特例都是非有效的推理3、請(qǐng)學(xué)生思考反例方法的局限性

第二章命題邏輯（一）課時(shí)：2周，共6課時(shí)教學(xué)內(nèi)容第一節(jié)漢語(yǔ)中的命題聯(lián)接詞和真值函數(shù)聯(lián)接詞本節(jié)我將向?qū)W生介紹什么是語(yǔ)句聯(lián)接詞，并且通過(guò)例子向?qū)W生說(shuō)明漢語(yǔ)中的哪些語(yǔ)詞可以看做是命題聯(lián)接詞，其次我還將就一些特殊的命題聯(lián)接詞進(jìn)行說(shuō)明。其次，我將向?qū)W生介紹一些基本的常用的命題聯(lián)接詞在符號(hào)邏輯中的表達(dá)。再次，我將向?qū)W生介紹真值函數(shù)聯(lián)接詞的定義，并通過(guò)例子說(shuō)明哪些聯(lián)接詞是真值函數(shù)聯(lián)接詞。第二節(jié)自然語(yǔ)言的符號(hào)化本節(jié)主要向?qū)W生介紹如何將漢語(yǔ)進(jìn)行符號(hào)化。特別地，我將介紹一些切實(shí)可行的方法來(lái)幫助學(xué)生掌握符號(hào)化的過(guò)程。在介紹符號(hào)化的過(guò)程中，我將講一點(diǎn)使用和提及的區(qū)分。第三節(jié)命題邏輯的語(yǔ)法本節(jié)將向?qū)W生介紹命題邏輯的形式語(yǔ)言及其語(yǔ)法，并通過(guò)例子說(shuō)明哪些表達(dá)式是在該語(yǔ)言中合法的語(yǔ)句，哪些不是。同時(shí)，向?qū)W生介紹一些約定俗成的省略寫法。引導(dǎo)學(xué)生區(qū)分對(duì)象語(yǔ)言和元語(yǔ)言，并引導(dǎo)學(xué)生熟悉邏輯學(xué)中常用的古希臘字母的寫法和發(fā)音。介紹命題邏輯語(yǔ)法的一些基本概念，例如子公式和主聯(lián)接詞等等，并通過(guò)例子向?qū)W生闡述如何尋找主聯(lián)接詞和子公式引導(dǎo)學(xué)生思考?xì)w納定義。思考題：（五號(hào)黑體）1、給出一些表達(dá)式的例子，請(qǐng)學(xué)生思考它們是否是命題邏輯中的語(yǔ)句；2、給出命題邏輯的波蘭記法，請(qǐng)學(xué)生思考那些表達(dá)式是它的語(yǔ)句，哪些不是3、請(qǐng)學(xué)生思考他們還碰到過(guò)哪些歸納定義。第三章命題邏輯（二）課時(shí)：1周，共3課時(shí)教學(xué)內(nèi)容第一節(jié)真值表方法首先，本節(jié)要求學(xué)生掌握基本聯(lián)接詞的語(yǔ)義解釋，并要求學(xué)生掌握真值表方法。具體來(lái)說(shuō)，我將通過(guò)各種例子來(lái)進(jìn)行說(shuō)明和闡述其次，本節(jié)要求學(xué)生掌握如何計(jì)算公式的真值，同樣，這也將通過(guò)例子來(lái)闡述。再次，本節(jié)要求學(xué)生掌握為公式和論說(shuō)構(gòu)建真值表的方法，并通過(guò)例子來(lái)闡述。并在此處向?qū)W生介紹幾個(gè)基本的語(yǔ)義概念，例如可滿足性、重言式、矛盾式、重言等值、論證的語(yǔ)義有效性等等。在學(xué)生了解這些基本概念之后，再向?qū)W生介紹這些基本概念之間的相互關(guān)系。第二節(jié)簡(jiǎn)化的真值表方法向?qū)W生介紹真值表方法的優(yōu)勢(shì)和劣勢(shì)，并借此引出簡(jiǎn)化的真值表方法，并通過(guò)例子是學(xué)生掌握這種簡(jiǎn)化的真值表方法。思考題：（五號(hào)黑體）1、給出一些公式和論說(shuō)，請(qǐng)學(xué)生構(gòu)建它們的真值表2、給出一些公式和論說(shuō)，請(qǐng)學(xué)生為它們構(gòu)建簡(jiǎn)化的真值表3、給出一些基本的語(yǔ)義學(xué)概念，請(qǐng)學(xué)生進(jìn)一步思考這些概念之間的聯(lián)系4、請(qǐng)學(xué)生思考真值表所刻畫的論說(shuō)有效性概念是否符合導(dǎo)論中所闡述的語(yǔ)義有效性概念，并請(qǐng)學(xué)生給出理由。第四章命題邏輯（三）課時(shí)：9教學(xué)內(nèi)容：第一節(jié)世界與賦值的基本概念講述維特根斯坦關(guān)于世界的概念，引出賦值的概念，以及闡述賦值和世界之間的關(guān)系第二節(jié)闡述一些最基本的語(yǔ)義概念講述重言式、邏輯蘊(yùn)涵、矛盾式等基本概念第三節(jié)對(duì)語(yǔ)義概念的應(yīng)用

應(yīng)用語(yǔ)義概念證明一些結(jié)論第四節(jié)代入講述代入的直覺以及基本概念，并證明一些基本的概念第五節(jié)范式講述合取范式和析取范式及其用處，并講述如何從真值表求出合取范式和析取范式思考題：（五號(hào)黑體）證明一些關(guān)于語(yǔ)義概念的基本結(jié)論；求取范式第五章命題邏輯（四）課時(shí)：4周，共12課時(shí)教學(xué)內(nèi)容第一節(jié)形式系統(tǒng)的概念請(qǐng)學(xué)生回憶高中所學(xué)的數(shù)學(xué)，并歐幾里得集合學(xué)位例說(shuō)明形式系統(tǒng)的一些特質(zhì)。第二節(jié)命題邏輯的自然推演請(qǐng)學(xué)生掌握命題邏輯的自然推演的基本概念，以及五個(gè)基本聯(lián)接詞在自然推演中的規(guī)定，并通過(guò)直覺說(shuō)明這些規(guī)定的正確性。通過(guò)對(duì)自然推演的基本介紹，讓學(xué)生對(duì)形式系統(tǒng)有一個(gè)直觀的印象。第三節(jié)簡(jiǎn)單的自然推演這一節(jié)主要讓學(xué)生對(duì)形式系統(tǒng)中的“證明”概念有一個(gè)基本的了解，并且掌握一些簡(jiǎn)單的自然推演，特別是幾個(gè)基本的聯(lián)接詞規(guī)則的簡(jiǎn)單運(yùn)用。本節(jié)將通過(guò)大量的例子來(lái)說(shuō)明如何進(jìn)行自然推演。第四節(jié)有前提推演和無(wú)前提推演本節(jié)主要讓學(xué)生掌握有前提的自然推演和無(wú)前提的自然推演，并通過(guò)例子和練習(xí)進(jìn)一步掌握命題邏輯的自然推演的基本技巧。第五節(jié)自然推演的技巧本節(jié)主要通過(guò)例子讓學(xué)生進(jìn)一步掌握自然推演的技巧，特別是掌握復(fù)雜的自然推演該如何進(jìn)行。特別地，我將對(duì)一些特殊的例子進(jìn)行講解，使學(xué)生掌握一些切實(shí)可行的推演技巧。特別是，讓學(xué)生記住一些常用公式的自然推演，以便在做自然推演時(shí)有一個(gè)證明庫(kù)。 思考題：（五號(hào)黑體）1、請(qǐng)學(xué)生做大量的自然推演練習(xí)2、請(qǐng)學(xué)生回憶前兩張所闡述的一些語(yǔ)義概念，請(qǐng)他們思考之前所學(xué)習(xí)的語(yǔ)義概念和本章學(xué)習(xí)的在自然系統(tǒng)中所做的規(guī)定，進(jìn)一步請(qǐng)他們思考語(yǔ)法和語(yǔ)義的區(qū)別。第六章命題邏輯（五）課時(shí)：4周，共12課時(shí)教學(xué)內(nèi)容第一節(jié)弗雷格希爾伯特式系統(tǒng)講述弗雷格希爾伯特式系統(tǒng)的基本概念。公里及其推理規(guī)則第二節(jié)定理和演繹講述弗雷格希爾伯特式系統(tǒng)中的證明概念，演繹概念以及定理，并舉例說(shuō)明證明，演繹和定理等基本概念