1、歡迎進入邏輯之門,復合判斷及其推理,第四章 復合判斷及其推理 第一節(jié) 判斷及推理概述 一、判斷概述 二、推理概述,判斷概述,一、判斷概述 （一）定義 判斷就是對對象有所斷定的思維形式。如： （1）張三是殺人犯。 （2）張三不是殺人犯。 （3）A大于B。 以上三判斷都是對對象有所斷定的。 斷定的內容：其一，斷定對象具有或不具有某種性質；其二，斷定對象之間具有或不具有某種關系。 斷定的方式：其一，肯定；其二，否定。,判斷概述,（二）判斷的特征 判斷的基本特征有二。其一，都有所肯定或否定；其二，有真或假。 所謂“真”即判斷所斷定的內容符合客觀實際。 所謂“假”，即判斷所斷定的內容不符合實際。 當邏輯

2、理論需要發(fā)展，需要擴展它的能量，需要對一些新的句子如表示倫理規(guī)范、法律規(guī)范的句子進行研究時，可以對所謂的“真”、“假”重新做出規(guī)定，比如，表示的規(guī)范能促進社會和諧發(fā)展的為“真”的判斷，否則為“假”的判斷。對所謂的“價值判斷”也可做類似處理。,判斷概述,邏輯學研究判斷的真假，只研究判斷在形式上的真假特征和判斷之間在形式上的真假關系。,判斷概述,（三）判斷與語句的關系 1、判斷和語句有著緊密的聯(lián)系。任何判斷的形成，存在和表達都離不開語句，判斷是語句所表達的思想內容，而語句則是判斷的物質外殼和語言表達形式。,判斷概述,2、判斷與語句的區(qū)別 （1）判斷是一種思維形式，語句是一種語言形式。 （2）判斷無

3、民族性而語句則有民族性。 （3）所有的判斷都要同語句來表達，而并非所有的語句都表達判斷。 （4）不同語句可以表達相同判斷。 （5）同一語句可以表達不同的（在不同語言環(huán)境中）。,判斷概述,（四）判斷的種類 1、判斷可分為：非模態(tài)判斷和模態(tài)判斷。性質判斷。 （1）模態(tài)判斷分為：真值模態(tài)和規(guī)范模態(tài)判斷。 （2）非模態(tài)判斷分為：簡單判斷和復合判斷。 A、簡單判斷分為：關系判斷和性質判斷。 B、復合判斷分為：聯(lián)言判斷、選言判斷、假言判斷和負判斷。,推理概述,二、推理概述 （一）定義 推理是從已知判斷推出新判斷的思維形式。,推理概述,（二）作用 1、推理與思維：推理可使人們從表面推出內在，從現(xiàn)在推知過去，

4、和從現(xiàn)在推知未來。 2、推理與表達 委婉表達 藝術作品 幽默,推理概述,（三）推理的組成 1、前提：多觀察、保真。 2、結論：必須從前提合理地推出來。 3、推理的根據(jù)：邏輯學研究的重點。,推理概述,（四）邏輯學研究推理的方式：推理的邏輯形式 1、有效邏輯形式： 如果P，那么Q； 并非Q； 所以，并非P 。 2、無效邏輯形式： 如果P，那么Q； Q； 所以，P 。,推理概述,（五）推理的種類,聯(lián)言判斷及其推理,第二節(jié) 聯(lián)言判斷及其推理 一、聯(lián)言判斷 （一）什么是聯(lián)言判斷 聯(lián)言判斷是斷定若干事物情況同時存在的復合判斷。如： （1）張三是殺人犯，又是搶劫犯。 （2）世界是多樣的，又是統(tǒng)一的。 聯(lián)言判

5、斷的邏輯形式,一般可表達為： P并且Q 也可表達為 PQ（讀作P合取Q）,聯(lián)言判斷及其推理,在自然語言中，聯(lián)言判斷的邏輯聯(lián)結詞，也可表示為： “不但而且”，“既又”，“不僅還”，“雖然但是” 漢語中表示并列、轉折、遞進等關系的；連接詞都可以用作聯(lián)言判斷的聯(lián)結詞。 聯(lián)言判斷的聯(lián)結詞，有時也可省略 可用一個句子來表達。,聯(lián)言判斷及其推理,在自然語言中，聯(lián)言判斷的邏輯聯(lián)結詞，也可表示為： “不但而且”，“既又”，“不僅還”，“雖然但是” 漢語中表示并列、轉折、遞進等關系的；連接詞都可以用作聯(lián)言判斷的聯(lián)結詞。 聯(lián)言判斷的聯(lián)結詞，有時也可省略 可用一個句子來表達。,聯(lián)言判斷及其推理,（二）聯(lián)言的邏輯特征 張三聰明 張三能干張三既聰明又能干 TTT TFF FTF FFF 從上表可看出，當且僅當其肢判斷都真時聯(lián)言判斷“張三既聰明又能干”為真，其他情況為假，不僅該判斷如此其他聯(lián)言判斷也都如此，這即聯(lián)言判斷的邏輯特征。,聯(lián)言判斷及其推理,恰當?shù)穆?lián)言判斷 第一，必須是真的判斷 第二，肢判斷之間有內在聯(lián)系 第三，不同的肢判斷之間順序恰當,聯(lián)言判斷及其推理,二、聯(lián)言判斷的推理 聯(lián)言推理是根據(jù)聯(lián)言判斷的邏輯性質而進行推理，是一種復合判斷推理