邏輯學(xué)（第4版） 課件 第1章 緒論

新編21世紀(jì)哲學(xué)系列教材邏輯學(xué)（第4版）中國(guó)人民大學(xué)哲學(xué)院邏輯學(xué)教研室1PPT制作：余俊偉中國(guó)人民大學(xué)哲學(xué)院yujw@第一章緒論余俊偉中國(guó)人民大學(xué)哲學(xué)院yujw@綱要第一節(jié)邏輯學(xué)的對(duì)象第二節(jié)思維、語(yǔ)言和邏輯第三節(jié)邏輯學(xué)的性質(zhì)和作用3中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)1.“邏輯”一詞含義（1）表示客觀事物發(fā)展的規(guī)律，如“中國(guó)革命的邏輯”；（2）表示思維的規(guī)律與規(guī)則，如“推理論證要符合邏輯”；（3）表示研究思維形式及其規(guī)律的科學(xué)。如“形式邏輯”、“數(shù)理邏輯”。（4）表示某種特殊的立場(chǎng)、觀點(diǎn)、規(guī)則或論證方法。4中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)2.思維形式是思維內(nèi)容的存在和聯(lián)系方式，有兩種含義。一是指人們?cè)谒季S過(guò)程中用以反映現(xiàn)實(shí)的那些形式，包括概念、判斷與推理。另一種是指每一種不同類型的判斷和推理本身所共同具有的思維要素之間的聯(lián)系方式，也叫思維的形式結(jié)構(gòu)，包括邏輯常項(xiàng)和變項(xiàng)。5中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)2.思維形式是思維內(nèi)容的存在和聯(lián)系方式，有兩種含義。（1）如果純水的溫度在一個(gè)大氣壓下為-10℃，那么它會(huì)結(jié)冰。（2）如果某甲作案，那么他有作案動(dòng)機(jī)。（3）如果過(guò)度砍伐森林，那么會(huì)破壞生態(tài)平衡。如果p，那么q6中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)2.思維形式是思維內(nèi)容的存在和聯(lián)系方式，有兩種含義。（1）所有雪松是常綠喬木。（2）所有哺乳動(dòng)物是脊椎動(dòng)物。（3）所有商品是勞動(dòng)產(chǎn)品。所有S是P7中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)2.思維形式是思維內(nèi)容的存在和聯(lián)系方式，有兩種含義。如果你的計(jì)算結(jié)果與他的不同，那么你們二位至少有一人計(jì)算有誤。你的結(jié)果與他的不同。所以，你們二位至少有一人計(jì)算有誤。8中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)2.思維形式是思維內(nèi)容的存在和聯(lián)系方式，有兩種含義。如果天上正下著雨，那么地上是濕的。天上正下著雨。所以，地上是濕的9中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)2.思維形式是思維內(nèi)容的存在和聯(lián)系方式，有兩種含義。如果p，那么q

p所以，q10中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)2.思維形式是思維內(nèi)容的存在和聯(lián)系方式，有兩種含義所有金屬是導(dǎo)體。所有重金屬是金屬。所以，所有重金屬是導(dǎo)體。所有鳥都是有羽毛的。所有企鵝是鳥。所以，所有企鵝都是有羽毛的。11中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象一、邏輯學(xué)是研究思維形式及其規(guī)律的科學(xué)2.思維形式是思維內(nèi)容的存在和聯(lián)系方式，有兩種含義所有M都是P所有S都是M所以，所有S都是P12中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象二、思維形式的規(guī)律性思維形式的規(guī)律性在于：有一類思維形式，在任意代入下，都表達(dá)真實(shí)的思想內(nèi)容，如“所有S是S”、“p

或者非

p”、“如果

p，那么q”等。這類思維形式稱為邏輯規(guī)律。邏輯學(xué)研究思維形式，找出邏輯規(guī)律并運(yùn)用它們排除邏輯矛盾，使人的思維具有形式上的正確性，即合乎邏輯。13中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象二、思維形式的規(guī)律性從思維形式角度看，分析一個(gè)推理是否正確，就是先找出該推理的形式,然后分析在具有該形式的推理中是否會(huì)出現(xiàn)前提為真而結(jié)論為假這種情形。如果不出現(xiàn)，則推理正確；否則，推理錯(cuò)誤。因此，從思維形式角度看，推理正確是指其推理形式正確。我們稱形式正確的推理為有效的推理。其推理形式叫有效式。14中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象二、思維形式的規(guī)律性如果p，那么q

p所以，q15中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象二、思維形式的規(guī)律性所有M都是P所有S都是M所以，所有S都是P16中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象二、思維形式的規(guī)律性形式有效的推理是必然性推理。必然性推理：前提真保證結(jié)論真或然性推理：前提并不保證結(jié)論真，只是在一定程度上支撐結(jié)論。因此，對(duì)或然性推理做區(qū)分不是有效與無(wú)效，而是根據(jù)前提對(duì)結(jié)論支持的程度17中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象二、思維形式的規(guī)律性前提對(duì)結(jié)論支持的程度：很高、較高、低、很低等幾個(gè)等級(jí)。推理很合理、較合理、較不合理、很不合理等不同等級(jí)18中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第一節(jié)邏輯學(xué)的對(duì)象二、思維形式的規(guī)律性必然性推理的保真性根源于結(jié)論所斷定的知識(shí)范圍沒(méi)有超出前提所斷定的知識(shí)范圍或然性推理的結(jié)論所斷定的知識(shí)范圍超出了前提所斷定的知識(shí)范圍，因而，或然性推理不具有保真性。19中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯一、思維、語(yǔ)言和邏輯思維本身是抽象的，看不見(jiàn)，聽不到，摸不著。邏輯學(xué)研究思維形式及其規(guī)律，需要借助媒介，即語(yǔ)言。語(yǔ)言是思維的直接實(shí)現(xiàn)，是思維的物質(zhì)外殼。無(wú)論是有形語(yǔ)言，還是有聲語(yǔ)言，都是看得見(jiàn)或聽得到的物質(zhì)存在。邏輯學(xué)透過(guò)語(yǔ)言形式的分析，探討思維的形式。20中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯一、思維、語(yǔ)言和邏輯語(yǔ)言的層次：對(duì)象語(yǔ)言：作為邏輯學(xué)研究對(duì)象的語(yǔ)言元語(yǔ)言：作為邏輯學(xué)研究工具的語(yǔ)言例子：中國(guó)人學(xué)英語(yǔ)，對(duì)象語(yǔ)言是英語(yǔ)，元語(yǔ)言通常是漢語(yǔ)。中國(guó)人學(xué)漢語(yǔ)，對(duì)象語(yǔ)言是漢語(yǔ)，元語(yǔ)言通常也是漢語(yǔ)。中國(guó)人學(xué)習(xí)C語(yǔ)言，對(duì)象語(yǔ)言是C語(yǔ)言，元語(yǔ)言通常是漢語(yǔ)。21中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯二、自然語(yǔ)言和人工語(yǔ)言自然語(yǔ)言：人類表達(dá)日常思維的語(yǔ)言。漢語(yǔ)、英語(yǔ)、日語(yǔ)等都是自然語(yǔ)言。自然語(yǔ)言是人們?cè)陂L(zhǎng)期社會(huì)實(shí)踐中約定俗成的。人工語(yǔ)言：人類為進(jìn)行相關(guān)的科學(xué)研究或是其他目的，通過(guò)嚴(yán)格定義而特別創(chuàng)制的語(yǔ)言。計(jì)算機(jī)語(yǔ)言是典型的人工語(yǔ)言?，F(xiàn)代邏輯廣泛使用的語(yǔ)言，是一套具有精確規(guī)則的能表意的人工符號(hào)語(yǔ)言系統(tǒng)，叫形式語(yǔ)言。22中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯二、自然語(yǔ)言和人工語(yǔ)言語(yǔ)言有的三個(gè)要素：第一個(gè)要素是基本符號(hào)（也叫初始符號(hào)）。如英語(yǔ)的基本符號(hào)是26個(gè)英文字母，加上若干標(biāo)點(diǎn)符號(hào)。漢語(yǔ)的基本符號(hào)是漢字庫(kù)，加上若干標(biāo)點(diǎn)符號(hào)。23中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯二、自然語(yǔ)言和人工語(yǔ)言語(yǔ)言有的三個(gè)要素：第二個(gè)要素是語(yǔ)法規(guī)則（也叫語(yǔ)形規(guī)則）。語(yǔ)法規(guī)則規(guī)定，什么樣的基本符號(hào)串是合式的，即被確認(rèn)是本語(yǔ)言中的詞、詞組或語(yǔ)句(項(xiàng)或公式)，什么樣的基本符號(hào)串不是合式的。人工語(yǔ)言的語(yǔ)法規(guī)則非常明確、嚴(yán)格。自然語(yǔ)言的語(yǔ)法規(guī)則在詞的構(gòu)成方面相對(duì)較模糊，而在句子的構(gòu)成方面較明確。24中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯二、自然語(yǔ)言和人工語(yǔ)言語(yǔ)言有的三個(gè)要素：第三個(gè)要素是語(yǔ)義規(guī)則。語(yǔ)義規(guī)則是對(duì)語(yǔ)言中合式的詞、詞組或語(yǔ)句做出解釋，即對(duì)語(yǔ)言符號(hào)賦予意義。如根據(jù)英語(yǔ)的語(yǔ)義規(guī)則，“honest”的含義是“誠(chéng)實(shí)的”，“Theboyishonest”的含義是“這個(gè)男孩是誠(chéng)實(shí)的”。25中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯二、自然語(yǔ)言和人工語(yǔ)言語(yǔ)言有的三個(gè)要素：第三個(gè)要素是語(yǔ)義規(guī)則。語(yǔ)義規(guī)則是對(duì)語(yǔ)言中合式的詞、詞組或語(yǔ)句做出解釋，即對(duì)語(yǔ)言符號(hào)賦予意義。自然語(yǔ)言中一詞多義是普遍現(xiàn)象，一句多義也常見(jiàn)。形式語(yǔ)言的語(yǔ)義規(guī)則不允許歧義,嚴(yán)格區(qū)分語(yǔ)法與語(yǔ)義，具有高度抽象的特點(diǎn)，強(qiáng)調(diào)語(yǔ)言的無(wú)歧義性和可操作性。26中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯三、傳統(tǒng)邏輯與現(xiàn)代邏輯邏輯學(xué)經(jīng)歷了從傳統(tǒng)邏輯到現(xiàn)代邏輯的發(fā)展過(guò)程。西方傳統(tǒng)邏輯，從古希臘亞里士多德首創(chuàng)，經(jīng)由中世紀(jì)和近代，到19世紀(jì)中葉現(xiàn)代邏輯產(chǎn)生以前，得到充分的發(fā)展。在古代印度和中國(guó)，曾經(jīng)產(chǎn)生類似西方傳統(tǒng)邏輯的因明和名辯，但都沒(méi)有得到充分的發(fā)展。27中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯三、傳統(tǒng)邏輯與現(xiàn)代邏輯現(xiàn)代邏輯的發(fā)展有兩個(gè)源泉：一是作為思維科學(xué)，來(lái)源于日常思維命題形式和推理規(guī)則精確研究的推動(dòng)。二是作為數(shù)學(xué)科學(xué)，來(lái)源于對(duì)數(shù)學(xué)基礎(chǔ)的研究。28中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯三、傳統(tǒng)邏輯與現(xiàn)代邏輯17世紀(jì)萊布尼茨提出了普遍語(yǔ)言與理性演算的構(gòu)想。人們一般以1879年弗雷格發(fā)表《概念文字》作為現(xiàn)代邏輯的開端。弗雷格為論證其邏輯主義的需要，發(fā)展了邏輯學(xué)：使用函數(shù)與自變?cè)绞椒治雒}，引進(jìn)了量詞，創(chuàng)制了一套特殊的符號(hào)（他稱之為概念文字）來(lái)表達(dá)命題結(jié)構(gòu)，構(gòu)建了公理演算系統(tǒng)。29中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯三、傳統(tǒng)邏輯與現(xiàn)代邏輯廣義上的現(xiàn)代邏輯，包括兩個(gè)演算（命題演算與謂詞演算）和四論（公理集合論、證明論、遞歸論和模型論），以及高階邏輯、各種非經(jīng)典邏輯和現(xiàn)代歸納邏輯等。30中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第二節(jié)思維、語(yǔ)言和邏輯三、傳統(tǒng)邏輯與現(xiàn)代邏輯現(xiàn)代邏輯和傳統(tǒng)邏輯的區(qū)別主要在研究手段與方式上。傳統(tǒng)邏輯：依賴自然語(yǔ)言，結(jié)合自然語(yǔ)言的語(yǔ)法結(jié)構(gòu)分析命題。非形式化方法。采用形式化方法：使用形式語(yǔ)言；并借鑒數(shù)學(xué)中函數(shù)思想；現(xiàn)代邏輯采用公理化方法31中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第三節(jié)邏輯學(xué)的性質(zhì)和作用一、邏輯學(xué)的性質(zhì)1.基礎(chǔ)性根據(jù)聯(lián)合國(guó)教科文組織（1974）的學(xué)科分類，邏輯學(xué)(包括邏輯的應(yīng)用、演繹邏輯、一般邏輯、歸納邏輯、方法論等)被聯(lián)合國(guó)教科文組織列為七大基礎(chǔ)學(xué)科之一，是相對(duì)于各種技術(shù)科學(xué)的基礎(chǔ)學(xué)科。2019年11月，聯(lián)合國(guó)教科文組織在巴黎舉行第40次大會(huì)，正式將每年的1月14日定為世界邏輯日。32中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第三節(jié)邏輯學(xué)的性質(zhì)和作用一、邏輯學(xué)的性質(zhì)2.工具性亞里士多德的邏輯論文，被其后繼者編為《工具論》一書，是把邏輯視為思維認(rèn)識(shí)和議論交際的工具。英國(guó)近代著名哲學(xué)家弗蘭西斯

培根的邏輯著作，取名為《新工具》（拉丁文NovumOrganum，英文NewMethod），是把邏輯看作探索與發(fā)現(xiàn)真理的工具。33中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第三節(jié)邏輯學(xué)的性質(zhì)和作用一、邏輯學(xué)的性質(zhì)2.工具性邏輯學(xué)是人類正確思維和有效交際的普遍工具。人類的一切思維認(rèn)識(shí)，表達(dá)交際，都毫無(wú)例外地要借助于邏輯，以邏輯為必要工具。邏輯學(xué)研究思維形式及其規(guī)律，從形式結(jié)構(gòu)角度解析思維運(yùn)行的原理，為人們正確思維提供一般方法與原則。這種形式的特點(diǎn)，決定了邏輯只是起著框架結(jié)構(gòu)性的作用，可適用于不同學(xué)科行業(yè)。34中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第三節(jié)邏輯學(xué)的性質(zhì)和作用一、邏輯學(xué)的性質(zhì)3.全人類性邏輯有全人類性，沒(méi)有民族性和地區(qū)性。邏輯學(xué)是全人類普遍適用的知識(shí)學(xué)科，不為某個(gè)民族地區(qū)所專有。世界上不同的民族地區(qū)，語(yǔ)言千差萬(wàn)別，其行為習(xí)慣也差異巨大，但在思維領(lǐng)域都依同一個(gè)邏輯，都必須遵守其規(guī)則。邏輯是全人類共有的精神財(cái)富，不以任何民族地區(qū)的語(yǔ)言、思想或文化的特殊性為轉(zhuǎn)移。35中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@第三節(jié)邏輯學(xué)的性質(zhì)和作用二、邏輯學(xué)的作用

3.全人類性輯形式與規(guī)律的知識(shí)，從人類思維表達(dá)實(shí)際中概括出來(lái)，反過(guò)來(lái)約束規(guī)范人們的認(rèn)識(shí)交際活動(dòng)。邏輯是全人類認(rèn)識(shí)交際的必要工具，是探求真理，駁斥謬誤的方法。獲取新知，科學(xué)預(yù)見(jiàn)，各種工作，日常生活，都要借助邏輯。說(shuō)話寫文章和交流思想，都滲透著邏輯，體現(xiàn)著邏輯素養(yǎng)的高低。邏輯有助于表達(dá)的準(zhǔn)確性和交際的有效性。36中國(guó)人民大學(xué)哲學(xué)院余俊偉yujw@補(bǔ)充材料2019年1