邏輯學(xué)直言命題

邏輯學(xué)直言命題第1頁(yè)，共172頁(yè)，2023年，2月20日，星期四王大媽上街買(mǎi)東西，看見(jiàn)有個(gè)地方圍了一群人。湊過(guò)去一看，原來(lái)是中國(guó)高血壓日的宣傳。王大媽轉(zhuǎn)身就要走，一位年輕的白衣大夫叫住了她，“大媽?zhuān)屛規(guī)湍銣y(cè)測(cè)血壓好嗎？”王大媽連忙揮手說(shuō)：“我又不胖，算了吧?！?/p>

根據(jù)以上信息，以下哪項(xiàng)最可能是王大媽的回答所隱含的前提？

A．只有患高血壓病的人才需要測(cè)血壓，我不用。

B．只有胖人才可能得高血壓病，經(jīng)常測(cè)血壓。

C．雖然測(cè)血壓是免費(fèi)的，可給我開(kāi)藥方就要收錢(qián)了。

D．你們這么忙，還是先給身體比較胖的人們測(cè)吧。

E．讓我當(dāng)眾測(cè)血壓，多難為情，不好意思。2023年5月9日邏輯學(xué)2

邏輯趣問(wèn)第2頁(yè)，共172頁(yè)，2023年，2月20日，星期四邏輯學(xué)·命題·判斷2023年5月9日3命題是直陳句的意義，是一種或真或假的思想。判斷就是對(duì)思維對(duì)象有所斷定的思維形式。邏輯學(xué)第3頁(yè)，共172頁(yè)，2023年，2月20日，星期四關(guān)于判斷命題的另一種名稱(chēng)？2023年5月9日4邏輯學(xué)第4頁(yè)，共172頁(yè)，2023年，2月20日，星期四2023年5月9日5邏輯學(xué)第5頁(yè)，共172頁(yè)，2023年，2月20日，星期四判斷的概述在某種意義上，這里的判斷與命題同義，但實(shí)際上卻又是不同的……2023年5月9日6邏輯學(xué)第6頁(yè)，共172頁(yè)，2023年，2月20日，星期四一.判斷的含義判斷就是對(duì)思維對(duì)象有所斷定的思維形式。例如：張A是殺人犯。張A不是殺人犯。甲和乙是朋友。2023年5月9日7邏輯學(xué)第7頁(yè)，共172頁(yè)，2023年，2月20日，星期四二.判斷的特征1.判斷對(duì)思維對(duì)象有所斷定斷定某對(duì)象具有某種屬性或?qū)ο箝g有某種關(guān)系，是對(duì)于該對(duì)象有所肯定；斷定某種對(duì)象不具有某屬性或?qū)ο箝g沒(méi)有某關(guān)系，是對(duì)于該對(duì)象有所否定?？隙ɑ蚍穸ň褪桥袛?。如果在思維中沒(méi)有對(duì)象，沒(méi)有肯定什么，也沒(méi)有否定什么，就不是判斷。2023年5月9日8邏輯學(xué)第8頁(yè)，共172頁(yè)，2023年，2月20日，星期四2.判斷有真假判斷是一種思維形式，通常使用的關(guān)于事實(shí)的判斷，都可以視其內(nèi)容與實(shí)際是否相符而將其區(qū)分為真假。判斷所斷定的對(duì)象情形同實(shí)際對(duì)象情形可能相符，也可能不相符。相符則為真，用“+”表示，不相符則為假，用“-”表示。例如：李×未殺人，在訴訟中判定他殺人就是假判斷；判定他沒(méi)有殺人就是真判斷。2023年5月9日9邏輯學(xué)第9頁(yè)，共172頁(yè)，2023年，2月20日，星期四3.判斷有內(nèi)容和形式之分。形式是正確表達(dá)內(nèi)容的條件。例如：二人以上的犯罪是構(gòu)成共同犯罪的必要條件，這是正確的。但是如果將其形式變成“只要二人以上的犯罪，才能構(gòu)成共同犯罪?！边@是不正確的判斷形式，即使“只要……就……”的形式是正確的，但是放到以上內(nèi)容中，就變成了錯(cuò)誤的判斷形式。2023年5月9日10邏輯學(xué)第10頁(yè)，共172頁(yè)，2023年，2月20日，星期四4.判斷的種類(lèi)判斷非模態(tài)判斷模態(tài)判斷按照判斷中“必然”和“可能”的模態(tài)詞判斷斷定的是對(duì)象的必然性還是可能性必然判斷可能判斷2023年5月9日11邏輯學(xué)第11頁(yè)，共172頁(yè)，2023年，2月20日，星期四非模式判斷簡(jiǎn)單判斷復(fù)合判斷根據(jù)判斷結(jié)構(gòu)的繁簡(jiǎn)聯(lián)言判斷肢判斷之間的不同關(guān)系判斷對(duì)象的性質(zhì)和對(duì)象間的關(guān)系選言判斷假言判斷負(fù)判斷多重復(fù)合判斷性質(zhì)判斷關(guān)系判斷（質(zhì)和量的不同結(jié)合）全稱(chēng)肯定判斷全稱(chēng)否定判斷特稱(chēng)肯定判斷特稱(chēng)否定判斷單稱(chēng)肯定判斷單稱(chēng)否定判斷對(duì)稱(chēng)關(guān)系判斷傳遞關(guān)系判斷2023年5月9日12邏輯學(xué)第12頁(yè)，共172頁(yè)，2023年，2月20日，星期四2023年5月9日13

5.判斷與概念的區(qū)別概念是用指稱(chēng)對(duì)象的，自身沒(méi)有斷定。判斷是對(duì)概念指稱(chēng)的對(duì)象做出斷定。邏輯學(xué)第13頁(yè)，共172頁(yè)，2023年，2月20日，星期四6.判斷和語(yǔ)句判斷和語(yǔ)句存在著相互聯(lián)系又有質(zhì)的差別。1.判斷和語(yǔ)句各有不同的本質(zhì)特點(diǎn)，分屬于不同的學(xué)科。判斷是一種思維形式，運(yùn)用判斷遵守邏輯規(guī)律；語(yǔ)句是語(yǔ)言學(xué)研究的對(duì)象，運(yùn)用語(yǔ)句應(yīng)遵守語(yǔ)言規(guī)則。2.判斷要通過(guò)語(yǔ)句表達(dá)，但并不是所有語(yǔ)句都表達(dá)判斷。3.同一判斷可以表達(dá)不同的語(yǔ)句。4.同一語(yǔ)句可以表達(dá)不同的判斷。（實(shí)際是包含歧義的句子。在語(yǔ)言表達(dá)中，應(yīng)該避免使用這種句子。）5.語(yǔ)句是判斷的語(yǔ)言表達(dá)形式，判斷是語(yǔ)句的思想內(nèi)容。2023年5月9日14邏輯學(xué)第14頁(yè)，共172頁(yè)，2023年，2月20日，星期四甄別判斷1.紅燈亮?xí)r禁止通行。2.前方路口禁止左轉(zhuǎn)彎。3.請(qǐng)你把門(mén)關(guān)上。4.什么是哲學(xué)？5.難道有不運(yùn)動(dòng)的事物嗎？6.不運(yùn)動(dòng)的事物是沒(méi)有的。7.五個(gè)政法學(xué)院的學(xué)生在我們法庭實(shí)習(xí)。8.老師傅一個(gè)班修好了兩輛吉普車(chē)和一輛摩托車(chē)。2023年5月9日邏輯學(xué)151、2是

3、4不是5、6是；但不標(biāo)準(zhǔn)7.8是，但是含有歧義第15頁(yè)，共172頁(yè)，2023年，2月20日，星期四判斷是一種思維形式，運(yùn)用判斷應(yīng)遵守邏輯規(guī)律。而語(yǔ)句是語(yǔ)言學(xué)研究的對(duì)象，運(yùn)用語(yǔ)句應(yīng)該遵守語(yǔ)言規(guī)則。2023年5月9日16邏輯學(xué)第16頁(yè)，共172頁(yè)，2023年，2月20日，星期四我是中華人民共和國(guó)公民。這是一種判斷。是語(yǔ)句中的陳述句表達(dá)的。但是語(yǔ)句中的感嘆句“啊！大海！”祈使句“請(qǐng)您原諒”和疑問(wèn)句“什么是邏輯？”這些都不是判斷。2023年5月9日17邏輯學(xué)第17頁(yè)，共172頁(yè)，2023年，2月20日，星期四1.不同國(guó)家、不同民族之間對(duì)同一判斷的表達(dá)為不同個(gè)的語(yǔ)言和文字。2.同一語(yǔ)言中，同一判斷也可以表達(dá)為不同的句型。如“一切事物都是運(yùn)動(dòng)的?！笨梢赞D(zhuǎn)化為“沒(méi)有事物不是運(yùn)動(dòng)的?！?023年5月9日18邏輯學(xué)第18頁(yè)，共172頁(yè)，2023年，2月20日，星期四1.由于語(yǔ)詞的多義性造成的兩種判斷。如，老師傅一個(gè)班修好了兩輛汽車(chē)。其中的“一個(gè)班”指的是時(shí)間持續(xù)還是人與數(shù)量，不夠明確。2.由于語(yǔ)言層次不同造成的兩種判斷。如，我和班長(zhǎng)一起去看望生病的小王的父親。生病的是小王還是其父親，不夠明確。2023年5月9日19邏輯學(xué)第19頁(yè)，共172頁(yè)，2023年，2月20日，星期四課堂作業(yè)一、指出下列判斷屬于哪種直言判斷，并指出主、謂項(xiàng)的周延情況。1.未成年人的父母是未成年人的監(jiān)護(hù)人；2.有的兒女不贍養(yǎng)自己的父母；3.有些財(cái)產(chǎn)是個(gè)人所得的財(cái)產(chǎn)；4.十八周歲以上的公民是成年人；5.十八周歲以上的公民不是未成年人；6.李小芳是非婚生女兒。2023年5月9日邏輯學(xué)20第20頁(yè)，共172頁(yè)，2023年，2月20日，星期四2023年5月9日21邏輯學(xué)第21頁(yè)，共172頁(yè)，2023年，2月20日，星期四符號(hào)、語(yǔ)句、命題與判斷符號(hào)（sign，symbol）符號(hào)，亦稱(chēng)指號(hào)或記號(hào)，是指同一定思想相聯(lián)系的、可借以傳達(dá)某種思想的人為安排的物質(zhì)現(xiàn)象。美國(guó)邏輯學(xué)家皮爾士（C.S.Peirce）認(rèn)為：指號(hào)是對(duì)于某人來(lái)說(shuō)從某個(gè)方面（或性能）代表某個(gè)事物的東西。2023年5月9日22邏輯學(xué)第22頁(yè)，共172頁(yè)，2023年，2月20日，星期四語(yǔ)句（sentence）語(yǔ)句，是一組表示事物情況的聲音或筆劃，是某種語(yǔ)言中的一些語(yǔ)詞按一定的語(yǔ)法規(guī)則形成的語(yǔ)言單位。（語(yǔ)言學(xué)的解釋?zhuān)┱Z(yǔ)句，是語(yǔ)言符號(hào)系統(tǒng)中能夠直接、獨(dú)立、明確地傳達(dá)某種思想的語(yǔ)言形式。（邏輯學(xué)的解釋?zhuān)┱Z(yǔ)句的類(lèi)型通常分為：a．直陳句b．疑問(wèn)句（一般疑問(wèn)句和反詰句）c．祈使句d．虛擬句e．感嘆句……232023年5月9日邏輯學(xué)第23頁(yè)，共172頁(yè)，2023年，2月20日，星期四語(yǔ)句的功能主要有：a．描述（敘事）功能：b．評(píng)價(jià)功能：c．示意功能：d．詢(xún)問(wèn)功能：e．規(guī)范功能：

……2023年5月9日24邏輯學(xué)第24頁(yè)，共172頁(yè)，2023年，2月20日，星期四陳述（statement）陳述：通過(guò)語(yǔ)句來(lái)描述客觀(guān)事物情況，表達(dá)對(duì)某件事情或某種現(xiàn)象的情感和態(tài)度的表達(dá)式。陳述與語(yǔ)句，有時(shí)不作嚴(yán)格區(qū)分。例如：

①昨天兩歧鎮(zhèn)發(fā)生一起車(chē)禍。②那束玫瑰很好看。2023年5月9日25邏輯學(xué)第25頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題（proposition）命題，就是具有真假值的語(yǔ)句，換言之，就是一些或真（true）或假（false）的句子。傳統(tǒng)邏輯是二值邏輯，命題的真和假，稱(chēng)為命題的真值（truthvalue，簡(jiǎn)稱(chēng)為truth）。傳統(tǒng)邏輯所說(shuō)的經(jīng)典命題，必須是具有真、假兩種邏輯值的語(yǔ)句。2023年5月9日26邏輯學(xué)第26頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題是由詞項(xiàng)組成的，具體的命題包含各種各樣的詞項(xiàng)。有些詞項(xiàng)，如“或者”、“并且”、“如果，則”、“并非”、“所有”、“有”等，常常是不同的具體命題所共有的。這樣的詞項(xiàng)稱(chēng)為邏輯常項(xiàng)，它們并不指稱(chēng)任何確定的事物。邏輯常項(xiàng)與其他詞項(xiàng)適當(dāng)?shù)卮钆淦饋?lái),就成為命題；這種搭配的方式或結(jié)構(gòu),就是命題形式。2023年5月9日27邏輯學(xué)第27頁(yè)，共172頁(yè)，2023年，2月20日，星期四判斷（judgment）判斷的界定a．判斷，就是判斷主體斷定（肯定或否定）了的命題。換言之，判斷就是對(duì)對(duì)象情況有所斷定的思維形式。b．判斷具有兩個(gè)特征：一是有所斷定（肯定或否定）；二是具有真值（真的或假的）。2023年5月9日28邏輯學(xué)第28頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題＞判斷命題與判斷是兩個(gè)相互關(guān)聯(lián)的邏輯術(shù)語(yǔ)。命題是直陳句的意義，是一種或真或假的思想。推理是由命題組成的。命題的特征在于它有真有假。如實(shí)反映事物情況的命題是真的，沒(méi)有如實(shí)反映事物情況的命題是假的。判斷是斷定者在一定時(shí)空條件下對(duì)命題的認(rèn)識(shí)，它斷言一命題是真的,還是假的。2023年5月9日29邏輯學(xué)第29頁(yè)，共172頁(yè)，2023年，2月20日，星期四判斷與命題的關(guān)系具有真假值的語(yǔ)句是命題，斷定了的命題才是判斷。判斷總是同認(rèn)識(shí)主體（斷定者）相聯(lián)系的（即“必問(wèn)出處”），而命題則不涉及認(rèn)識(shí)主體（即“不問(wèn)來(lái)路”）。2023年5月9日30邏輯學(xué)第30頁(yè)，共172頁(yè)，2023年，2月20日，星期四判斷與語(yǔ)句的關(guān)系a．聯(lián)系：判斷是語(yǔ)句的思想內(nèi)容，語(yǔ)句是判斷的表達(dá)式。b．區(qū)別第一，任何判斷都必須借助于語(yǔ)句來(lái)表達(dá)，但并非所有語(yǔ)句都表達(dá)判斷；第二，判斷和語(yǔ)句不是一一對(duì)應(yīng)的。

①只要你敢來(lái)，沒(méi)什么大不了的（某豐乳廣告）②重慶人和良種豬配種場(chǎng)（重慶市渝北區(qū)人和鎮(zhèn)）312023年5月9日邏輯學(xué)第31頁(yè)，共172頁(yè)，2023年，2月20日，星期四語(yǔ)句、命題和判斷分別屬于三個(gè)不同的領(lǐng)域。傳統(tǒng)邏輯常把命題看成判斷的語(yǔ)言表達(dá)，忽略了命題與直陳句的區(qū)別；傳統(tǒng)邏輯也常把判斷當(dāng)作命題，忽略了判斷與命題在認(rèn)識(shí)上的區(qū)別。2023年5月9日32邏輯學(xué)第32頁(yè)，共172頁(yè)，2023年，2月20日，星期四2023年5月9日邏輯學(xué)33第33頁(yè)，共172頁(yè)，2023年，2月20日，星期四2023年5月9日34邏輯學(xué)第34頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題形式及其分類(lèi)命題形式：命題的邏輯形式（命題形式），就是命題本身各部份（命題常項(xiàng)與命題變項(xiàng)）之間的聯(lián)結(jié)方式。2023年5月9日35邏輯學(xué)第35頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題形式的分類(lèi)（1）模態(tài)命題與非模態(tài)命題：a.模態(tài)命題：包括有模態(tài)詞的命題；b.非模態(tài)命題：不包含模態(tài)詞的命題?！颈硎臼挛锎嬖诘谋厝恍院涂赡苄缘脑~項(xiàng)，如，必然、可能等。廣義的：表示人的認(rèn)識(shí)的確定性程度的詞項(xiàng)，如，應(yīng)當(dāng)、允許等】2023年5月9日36邏輯學(xué)第36頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題的不同分類(lèi)描述命題與評(píng)價(jià)命題法國(guó)哲學(xué)家笛卡爾（R.Descartes）最先根據(jù)命題的內(nèi)容及性質(zhì)不同作這種區(qū)分；后來(lái)，英國(guó)哲學(xué)家休謨（D.Hume）對(duì)此進(jìn)行過(guò)深入的探討。2023年5月9日37邏輯學(xué)第37頁(yè)，共172頁(yè)，2023年，2月20日，星期四描述命題（descriptivestatement）描述命題，亦稱(chēng)事實(shí)判斷或?qū)嵢幻}：就是陳述事物自身情況的命題。它傳達(dá)的是事物情況就是命題所陳述的那樣。描述命題所陳述的可以是已經(jīng)發(fā)生、正在發(fā)生或?qū)⒁l(fā)生的事物情況。例如：

①外面正在下雨； ②那個(gè)人已經(jīng)死亡； ③這幢房子即將倒塌。 2023年5月9日38邏輯學(xué)第38頁(yè)，共172頁(yè)，2023年，2月20日，星期四評(píng)價(jià)命題（evaluativestatement）評(píng)價(jià)命題，亦稱(chēng)價(jià)值判斷或應(yīng)然命題：就是陳述對(duì)事物情況的某種情感或態(tài)度的命題。它傳達(dá)的是陳述者對(duì)事物情況的評(píng)價(jià)。例如：

①下雨令人心煩；②那個(gè)人真該死（死得好）；③這幢房子值得留戀。2023年5月9日39邏輯學(xué)第39頁(yè)，共172頁(yè)，2023年，2月20日，星期四實(shí)際思維中，還有描述與評(píng)價(jià)的混合形式。被告作為國(guó)家高級(jí)干部，無(wú)視國(guó)家法律，多次收受賄賂，數(shù)額特別巨大，手段特別惡劣，情節(jié)特別嚴(yán)重。⑴對(duì)描述命題的評(píng)價(jià)，是評(píng)價(jià)命題而非描述命題；例如：被告說(shuō)他先后收受了A公司的4次賄賂，這一供詞是可信的。⑵對(duì)評(píng)價(jià)命題的描述，是描述命題而非評(píng)價(jià)命題。例如：

辯護(hù)律師說(shuō)，原告一貫誠(chéng)實(shí)正直、從不說(shuō)謊。2023年5月9日40邏輯學(xué)第40頁(yè)，共172頁(yè)，2023年，2月20日，星期四描述命題與評(píng)價(jià)命題的區(qū)別一、性質(zhì)不同描述命題是嚴(yán)格邏輯意義上的命題，即具有真假值的語(yǔ)句；而評(píng)價(jià)命題則不是嚴(yán)格邏輯意義上的命題，評(píng)價(jià)命題無(wú)所謂真假，只有有妥當(dāng)與否、合理與否、有效與否的問(wèn)題。2023年5月9日41邏輯學(xué)第41頁(yè)，共172頁(yè)，2023年，2月20日，星期四二、產(chǎn)生的分歧及解決的方法不同所謂分歧，就是不一致。任何分歧都可歸約為兩種，即：信念分歧（thedisagreementinbeliefs）態(tài)度分歧（thedisagreementinattitudes）信念分歧：由描述命題的不一致所產(chǎn)生的分歧，稱(chēng)為“信念分歧”，就是“包含著某種主要屬于信念方面的對(duì)立”。信念分歧，是人們關(guān)于事實(shí)究竟是怎樣的分歧。司法實(shí)務(wù)中關(guān)于案件事實(shí)的分歧屬之。2023年5月9日42邏輯學(xué)第42頁(yè)，共172頁(yè)，2023年，2月20日，星期四信念分歧，有二個(gè)特點(diǎn)：第一，相互對(duì)立的描述陳述不可能都正確；第二，信念分歧，一般來(lái)說(shuō)不是依賴(lài)于論證，而主要是靠對(duì)應(yīng)于事物自身的情況來(lái)確定其真假，即這些陳述可以利用證據(jù)予以驗(yàn)證（證實(shí)或證偽）。從根本上說(shuō)，描述命題可以被證偽。2023年5月9日43邏輯學(xué)第43頁(yè)，共172頁(yè)，2023年，2月20日，星期四態(tài)度分歧：由評(píng)價(jià)命題的不一致所產(chǎn)生的分歧，“包含著態(tài)度上的對(duì)立，稱(chēng)為態(tài)度上的分歧”。態(tài)度上的分歧，就是人們關(guān)于“事物應(yīng)當(dāng)怎樣”的態(tài)度上的分歧，亦即價(jià)值判斷上的分歧。司法實(shí)務(wù)中對(duì)法條理解的分歧屬之。2023年5月9日44邏輯學(xué)第44頁(yè)，共172頁(yè)，2023年，2月20日，星期四態(tài)度分歧，也有二個(gè)特點(diǎn)：第一，相互對(duì)立的評(píng)價(jià)陳述可以共存；第二，態(tài)度不能用證據(jù)來(lái)驗(yàn)證（證偽）。它只能通過(guò)論證、探索或者提供能使對(duì)方改變?cè)u(píng)價(jià)標(biāo)準(zhǔn)的依據(jù)，以達(dá)成共識(shí)的評(píng)價(jià)標(biāo)準(zhǔn)。2023年5月9日45邏輯學(xué)第45頁(yè)，共172頁(yè)，2023年，2月20日，星期四三、作用不同描述命題具有敘事功能和信息傳達(dá)的作用。評(píng)價(jià)命題可以起到一種暗示、建議和規(guī)范的作用。2023年5月9日46邏輯學(xué)第46頁(yè)，共172頁(yè)，2023年，2月20日，星期四分析命題與綜合命題德國(guó)哲學(xué)家康德（Kant）最先區(qū)分分析命題和綜合命題。分析命題（analyticproposition）分析命題，亦稱(chēng)先驗(yàn)命題：不需要具有從感覺(jué)經(jīng)驗(yàn)提供的證據(jù)就能夠判定其真假的命題。例如：

①劉×是本案兇手，或者，劉×不是本案兇手；

②鐵既是金屬又不是金屬；③單身漢就是沒(méi)有結(jié)婚的男子。2023年5月9日47邏輯學(xué)第47頁(yè)，共172頁(yè)，2023年，2月20日，星期四綜合命題（syntheticproposition）綜合命題，亦稱(chēng)經(jīng)驗(yàn)命題：一個(gè)具有正常感覺(jué)官能的人，只要根據(jù)感覺(jué)經(jīng)驗(yàn)的證據(jù)，就能知道其真假的命題。例如：

①黃銅比黃金輕；②王×是本案嫌疑人；③人高處走，水往低處流。2023年5月9日48邏輯學(xué)第48頁(yè)，共172頁(yè)，2023年，2月20日，星期四實(shí)然命題、應(yīng)然命題與模態(tài)命題（1）實(shí)然命題：斷定事物（過(guò)去、現(xiàn)在或?qū)?lái)時(shí)態(tài)）實(shí)際情況的命題，其系詞為“是”或“不是”。（2）應(yīng)然命題：斷定事物或事件應(yīng)當(dāng)如何的應(yīng)然狀態(tài)的命題，其系詞為“應(yīng)當(dāng)”或“不應(yīng)當(dāng)”。（3）模態(tài)命題：斷定事物必然或可能情況的命題，其系詞為“必然”、“不必然”、“可能”、“不可能”等。2023年5月9日49邏輯學(xué)第49頁(yè)，共172頁(yè)，2023年，2月20日，星期四簡(jiǎn)單命題與復(fù)合命題（1）簡(jiǎn)單命題：以詞項(xiàng)（概念）作為直接構(gòu)成要件的命題。例如：張××是作案人（2）復(fù)合命題：以命題（語(yǔ)句）作為直接構(gòu)成要件的命題。例如：如果張×是作案人，那么張×去過(guò)作案現(xiàn)場(chǎng)2023年5月9日50邏輯學(xué)第50頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題形式之間的邏輯關(guān)系命題形式間的邏輯關(guān)系，就是指任意兩個(gè)命題形式之間的真假制約關(guān)系，邏輯史上通稱(chēng)為（命題形式之間的）“對(duì)當(dāng)關(guān)系”（opposition）。2023年5月9日51邏輯學(xué)第51頁(yè)，共172頁(yè)，2023年，2月20日，星期四各種對(duì)當(dāng)關(guān)系的涵義及其邏輯特征任意兩個(gè)命題形式f(x)與f(y)之間可能存在的對(duì)當(dāng)關(guān)系，概括起來(lái)有以下幾種，即：等值關(guān)系、矛盾關(guān)系、反對(duì)關(guān)系、下反對(duì)關(guān)系、蘊(yùn)涵關(guān)系、逆蘊(yùn)涵關(guān)系、獨(dú)立關(guān)系。說(shuō)明：符號(hào)的涵義約定如下：“＋”表示“真”“－”表示“假”“±”表示“可真可假”（真假不定）2023年5月9日52邏輯學(xué)第52頁(yè)，共172頁(yè)，2023年，2月20日，星期四（1）等值關(guān)系（equivalent）f(x)f(y)++--必然同真必然同假第53頁(yè)，共172頁(yè)，2023年，2月20日，星期四（2）矛盾關(guān)系（contradictor）f(x)f(y)+--+不能同真不能同假第54頁(yè)，共172頁(yè)，2023年，2月20日，星期四（3）反對(duì)關(guān)系（contrary）f(x)f(y)+--+--不能同真可以同假第55頁(yè)，共172頁(yè)，2023年，2月20日，星期四（4）下反對(duì)關(guān)系（sub-contrary）f(x)f(y)-++-++不能同假可以同真第56頁(yè)，共172頁(yè)，2023年，2月20日，星期四（5）蘊(yùn)涵關(guān)系（implication）

與逆蘊(yùn)涵關(guān)系（inverseimplication）f(x)f(y)++---+可以同真可以同假若f(x)真f(y)必真，f(x)假f(y)可真可假，且，若f(y)真f(x)可真可假，f(y)假f(x)必假，則f(x)蘊(yùn)涵f(y)，亦即f(y)逆蘊(yùn)涵f(x)蘊(yùn)涵關(guān)系與逆蘊(yùn)涵關(guān)系，傳統(tǒng)邏輯通常合稱(chēng)為差等關(guān)系（sub-alternate）第57頁(yè)，共172頁(yè)，2023年，2月20日，星期四逆蘊(yùn)涵關(guān)系，亦稱(chēng)反蘊(yùn)涵關(guān)系。

f(x)逆蘊(yùn)涵f(y)也可表示如下：f(x)f(y)--+++-可以同真可以同假第58頁(yè)，共172頁(yè)，2023年，2月20日，星期四（6）獨(dú)立關(guān)系（inconnected）亦稱(chēng)不可比關(guān)系f(x)f(y)+++--+--無(wú)規(guī)律的真假關(guān)系第59頁(yè)，共172頁(yè)，2023年，2月20日，星期四二、關(guān)系命題1.關(guān)系命題的定義關(guān)系命題（relativeproposition）：就是斷定對(duì)象之間是否具有某種關(guān)系的簡(jiǎn)單命題。其語(yǔ)言表達(dá)式是“主-謂式語(yǔ)句”。例如：

①?gòu)垺痢琳J(rèn)識(shí)李××；②有的觀(guān)眾喜歡所有的歌星。第60頁(yè)，共172頁(yè)，2023年，2月20日，星期四關(guān)系命題的邏輯結(jié)構(gòu)邏輯變項(xiàng)：關(guān)系者項(xiàng)：表示關(guān)系承受者的詞項(xiàng)，常用符號(hào)a、b、c，或x、y、z表示。邏輯常項(xiàng)：（1）關(guān)系項(xiàng)（R）：表示關(guān)系的詞項(xiàng)。（2）量項(xiàng)（quantifier，量詞）：表示關(guān)系者項(xiàng)的外延范圍的詞項(xiàng)。2023年5月9日61邏輯學(xué)第61頁(yè)，共172頁(yè)，2023年，2月20日，星期四全稱(chēng)量詞（universalquantifier）“所有”（）；存在量詞（existentialquantifier）“有的”（）。若不考慮量詞，則關(guān)系命題的邏輯形式可表示為：R（a、b、……n）或者aRb2023年5月9日62邏輯學(xué)第62頁(yè)，共172頁(yè)，2023年，2月20日，星期四關(guān)系的對(duì)稱(chēng)性

若R（a、b）真，R（b、a）是否為真的問(wèn)題（1）對(duì)稱(chēng)關(guān)系：當(dāng)R（a、b）真時(shí)，若R（b、a）必然真，則R就是對(duì)稱(chēng)關(guān)系；如：等于、是朋友、交叉關(guān)系……（2）反對(duì)稱(chēng)關(guān)系：當(dāng)R（a、b）真時(shí)，若R（b、a）必然假，則R就是反對(duì)稱(chēng)關(guān)系；如：大于、輕于、真包含關(guān)系……（3）準(zhǔn)對(duì)稱(chēng)關(guān)系（通稱(chēng)非對(duì)稱(chēng)關(guān)系）：當(dāng)R（a、b）真時(shí)，若R（b、a）可真可假，則R就是準(zhǔn)對(duì)稱(chēng)關(guān)系。如：認(rèn)識(shí)、幫助、喜歡……2023年5月9日63邏輯學(xué)第63頁(yè)，共172頁(yè)，2023年，2月20日，星期四王元澤巧答（北宋）客人問(wèn)：哪只是獐，哪只是鹿？王元澤：獐旁邊的是鹿，鹿旁邊的是獐。“在???旁邊”具有對(duì)稱(chēng)關(guān)系阿凡提釋夢(mèng)國(guó)王夢(mèng)見(jiàn)一個(gè)人把他的牙拔光了。丞相釋夢(mèng)：陛下全家將比陛下先死（被宰）阿凡提釋夢(mèng)：陛下將比您所有的家人長(zhǎng)壽（賜錦袍）“???比???先死”具有反對(duì)稱(chēng)關(guān)系2023年5月9日64邏輯學(xué)第64頁(yè)，共172頁(yè)，2023年，2月20日，星期四關(guān)系的傳遞性：

若R（a、b）真，且R（b、c）也真，R（a、c）是否為真的問(wèn)題（1）傳遞關(guān)系：當(dāng)R（a、b）真，且R（b、c）真時(shí)，若R（a、c）必然真，則R是傳遞關(guān)系；如：等于、大于、真包含關(guān)系……（2）反傳遞關(guān)系當(dāng)R（a、b）真，且R（b、c）真時(shí)，若R（a、c）必然假，則R就是反傳遞關(guān)系；如：高2米、矛盾關(guān)系……（3）準(zhǔn)傳遞關(guān)系（通稱(chēng)非傳遞關(guān)系）：當(dāng)R（a、b）真且R（b、c）真時(shí)，若R（a、c）可真可假，則R是準(zhǔn)傳遞關(guān)系。如：認(rèn)識(shí)、是朋友、交叉關(guān)系……2023年5月9日65邏輯學(xué)第65頁(yè)，共172頁(yè)，2023年，2月20日，星期四兔子湯的湯我們是送您兔子的那位朋友的朋友我們是送您兔子的那位朋友的朋友的朋友這就是我那位朋友送來(lái)的兔子的湯的湯“朋友”是非傳遞關(guān)系2023年5月9日66邏輯學(xué)第66頁(yè)，共172頁(yè)，2023年，2月20日，星期四三、直言命題（性質(zhì)命題）2023年5月9日邏輯學(xué)67第67頁(yè)，共172頁(yè)，2023年，2月20日，星期四1．直言命題的定義直言命題（categoricalproposition）：通稱(chēng)性質(zhì)命題，心理學(xué)著述中亦稱(chēng)范疇命題，港澳臺(tái)地區(qū)慣稱(chēng)定言命題，就是斷定對(duì)象是否具有某種性質(zhì)的簡(jiǎn)單命題。直言命題的語(yǔ)句表達(dá)式，是“主-謂式語(yǔ)句”（直陳句）。2023年5月9日68邏輯學(xué)第68頁(yè)，共172頁(yè)，2023年，2月20日，星期四例如：

①所有法官都是懂法律的②有的被告人不是有罪的③那本書(shū)不是小王借的④重慶市是長(zhǎng)江上游最大的城市2023年5月9日69邏輯學(xué)第69頁(yè)，共172頁(yè)，2023年，2月20日，星期四2.直言命題的邏輯結(jié)構(gòu)邏輯變項(xiàng)（1）主項(xiàng)（subject）：亦稱(chēng)主詞，記為S

，表示被斷定對(duì)象的詞項(xiàng)。（2）謂項(xiàng)（predicate）：亦稱(chēng)謂詞或賓詞，記為P

，表示主項(xiàng)是否具有的某種性質(zhì)的詞項(xiàng)。2023年5月9日70邏輯學(xué)第70頁(yè)，共172頁(yè)，2023年，2月20日，星期四SP圖3-1SP圖3-4SP圖3-2PS圖3-3SP圖3-5主項(xiàng)S與謂項(xiàng)P之間的五種外延關(guān)系：2023年5月9日71邏輯學(xué)第71頁(yè)，共172頁(yè)，2023年，2月20日，星期四邏輯常項(xiàng)（1）聯(lián)項(xiàng)（connective）：表示主項(xiàng)與謂項(xiàng)之間聯(lián)系的詞項(xiàng)。有兩種形式：

a.肯定聯(lián)項(xiàng)“是”（有時(shí)可省略）

b.否定聯(lián)項(xiàng)“不是”（不能省略）例如：①這些人都（是）去過(guò)作案現(xiàn)場(chǎng)（的）。②假冒偽劣產(chǎn)品都不是法律允許產(chǎn)生的。2023年5月9日72邏輯學(xué)第72頁(yè)，共172頁(yè)，2023年，2月20日，星期四（2）量項(xiàng)（quantifier）：表示主項(xiàng)外延范圍的詞項(xiàng)。有三種形式：a.全稱(chēng)量項(xiàng)“所有”（可以省略）b.特稱(chēng)量項(xiàng)“有的”（不能省略）c.單稱(chēng)量項(xiàng)“這個(gè)”或“那個(gè)”（若主項(xiàng)為單獨(dú)概念，則省略不用）例如：①（所有）這些人都去過(guò)作案現(xiàn)場(chǎng)。 ②這塊黑板是電子白板。③（這條）亞馬遜河是世界上第一大河流。2023年5月9日73邏輯學(xué)第73頁(yè)，共172頁(yè)，2023年，2月20日，星期四3.直言命題的基本類(lèi)型按命題的質(zhì)（聯(lián)項(xiàng)）分，有肯定命題和否定命題兩種：（1）肯定命題：由肯定聯(lián)項(xiàng)聯(lián)結(jié)主項(xiàng)和謂項(xiàng)的直言命題。其形式為：（所有/有的/這個(gè)）S是P（2）否定命題：由否定聯(lián)項(xiàng)聯(lián)結(jié)主項(xiàng)和謂項(xiàng)的直言命題。其形式為：（所有/有的/這個(gè)）S不是P2023年5月9日74邏輯學(xué)第74頁(yè)，共172頁(yè)，2023年，2月20日，星期四按命題的量（量項(xiàng)）分，有全稱(chēng)命題、特稱(chēng)命題和單稱(chēng)命題三種：（1）全稱(chēng)命題：帶有全稱(chēng)量項(xiàng)的的直言命題。其形式為：所有S（是/不是）P（2）特稱(chēng)命題：帶有特稱(chēng)量項(xiàng)的直言命題。其形式為：有的S（是/不是）P（3）單稱(chēng)命題：主項(xiàng)為單獨(dú)概念或者帶有單稱(chēng)量項(xiàng)的直言命題。其形式為：這個(gè)（那個(gè)）S（是/不是）P2023年5月9日75邏輯學(xué)第75頁(yè)，共172頁(yè)，2023年，2月20日，星期四4.六種不同類(lèi)型的直言命題類(lèi)型邏輯形式符號(hào)表達(dá)式簡(jiǎn)符全稱(chēng)肯定命題全稱(chēng)否定命題特稱(chēng)肯定命題特稱(chēng)否定命題單稱(chēng)肯定命題單稱(chēng)否定命題所有S是PSAPA所有S不是PSEPE有的S是PSIPI有的S不是PSOPO這個(gè)S是PSFPF這個(gè)S不是PSNPN第76頁(yè)，共172頁(yè)，2023年，2月20日，星期四兩點(diǎn)說(shuō)明：（1）A、E、I、O是古羅馬時(shí)期的邏輯學(xué)家約定的，分別源自下述拉丁文詞匯：Affirmo（我肯定）：A、I

（第一、二個(gè)元音字母）

Nego（我否定）：E、O（第一、二個(gè)元音字母）（2）關(guān)于單稱(chēng)命題，邏輯史上極少研究，也沒(méi)有符號(hào)表達(dá)式。為方便起見(jiàn)，借用上述兩個(gè)拉丁文詞匯的第一個(gè)輔音字母F、N表示。2023年5月9日77邏輯學(xué)第77頁(yè)，共172頁(yè)，2023年，2月20日，星期四A、E、I、O的常見(jiàn)非標(biāo)準(zhǔn)語(yǔ)句表達(dá)式（1）“沒(méi)有（一個(gè)）S不是P”句式表達(dá)SAP：例如：

①?zèng)]有哪種犯罪行為不是違法行為。②我們班沒(méi)有一個(gè)男同學(xué)不是足球迷。（2）“沒(méi)有（一個(gè)）S是P”句式表達(dá)SEP：例如：

①這些死者沒(méi)有一個(gè)是自然死亡的。

②沒(méi)有什么難題是不可解的。

2023年5月9日78邏輯學(xué)第78頁(yè)，共172頁(yè)，2023年，2月20日，星期四（3）“S中，有P”句式表達(dá)SIP：例如：①大學(xué)生中，有黨員。②在押犯中，有慣犯。（4）特稱(chēng)量項(xiàng)“有的”不規(guī)范的情形：（不少）（許多）（多數(shù)）（少數(shù)）（相當(dāng)部分）（有一個(gè)）┇S是（不是）P

≡SIP（SOP）第79頁(yè)，共172頁(yè)，2023年，2月20日，星期四（5）“S不都是P”句式表達(dá)SOP：例如：①去過(guò)作案現(xiàn)場(chǎng)的不都是作案人。

②懂法律的人不都是律師。2023年5月9日80邏輯學(xué)第80頁(yè)，共172頁(yè)，2023年，2月20日，星期四課堂練習(xí)：

分析下列直言命題的邏輯結(jié)構(gòu)，指出其主、謂、量、聯(lián)項(xiàng)，并寫(xiě)出其邏輯形式：1．無(wú)論什么樣的困難都不是不可克服的。2．甲廠(chǎng)生產(chǎn)的許多產(chǎn)品都是優(yōu)質(zhì)產(chǎn)品。3．我們班有一位男同學(xué)是足球迷。4．教學(xué)樓下面那塊黑板報(bào)是甲班的班報(bào)。5．我們班沒(méi)有一個(gè)同學(xué)是追星族。6．參加今天討論的不都是我們班的同學(xué)。2023年5月9日81邏輯學(xué)第81頁(yè)，共172頁(yè)，2023年，2月20日，星期四5.直言命題的詞項(xiàng)周延性詞項(xiàng)周延性的涵義詞項(xiàng)周延性（distribution）：就是指一個(gè)直言命題的主（謂）項(xiàng)的外延是否被全部斷定的問(wèn)題。周延的（distributed）：若在一個(gè)直言命題中斷定了某一詞項(xiàng)的全部外延，它就是周延的；不周延的（undistributed）：如果在一個(gè)直言命題中沒(méi)有斷定某一詞項(xiàng)的全部外延，或者，無(wú)法確知是否斷定了某一詞項(xiàng)的全部外延，那么，該詞項(xiàng)就是不周延的。2023年5月9日82邏輯學(xué)第82頁(yè)，共172頁(yè)，2023年，2月20日，星期四六種直言命題的主、謂項(xiàng)周延情況（1）全稱(chēng)命題的主項(xiàng)周延，特稱(chēng)命題的主項(xiàng)不周延，單稱(chēng)命題的主項(xiàng)也周延；（2）肯定命題的謂項(xiàng)不周延，否定命題的謂項(xiàng)周延。2023年5月9日83邏輯學(xué)第83頁(yè)，共172頁(yè)，2023年，2月20日，星期四若以“+”表示“周延”，“

-”表示“不周延”，則六種直言命題的詞項(xiàng)周延情況如下：S+

AP-S+EP+S-IP-S-OP+S+FP-S+

NP

+第84頁(yè)，共172頁(yè)，2023年，2月20日，星期四A.E.I.O的主、謂項(xiàng)周延與否可如此判定主項(xiàng)看量項(xiàng)

全稱(chēng)——主項(xiàng)周延特稱(chēng)——主項(xiàng)不周延謂項(xiàng)看聯(lián)項(xiàng)

肯定——謂項(xiàng)不周延否定——謂項(xiàng)周延

A：主周謂不周

E：主謂都周

I：主謂都不周

O：主不周謂周

2023年5月9日85邏輯學(xué)第85頁(yè)，共172頁(yè)，2023年，2月20日，星期四應(yīng)注意的問(wèn)題1．詞項(xiàng)周延與否，惟一地取決于一個(gè)直言命題的邏輯形式，與命題的真假無(wú)關(guān)，與命題所斷定的實(shí)際情況無(wú)關(guān)。2．詞項(xiàng)周延性問(wèn)題，僅僅與直言命題的主、謂項(xiàng)相關(guān)。2023年5月9日86邏輯學(xué)第86頁(yè)，共172頁(yè)，2023年，2月20日，星期四A、E、I、O的真值表

（A、E、I、O的真假值判定）直言命題，本質(zhì)上就是斷定主項(xiàng)S與謂項(xiàng)P之間的外延關(guān)系的。因此，一個(gè)直言命題的真假值，就取決于它的斷定是否符合主項(xiàng)S與謂項(xiàng)P之間事實(shí)上的外延關(guān)系。2023年5月9日87邏輯學(xué)第87頁(yè)，共172頁(yè)，2023年，2月20日，星期四A、E、I、O的真值表

SP

PS

SP

SP

SPSAPSEPSIPSOP++++++++++----------第88頁(yè)，共172頁(yè)，2023年，2月20日，星期四課堂練習(xí)1．若a與b交叉，且b真包含c，則下述命題中必然為真的是（

）。①所有a是c（aAc）②所有a不是c（aEc）③有的a是c（aIc）④有的a不是c（aOc）2023年5月9日89邏輯學(xué)第89頁(yè)，共172頁(yè)，2023年，2月20日，星期四課堂練習(xí)1．若a與b交叉，且b真包含c，則下述命題中必然為真的是（④）。①所有a是c（aAc）②所有a不是c（aEc）③有的a是c（aIc）④有的a不是c（aOc）2023年5月9日90邏輯學(xué)第90頁(yè)，共172頁(yè)，2023年，2月20日，星期四2．若a與b交叉，且b真包含于c，則下述命題中必然為真的是（）。①所有a是c（aAc）②所有a不是c（aEc）③有的a是c（aIc）④有的a不是c（aOc）2023年5月9日91邏輯學(xué)第91頁(yè)，共172頁(yè)，2023年，2月20日，星期四2．若a與b交叉，且b真包含于c，則下述命題中必然為真的是（③）。①所有a是c（aAc）②所有a不是c（aEc）③有的a是c（aIc）④有的a不是c（aOc）2023年5月9日92邏輯學(xué)第92頁(yè)，共172頁(yè)，2023年，2月20日，星期四3．若“有的A是B”和“有的A不是B”都真，則A與B之間的關(guān)系不可能是（）。①全同關(guān)系②交叉關(guān)系③全異關(guān)系④種屬關(guān)系⑤屬種關(guān)系2023年5月9日93邏輯學(xué)第93頁(yè)，共172頁(yè)，2023年，2月20日，星期四3．若“有的A是B”和“有的A不是B”都真，則A與B之間的關(guān)系不可能是（①③④）。①全同關(guān)系②交叉關(guān)系③全異關(guān)系④種屬關(guān)系⑤屬種關(guān)系2023年5月9日94邏輯學(xué)第94頁(yè)，共172頁(yè)，2023年，2月20日，星期四直言命題之間的對(duì)當(dāng)關(guān)系原理直言命題間的對(duì)當(dāng)關(guān)系（1）廣義：任意兩個(gè)或多個(gè)直言命題之間的真假制約關(guān)系。（2）狹義：邏輯變項(xiàng)相同（素材相同）的A、E、I、O之間的真假制約關(guān)系。2023年5月9日95邏輯學(xué)第95頁(yè)，共172頁(yè)，2023年，2月20日，星期四A、E、I、O之間的對(duì)當(dāng)關(guān)系原理（1）SAP與SEP之間

SP

PS

SP

SP

SPSAP++---SEP----+具有反對(duì)關(guān)系2023年5月9日96邏輯學(xué)第96頁(yè)，共172頁(yè)，2023年，2月20日，星期四（2）SIP與SOP之間

SP

PS

SP

SP

SPSIP++++-SOP--+++具有下反對(duì)關(guān)系2023年5月9日97邏輯學(xué)第97頁(yè)，共172頁(yè)，2023年，2月20日，星期四（3）SAP與SOP之間

SP

PS

SP

SP

SPSAP++---SOP--+++具有矛盾關(guān)系★

SEP與SIP之間也具有矛盾關(guān)系2023年5月9日98邏輯學(xué)第98頁(yè)，共172頁(yè)，2023年，2月20日，星期四（4）SAP與SIP之間

SP

PS

SP

SP

SPSAP++---SIP++++-具有差等關(guān)系★

SEP與SOP之間也具有差等關(guān)系2023年5月9日99邏輯學(xué)第99頁(yè)，共172頁(yè)，2023年，2月20日，星期四（5）邏輯方陣（logicalsquare）

通稱(chēng)“直言方陣”SAPSEPSIPSOP反對(duì)關(guān)系下反對(duì)關(guān)系差等關(guān)系差等關(guān)系矛盾關(guān)系矛盾關(guān)系2023年5月9日100邏輯學(xué)第100頁(yè)，共172頁(yè)，2023年，2月20日，星期四矛矛盾盾關(guān)系關(guān)系反對(duì)關(guān)系

下反對(duì)關(guān)系

差等關(guān)系差等關(guān)系真假假假假假假假假真真真真真真真AEIO矛盾關(guān)系：不能同真，不能同假反對(duì)關(guān)系：不能同真，可以同假下反對(duì)關(guān)系：可以同真，不能同假差等關(guān)系：可以同真，可以同假2023年5月9日101邏輯學(xué)第101頁(yè)，共172頁(yè)，2023年，2月20日，星期四SAPSEPSIPSOPA、E、I、O間的推導(dǎo)關(guān)系2023年5月9日102邏輯學(xué)第102頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題之推導(dǎo)的真假與事實(shí)的真假根據(jù)對(duì)當(dāng)關(guān)系原理，若已知“有的法官是懂法律的”為真，則可知“所有法官都是懂法律的”這一命題為（ 可真可假 ）。命題推導(dǎo)的真假，亦稱(chēng)邏輯的真假（logicaltruism）命題事實(shí)的真假，亦稱(chēng)經(jīng)驗(yàn)的真假（physicaltruism）二者并非一回事。2023年5月9日103邏輯學(xué)第103頁(yè)，共172頁(yè)，2023年，2月20日，星期四關(guān)于單稱(chēng)命題之間的對(duì)當(dāng)關(guān)系邏輯變項(xiàng)相同的單稱(chēng)肯定命題（SFP）與單稱(chēng)否定命題（SNP）之間具有矛盾關(guān)系。主項(xiàng)相同、謂項(xiàng)不同的兩個(gè)單稱(chēng)肯定命題之間：（1）若謂項(xiàng)是矛盾概念，則二者間具有矛盾關(guān)系；（2）若謂項(xiàng)是反對(duì)概念，則二者間具有反對(duì)關(guān)系。2023年5月9日104邏輯學(xué)第104頁(yè)，共172頁(yè)，2023年，2月20日，星期四主項(xiàng)相同、謂項(xiàng)不同的兩個(gè)單稱(chēng)否定命題之間：（1）若謂項(xiàng)是矛盾概念，則二者間具有矛盾關(guān)系“張××不是成年人”與“張××不是未成年人”（2）若謂項(xiàng)是反對(duì)概念，則二者間具有下反對(duì)關(guān)系

“張××不是青年人”與“張××不是老年人”2023年5月9日105邏輯學(xué)第105頁(yè)，共172頁(yè)，2023年，2月20日，星期四直言六角

（A、E、I、O、F、N間的對(duì)當(dāng)關(guān)系）SAPSEPSIPSOPSFPSNP2023年5月9日106邏輯學(xué)第106頁(yè)，共172頁(yè)，2023年，2月20日，星期四直言命題的隱含及其推導(dǎo)命題的預(yù)設(shè)與命題的隱含命題的預(yù)設(shè)（presupposition）命題的預(yù)設(shè)：是一個(gè)命題預(yù)先設(shè)定的東西，是命題得以成立的先決條件，在交際中則表現(xiàn)為交際雙方共同接受的東西（背景知識(shí)）。預(yù)設(shè)有語(yǔ)義預(yù)設(shè)和語(yǔ)用預(yù)設(shè)之分。2023年5月9日107邏輯學(xué)第107頁(yè)，共172頁(yè)，2023年，2月20日，星期四語(yǔ)義預(yù)設(shè)：是一個(gè)命題及其否定都要假定的東西，是一個(gè)命題為真或?yàn)榧俚那疤釛l件。例如：

①那座白色的建筑物是體育館。②那座白色的建筑物不是體育館。

這是兩個(gè)互相否定的命題，二者都預(yù)設(shè)了：那座建筑物是白色的2023年5月9日108邏輯學(xué)第108頁(yè)，共172頁(yè)，2023年，2月20日，星期四語(yǔ)用預(yù)設(shè)若話(huà)語(yǔ)A只有當(dāng)命題B為交談雙方所共知時(shí)才是恰當(dāng)?shù)?，則A在語(yǔ)用上預(yù)設(shè)B。語(yǔ)用預(yù)設(shè)具有如下特征：①共知性②恰當(dāng)性

③可取消性2023年5月9日109邏輯學(xué)第109頁(yè)，共172頁(yè)，2023年，2月20日，星期四問(wèn)句的預(yù)設(shè)與復(fù)雜問(wèn)語(yǔ)A．問(wèn)句也有預(yù)設(shè)例如：“你怎么又遲到了？”預(yù)設(shè)著：“你曾經(jīng)遲到過(guò)?！?023年5月9日110邏輯學(xué)第110頁(yè)，共172頁(yè)，2023年，2月20日，星期四復(fù)雜問(wèn)語(yǔ)（manyquetions）所謂復(fù)雜問(wèn)語(yǔ)，就是提問(wèn)者為了達(dá)到某種目的而有意隱含某種預(yù)設(shè)的問(wèn)語(yǔ)。復(fù)雜問(wèn)語(yǔ)的預(yù)設(shè)通常是虛假的，且一般是回答者不能接受或不愿接受的，問(wèn)者想誘使對(duì)方對(duì)復(fù)雜問(wèn)語(yǔ)的回答，以達(dá)到讓對(duì)方承認(rèn)（接受）這一預(yù)設(shè)的目的。例如：①你還打你的父親嗎？②殺人的刀子你丟哪了？2023年5月9日111邏輯學(xué)第111頁(yè)，共172頁(yè)，2023年，2月20日，星期四命題的隱含（implicature）命題的隱含：命題中包含的而未明白地陳述出來(lái)的與該命題相一致或等值的陳述。例如：嫌疑人：該講的我都講了。預(yù)審員：還有你覺(jué)得不該講的么？

2023年5月9日112邏輯學(xué)第112頁(yè)，共172頁(yè)，2023年，2月20日，星期四推導(dǎo)直言命題隱含的方法推導(dǎo)直言命題隱含的邏輯方法，傳統(tǒng)邏輯通稱(chēng)為直言直接推理（categoricalimmediatereasoning），簡(jiǎn)稱(chēng)直接推理。這樣的推導(dǎo)方法，主要包括根據(jù)對(duì)當(dāng)關(guān)系進(jìn)行的推導(dǎo)和根據(jù)命題變形進(jìn)行的推導(dǎo)。根據(jù)命題變形進(jìn)行的推導(dǎo)，有換質(zhì)法、換位法和戾換法。2023年5月9日113邏輯學(xué)第113頁(yè)，共172頁(yè)，2023年，2月20日，星期四換質(zhì)法（obversion）（1）定義（方法）：換質(zhì)法：通過(guò)改變一個(gè)直言命題的質(zhì)（聯(lián)項(xiàng)）從而推導(dǎo)出另一個(gè)直言命題的方法。（2）規(guī)則（邏輯要求）：第一、新命題的謂項(xiàng)必須是原命題謂項(xiàng)的矛盾概念；第二、換質(zhì)不換量。2023年5月9日114邏輯學(xué)第114頁(yè)，共172頁(yè)，2023年，2月20日，星期四（3）有效的推導(dǎo)公式①SAP②SEP③SIP④SOP“→”表示“可以推出”“←

”表示“可以逆推”⑤SFP⑥SNP2023年5月9日115邏輯學(xué)第115頁(yè)，共172頁(yè)，2023年，2月20日，星期四狗和海螺

（外國(guó)寓言故事）有一條狗偶爾吃了一只雞蛋，感到味道鮮美，慢慢地它就吃上癮。久而久之，它得出了經(jīng)驗(yàn)：所有雞蛋都是圓的。有一天，它看到一個(gè)圓圓的海螺，以為是雞蛋，一口吞了下去（因?yàn)樗瞥鏊袌A的都是雞蛋）。不久肚子疼痛。2023年5月9日116邏輯學(xué)第116頁(yè)，共172頁(yè)，2023年，2月20日，星期四換位法（conversion）換位法：通過(guò)改變一個(gè)直言命題主、謂項(xiàng)的位置從而推導(dǎo)出另一直言命題的方法。規(guī)則（邏輯要求）：第一、原命題中不周延的詞項(xiàng)在新命題中不得周延；第二、換位不換質(zhì)。2023年5月9日117邏輯學(xué)第117頁(yè)，共172頁(yè)，2023年，2月20日，星期四（3）有效的推導(dǎo)公式①SAP③SEP④SIP⑤SOP②SAP-+-+SAP不能簡(jiǎn)單換位◆只能限量換位★

簡(jiǎn)單換位◆SOP不能換位2023年5月9日118邏輯學(xué)第118頁(yè)，共172頁(yè)，2023年，2月20日，星期四戾（lì

）換法（inversion）戾換法：不斷交替使用換質(zhì)法和換位法由一個(gè)直言命題推導(dǎo)出一串直言命題的方法。戾換法分為換質(zhì)位法（先換質(zhì)后換位）和換位質(zhì)法（先換位后換質(zhì)）兩種。規(guī)則（邏輯要求）：第一，分別遵守?fù)Q質(zhì)和換位的規(guī)則；第二，相鄰兩個(gè)步驟不得運(yùn)用同一種方法。2023年5月9日119邏輯學(xué)第119頁(yè)，共172頁(yè)，2023年，2月20日，星期四某公請(qǐng)客該來(lái)的不來(lái)不該走的走了我又沒(méi)說(shuō)他該來(lái)的（是）不來(lái)的→該來(lái)的不是來(lái)的

→來(lái)的不是該來(lái)的→來(lái)的是不該來(lái)的2023年5月9日120邏輯學(xué)第120頁(yè)，共172頁(yè)，2023年，2月20日，星期四（3）有效的推導(dǎo)公式①SAPa．換質(zhì)位法（先換質(zhì)后換位）①②③⑤④④②SEP①②③2023年5月9日121邏輯學(xué)第121頁(yè)，共172頁(yè)，2023年，2月20日，星期四③SIP①②④SOP①②③2023年5月9日122邏輯學(xué)第122頁(yè)，共172頁(yè)，2023年，2月20日，星期四①SAPb．換位質(zhì)法（先換位后換質(zhì)）①②②SEP①②③④③SIP①②④SOP不能換位質(zhì)2023年5月9日123邏輯學(xué)第123頁(yè)，共172頁(yè)，2023年，2月20日，星期四課堂練習(xí)1．根據(jù)直言命題的相關(guān)知識(shí)，由可必然推出（）。①④⑤2023年5月9日124邏輯學(xué)第124頁(yè)，共172頁(yè)，2023年，2月20日，星期四課堂練習(xí)2．下列命題中，為“參加這次會(huì)議的代表都是先進(jìn)工作者”所隱含的是（）。

①不是參加這次會(huì)議的代表都不是先進(jìn)工作者②先進(jìn)工作者都是參加這次會(huì)議的代表③參加這次會(huì)議的代表中，有先進(jìn)工作者④有的非先進(jìn)工作者是參加這次會(huì)議的代表

③2023年5月9日125邏輯學(xué)第125頁(yè)，共172頁(yè)，2023年，2月20日，星期四特稱(chēng)量項(xiàng)“有的”的邏輯涵義特稱(chēng)量項(xiàng)“有的”與日常用語(yǔ)中“有的”之區(qū)別：日常用語(yǔ)中的“有的”≡“僅僅有一些”（通俗地說(shuō)，就是“下要保底，上要封頂”）特稱(chēng)量項(xiàng)“有的”≡df.至少（存在）有一個(gè)（通俗地說(shuō)，就是“下要保底，上不封頂”）返回幻燈片642023年5月9日126邏輯學(xué)第126頁(yè)，共172頁(yè)，2023年，2月20日，星期四2023年5月9日127邏輯學(xué)第127頁(yè)，共172頁(yè)，2023年，2月20日，星期四性質(zhì)判斷的含義性質(zhì)判斷是直接斷定對(duì)象物具有或不具有某種性質(zhì)的判斷。是簡(jiǎn)單判斷的一種，因?yàn)閷?duì)對(duì)象物性質(zhì)的斷定簡(jiǎn)單明了，又叫直言判斷。例如：所有犯罪行為都具有社會(huì)危害性。廣州是沿海城市。2023年5月9日128邏輯學(xué)第128頁(yè)，共172頁(yè)，2023年，2月20日，星期四性質(zhì)判斷的構(gòu)成任何性質(zhì)判斷都是由主項(xiàng)、謂項(xiàng)、量項(xiàng)、聯(lián)項(xiàng)四部分構(gòu)成的。1.主項(xiàng)：在性質(zhì)判斷中表示事物的概念，或反映被斷定對(duì)象的概念。用字母S表示。

如“所有犯罪行為”和“廣州”都是各判斷的主項(xiàng)。2023年5月9日129邏輯學(xué)第129頁(yè)，共172頁(yè)，2023年，2月20日，星期四2.謂項(xiàng)：在性質(zhì)判斷種表示性質(zhì)的概念，它反映被斷定對(duì)象具有或不具有某種性質(zhì)。用字母P表示。如，“具有社會(huì)危害性”和“沿海城市”就是各判斷的謂項(xiàng)。2023年5月9日130邏輯學(xué)第130頁(yè)，共172頁(yè)，2023年，2月20日，星期四3.聯(lián)項(xiàng)：指在性質(zhì)判斷中表示主項(xiàng)和謂項(xiàng)聯(lián)系狀況的系詞。如“是”或“不是”通常叫做肯定聯(lián)項(xiàng)或否定聯(lián)項(xiàng)。通常，在判斷的語(yǔ)言表達(dá)中，肯定聯(lián)項(xiàng)有時(shí)可以省略，但是否定聯(lián)項(xiàng)則不能省略。2023年5月9日131邏輯學(xué)第131頁(yè)，共172頁(yè)，2023年，2月20日，星期四4.量項(xiàng)：也叫做判斷的量，即使在性質(zhì)判斷中表示主項(xiàng)數(shù)量的量詞。包括全稱(chēng)量項(xiàng)、特稱(chēng)量項(xiàng)、單稱(chēng)量項(xiàng)。如在判斷中通常使用的“所有”、“一切”、“任何一種”、“凡是”等詞項(xiàng)來(lái)表示。全稱(chēng)判斷的語(yǔ)言標(biāo)志“所有”等是可以省略的。特稱(chēng)量項(xiàng)“有的”與日常語(yǔ)言中“有的”的含義有所不同，只表在一類(lèi)現(xiàn)象中有對(duì)象被陳述為2023年5月9日132邏輯學(xué)第132頁(yè)，共172頁(yè)，2023年，2月20日，星期四有無(wú)某性質(zhì)，而未說(shuō)明被陳述的對(duì)象。因此“有的”等特稱(chēng)量項(xiàng)不能省略。單稱(chēng)量項(xiàng)表示在判斷中主項(xiàng)的外延的一個(gè)對(duì)象，可用“這個(gè)”“那個(gè)”等詞項(xiàng)表示。而主項(xiàng)若是普通詞項(xiàng)，則不能被省略。2023年5月9日133邏輯學(xué)第133頁(yè)，共172頁(yè)，2023年，2月20日，星期四所有與有的全稱(chēng)量項(xiàng)在判斷中通常用“所有”、“一切”、“任何一種”、“凡是”、“統(tǒng)一”等詞項(xiàng)來(lái)表示。在判斷的實(shí)際表達(dá)中，全稱(chēng)判斷的語(yǔ)言標(biāo)志“所有”等是可以省略的。特稱(chēng)量項(xiàng)的“有的”等，只表示在一類(lèi)現(xiàn)象中有對(duì)象被陳述為有無(wú)某性質(zhì)，至于這一類(lèi)對(duì)象中未被陳述的對(duì)象如何，它并未做出明確的表示。因此，特稱(chēng)量項(xiàng)“有的”等是指“至少有一個(gè)”，它并非排除客觀(guān)上可能全部如此，少者可以是一個(gè)，多者可以是全部。2023年5月9日邏輯學(xué)134第134頁(yè)，共172頁(yè)，2023年，2月20日，星期四1.這個(gè)

蘋(píng)果

是

我的。單稱(chēng)量項(xiàng)主項(xiàng)S聯(lián)項(xiàng)謂項(xiàng)P2.這里的所有蘋(píng)果都是我的。單稱(chēng)量項(xiàng)全程量項(xiàng)主項(xiàng)S聯(lián)項(xiàng)謂項(xiàng)P舉例2023年5月9日135邏輯學(xué)第135頁(yè)，共172頁(yè)，2023年，2月20日，星期四所有有的這個(gè)S是不是P性質(zhì)判斷的形式構(gòu)成2023年5月9日136邏輯學(xué)第136頁(yè)，共172頁(yè)，2023年，2月20日，星期四性質(zhì)判斷的種類(lèi)性質(zhì)判斷肯定判斷否定判斷“是”“不是”根據(jù)聯(lián)項(xiàng)，即判斷性質(zhì)的不同2023年5月9日137邏輯學(xué)第137頁(yè)，共172頁(yè)，2023年，2月20日，星期四①所有的犯罪行為都是具有社會(huì)危害性的。②所有的故意犯罪都不是過(guò)失犯罪。③有的被告是無(wú)罪的。④有的被告不是男性。⑤廣州是沿海城市。⑥廣州大橋不是此案的第一作案現(xiàn)場(chǎng)。這些都是直言判斷，分別對(duì)一些對(duì)象做出斷定，證明它們具有或不具有某種性質(zhì)。2023年5月9日邏輯學(xué)138第138頁(yè)，共172頁(yè)，2023年，2月20日，星期四性質(zhì)判斷量項(xiàng)不同單稱(chēng)判斷（陳述一個(gè)特定的對(duì)象、事物具有或不具有某種性質(zhì)的判斷）特稱(chēng)判斷（陳述一類(lèi)事物至少存在著一事物具有或不具有某種性質(zhì)的判斷）全稱(chēng)判斷（陳述一類(lèi)事物的全部分子都具有或不具有某種性質(zhì)的判斷）如，南昌是江西省的省會(huì)。如，所有犯罪行為都是具有社會(huì)危害的。如，有的同學(xué)不是本地人。2023年5月9日139邏輯學(xué)第139頁(yè)，共172頁(yè)，2023年，2月20日，星期四性質(zhì)判斷根據(jù)判斷的質(zhì)和量的結(jié)合單稱(chēng)肯定判斷：邏輯形式為這個(gè)S是P.單稱(chēng)否定判斷：邏輯形式為這個(gè)S不是P.全稱(chēng)肯定判斷：邏輯形式為所有S都是P.

即SAP簡(jiǎn)記為A;全稱(chēng)否定判斷：邏輯形式為所有S都不是P.

即SEP簡(jiǎn)記為E;特稱(chēng)肯定判斷：邏輯形式為有S是P.

即SIP簡(jiǎn)記為I;特稱(chēng)否定判斷：邏輯形式為有S不是P.

即SOP簡(jiǎn)記為O;2023年5月9日140邏輯學(xué)第140頁(yè)，共172頁(yè)，2023年，2月20日，星期四性質(zhì)判斷各形式、各詞項(xiàng)的周延狀況判斷形式周延情況主項(xiàng)謂項(xiàng)SAPA周延不周延SEPE周延周延SIPI不周延不周延SOPO不周延周延2023年5月9日141邏輯學(xué)第141頁(yè)，共172頁(yè)，2023年，2月20日，星期四SAP在A的判斷中，斷定全部S都是P，這就意味著所有S是P的一部分，但是并不意味著所有S是所有P。PS主項(xiàng)S是周延的，而謂項(xiàng)P不周延。2023年5月9日142邏輯學(xué)第142頁(yè)，共172頁(yè)，2023年，2月20日，星期四SEP在E判斷中，斷定全部S不是P，是意味著把S的全部外延排除在P的全部外延之外。SP在全稱(chēng)否定判斷中，主項(xiàng)是周延的，謂項(xiàng)也是周延的。2023年5月9日143邏輯學(xué)第143頁(yè)，共172頁(yè)，2023年，2月20日，星期四SIP在I判斷中，只是判斷一部分S是P，所以其主項(xiàng)是不周延的，其謂項(xiàng)也是不周延的。SP2023年5月9日144邏輯學(xué)第144頁(yè)，共172頁(yè)，2023年，2月20日，星期四SOP在O判斷中，斷定一部分S不是P，也就是把這一部分排除在全部P的外延之外，所以在性質(zhì)否定判斷中，主項(xiàng)不周延，謂項(xiàng)周延。SP2023年5月9日145邏輯學(xué)第145頁(yè)，共172頁(yè)，2023年，2月20日，星期四周延與不周延所謂詞項(xiàng)的周延性，是指在性質(zhì)判斷中，對(duì)主項(xiàng)、謂項(xiàng)外延數(shù)量的斷定情況。如果一個(gè)性質(zhì)（或謂項(xiàng)）所斷定的是該概念的全部外延，那么，這個(gè)判斷的主項(xiàng)（或謂項(xiàng)）就是周延的；如果一個(gè)性質(zhì)判斷的主項(xiàng)（或謂項(xiàng)）所斷定的不是該概念的全部外延，那么，這個(gè)概念的主項(xiàng)（或謂項(xiàng)）就是不周延的。2023年5月9日邏輯學(xué)146第146頁(yè)，共172頁(yè)，2023年，2月20日，星期四在A判斷中，斷定全部S都是P所有主項(xiàng)是周延的，但謂項(xiàng)P不周延，因?yàn)楫?dāng)我們說(shuō)“所有S都是P”時(shí)，僅意味著所有S是P的一部分，并不意味著所有S是所有P。例如，“所有罪犯行為都是違法行為”，這個(gè)判斷的主項(xiàng)“犯罪行為”是周延的，謂項(xiàng)“違法行為”是不周延的，因?yàn)樵谶@個(gè)判斷中我們只是判定全部犯罪行為是違法行為，并未同時(shí)斷定所有犯罪行為是全部違法行為。2023年5月9日邏輯學(xué)147第147頁(yè)，共172頁(yè)，2023年，2月20日，星期四在E判斷中，斷定全部S不是P，是意味著把S的全部外延排除在P的全部外延之外，所有，在全稱(chēng)否定判斷中主項(xiàng)是周延的，謂項(xiàng)也是周延的。例如，“所有人民團(tuán)體都不是審判機(jī)關(guān)”，這個(gè)判斷中的主項(xiàng)“人民團(tuán)體”是周延的，謂項(xiàng)“審判機(jī)關(guān)”也是周延的，因?yàn)槲覀償喽ㄈ咳嗣駡F(tuán)體都不是審判機(jī)關(guān)的同時(shí)，也就斷定全部審判機(jī)關(guān)都不是人民團(tuán)體。2023年5月9日邏輯學(xué)148第148頁(yè)，共172頁(yè)，2023年，2月20日，星期四在I判斷中，只是斷定一部分S是P，所以其主項(xiàng)是不周延的，其謂項(xiàng)也是不周延的，其中的道理與A的謂項(xiàng)不周延相同。這就是說(shuō)，當(dāng)我們說(shuō)一部分S是P的外延時(shí)，并不意味著這些S是全部P。例如，“有的司法干部是大學(xué)生”，只是斷定一部分司法干部是大學(xué)生，但并未同時(shí)斷定這些司法干部是全部大學(xué)生，所以，這個(gè)判斷中的謂項(xiàng)“大學(xué)生”是不周延的。2023年5月9日邏輯學(xué)149第149頁(yè)，共172頁(yè)，2023年，2月20日，星期四在O判斷中，斷定一部分S不是P，也就把這一部分S排除在全部P的外延之外，所以在性質(zhì)否定判斷中，主項(xiàng)不周延，謂項(xiàng)周延。例如，“有的被告不是有罪的人”，這個(gè)判斷中主項(xiàng)“被告”是不周延的，謂項(xiàng)“有罪的人”是周延的，因?yàn)楫?dāng)我們說(shuō)“有的被告不是有罪的人”時(shí)就是把一部分被告排除在“有罪的人”的全部外延之外。2023年5月9日邏輯學(xué)150第150頁(yè)，共172頁(yè)，2023年，2月20日，星期四同素材A、E、I、O之間的真假制約關(guān)系判斷的真假A所有S是P.+--S和p之間的關(guān)系判斷的形式SPPSPSSPSPE所有S不是PI有S是pO有S不是p-+-+-+--++-++-+-+2023年5月9日151邏輯學(xué)第151頁(yè)，共172頁(yè)，2023年，2月20日，星期四由上表可判斷出A、E、I、O之間的真假關(guān)系如下：1.A與E之間的真假關(guān)系：已知A為真，則必然推出E為假，但是若A為假，E也可以為假。若E為假，A可真可假。所以推出A與E不可同真但是同假，邏輯中稱(chēng)這種關(guān)系為反對(duì)關(guān)系。2023年5月9日152邏輯學(xué)第152頁(yè)，共172頁(yè)，2023年，2月20日，星期四2.A與O；E與I之間的真假關(guān)系：已知A為真，則必然推出O為假；若O為真，則必然推出A為假。已知A為假，則必然推出O為真；已知O為假，則必然推出A判斷為真。已知E為真，則必然推出I為假；若I為真，則必然推出E為假。已知E為假，則必然推出I為真；已知I為假,則必然推出E為真。A與O之間，E與I之間不可同真，不可同假，邏輯上稱(chēng)這種關(guān)系為矛盾關(guān)系。2023年5月9日153邏輯學(xué)第153頁(yè)，共172頁(yè)，2023年，2月20日，星期四3.A與I、E與O之間的真假關(guān)系A(chǔ)與I、E與O之間關(guān)系的特點(diǎn)是：全稱(chēng)真，特稱(chēng)必真；全稱(chēng)假，特稱(chēng)真假不一定。全稱(chēng)假；全稱(chēng)必假；特稱(chēng)真，全稱(chēng)真假不一定。這種關(guān)系為差等關(guān)系也叫從屬關(guān)系。4.I與O之間的真假關(guān)系I與O之間的真假關(guān)系是：不可同假，但是可以同真。邏輯上稱(chēng)這種關(guān)系為