詞項的種類和外延關(guān)系

詞項的種類和外延關(guān)系第一頁，共五十三頁，編輯于2023年，星期五第二頁，共五十三頁，編輯于2023年，星期五第三頁，共五十三頁，編輯于2023年，星期五一詞項的內(nèi)涵和外延（一）詞項的內(nèi)涵主觀性可變性相對穩(wěn)定性第四頁，共五十三頁，編輯于2023年，星期五（二）詞項的外延詞項的外延就是該詞項所指的某個（些）對象的集合或類別。“人”：“由古往今來屬于不同民族、有不同的膚色、操不同的語言、有不同的文化和傳統(tǒng)的所有個體構(gòu)成的集合或類”。第五頁，共五十三頁，編輯于2023年，星期五（三）內(nèi)涵決定外延，外延不能決定內(nèi)涵。柏拉圖：“人是無羽的兩足動物”。馬克?吐溫：“人是唯一知道羞恥或者需要羞恥的動物”。赫胥黎：“人是受他的器官奴役的智慧的生物”。物理學(xué)家：“人是熵的減少者”?；瘜W(xué)家：“人是碳原子的產(chǎn)物”。第六頁，共五十三頁，編輯于2023年，星期五（四）內(nèi)涵與外延之間存在反比關(guān)系學(xué)生；大學(xué)生；中央民族大學(xué)學(xué)生；中央民族大學(xué)哲學(xué)與宗教學(xué)學(xué)院學(xué)生第七頁，共五十三頁，編輯于2023年，星期五二詞項的種類（一）根據(jù)外延劃分單稱詞項：指獨一無二的對象。包括：（1）專有名詞：指稱特定對象。（2）限定摹狀詞：指通過某一事物的某種區(qū)別性特征的描述而唯一地指稱該事物。普遍詞項：反映某一類事物的詞項，其外延涉及兩個以上直至無窮的分子?？赵~項第八頁，共五十三頁，編輯于2023年，星期五（二）根據(jù)外延的屬性劃分１．類和集合類：共有某種特定屬性的所有對象的匯集；集合：同類個體有機地形成一個不可分的整體。第九頁，共五十三頁，編輯于2023年，星期五2.集合詞項和非集合詞項集合詞項：群島、人類、書籍、艦隊、森林、信件、工人階級、魯迅全集非集合詞項：島、人、書、軍艦、樹、信、工人、魯迅的文章第十頁，共五十三頁，編輯于2023年，星期五３．識別方法（1）根據(jù)構(gòu)詞方法判斷。名量式復(fù)合式匯類式（2）結(jié)合語言環(huán)境判斷。第十一頁，共五十三頁，編輯于2023年，星期五我們的機關(guān)干部來自五湖四海。昆蟲是地球上種類最多的動物。人貴有自知之明。中國人是勤勞勇敢的。中國人必須努力學(xué)習科學(xué)文化。中國人死都不怕，還怕困難嗎？中國人要愛中國。書是讀不完的。書是裝訂成冊的著作。人是由猿進化來的。人是有意識的。第十二頁，共五十三頁，編輯于2023年，星期五三詞項的外延關(guān)系第一，全同關(guān)系第二，屬種關(guān)系第三，種屬關(guān)系第四，交叉關(guān)系第五，全異關(guān)系第十三頁，共五十三頁，編輯于2023年，星期五小結(jié)：“集合關(guān)系”不等于“隸屬關(guān)系”；兩個單稱詞項之間只可能是全同或全異關(guān)系；矛盾關(guān)系和反對關(guān)系因具體論域而異；如果S和P是矛盾關(guān)系，則稱P是S的負詞項，同樣，S也是P的負詞項；通過歐拉圖可以同時表示多個詞項外延之間的關(guān)系。第十四頁，共五十三頁，編輯于2023年，星期五判斷下列各組詞項的外延關(guān)系：輪船；船艙政府官員；天文愛好者戰(zhàn)場；戰(zhàn)士《盜夢空間》；科幻電影拉登；基地組織頭目第十五頁，共五十三頁，編輯于2023年，星期五第二章命題邏輯PropositionalLogic第十六頁，共五十三頁，編輯于2023年，星期五第一節(jié)自然語言中復(fù)合命題的符號化2011年10月27日第十七頁，共五十三頁，編輯于2023年，星期五一復(fù)合命題的幾種類型Simple/compoundstatement雪是白的。張三和李四是廣東人?？ㄔ葡矚g住在帳篷里，并且已經(jīng)死了。如果一個推理的前提真實并且推理形式正確，則結(jié)論必定真實。X是偶數(shù)，當且僅當X能夠被2整除。并不是所有的人都喜歡在大城市生活。第十八頁，共五十三頁，編輯于2023年，星期五并非：并不是，…不成立，…是假的，…不符合事實，等等。并且：和；然后；不但，而且；雖然，但是；不僅，還；等等?；蛘撸阂?，要么；二者必居其一；等。要么：或者；要么，要么；二者必居其一；等。如果，則：假如，就；倘若，便；只要，就；哪怕，也；就算，也；當…時；等。只有，才：除非，才；除非，不；不，就不；僅當，才；等等。當且僅當：如果…則…并且只有…才…，如果…則…并且如果非…則非…，等等。第十九頁，共五十三頁，編輯于2023年，星期五

第一組：negationalstatement并非基地組織是一個人道主義組織。說“亞里士多德不是希臘人”是錯的。并不是所有的天鵝都是白的。說“所有的烏鴉都是黑的”是假的。“所有的烏鴉都是黑的”這一說法不成立。說“所有的烏鴉都是黑的”不符合事實。第二十頁，共五十三頁，編輯于2023年，星期五

第二組：conjunctivestatement9和11都是奇數(shù)。他雖然很努力，但還是沒能考上大學(xué)。小張不但學(xué)習好，而且人很善良。培根是個英國人，還做過大法官。盡管那是一個窮國、一片沒有什么資源的土地，但那還是很多有尊嚴的人們的家園。國有國法，家有家規(guī)。制造煙草既不誠實，也沒有社會責任感。第二十一頁，共五十三頁，編輯于2023年，星期五

第三組：disjunctivestatement小強發(fā)燒或者是感冒，或者是由于肺炎。根據(jù)天氣預(yù)報，明天不是刮風就是下雨?；驗橛袼椋驗橥呷?。今天不是星期一，就是星期二。任一個自然數(shù)或者是偶數(shù)，或者是奇數(shù)。第二十二頁，共五十三頁，編輯于2023年，星期五

第四組：conditionalstatement只要勤奮努力，總會有所收獲。假如沒有地球引力的話，樹上的蘋果就不會落地。如果拿破侖死于空難，那么拿破侖死了。如果某人有選舉權(quán)，那么他的年齡在18歲或18歲以上。前件和后件（antecedent；consequent）SufficientconditionNecessarycondition如果事件p的出現(xiàn)總是導(dǎo)致事件q的出現(xiàn)，則p稱作q的充分條件。如果沒有事件p，就沒有事件q的出現(xiàn)，則p稱作q的必要條件。第二十三頁，共五十三頁，編輯于2023年，星期五第四組：conditionalstatement只要勤奮努力，總會有所收獲。假如沒有地球引力的話，樹上的蘋果就不會落地。如果拿破侖死于空難，那么拿破侖死了。如果某人有選舉權(quán)，那么他的年齡在18歲或18歲以上。例如：患感冒是感到痛苦的充分條件，而有可供呼吸的空氣是生存的必要條件。如果事件p的出現(xiàn)總是導(dǎo)致事件q的出現(xiàn)，則p稱作q的充分條件。如果沒有事件p，就沒有事件q的出現(xiàn)，則p稱作q的必要條件。第二十四頁，共五十三頁，編輯于2023年，星期五

第五組：BiconditionalStatement張三是單身漢，當且僅當，他是未婚男子。人不犯我，我不犯人；人若犯我，我必犯人。如果公民年滿18周歲，則他有選舉權(quán)和被選舉權(quán)；只有公民年滿18周歲，他才有選舉權(quán)和被選舉權(quán)。戴高樂國際機場加強安全措施當且僅當肯尼迪國際機場也加強。第二十五頁，共五十三頁，編輯于2023年，星期五注意：不要混淆以下幾種命題形式“除非”（unless）=“如果不”；“…僅當…”與“僅當…才…”（only）“…當…”（when）“…當且僅當…”(Ifandonlyif或者：Iff)第二十六頁，共五十三頁，編輯于2023年，星期五鸚鵡是彩色的鳥。并非鸚鵡是彩色的鳥。鸚鵡是彩色的鳥，并且卡扎菲已經(jīng)死了。鸚鵡是彩色的鳥，或者卡扎菲已經(jīng)死了。要么鸚鵡是彩色的鳥，要么卡扎菲已經(jīng)死了。如果鸚鵡是彩色的鳥，那么卡扎菲已經(jīng)死了。鸚鵡是彩色的鳥，當且僅當卡扎菲已經(jīng)死了。第二十七頁，共五十三頁，編輯于2023年，星期五判斷正誤：如果p是q的充分條件，那么q是p的必要條件。一個推理的前提真，并且結(jié)論真，這個推理一定是有效的。一個推理的前提真，并且結(jié)論假，這個推理一定是無效的。如果一個推理的結(jié)論假，那么這個推理就不可能是正確的。第二十八頁，共五十三頁，編輯于2023年，星期五二公式及其生成規(guī)則（一）算子（operator）否定詞：“?”，“并非”；合取詞：“”，“并且”；析取詞：“”，“或者……或者……”；蘊涵詞：“→”，“如果……那么……”；等值詞：“”，“當且僅當”第二十九頁，共五十三頁，編輯于2023年，星期五（二）命題形式(statementform)否定式（negation）：“?p”合取式(conjunction)：“pq”析取式(disjunction)：“pq”蘊涵式(implication)：“p→q”等值式(equivalence)：“pq”第三十頁，共五十三頁，編輯于2023年，星期五這種由命題變項和邏輯聯(lián)結(jié)詞組成，表示復(fù)合命題結(jié)構(gòu)的符號串，稱作“命題形式”，也稱作“命題（邏輯）公式”，簡稱“公式”。第三十一頁，共五十三頁，編輯于2023年，星期五(三)公式的生成規(guī)則：任一單個命題變項是公式；如果α是公式，則?α是公式；如果，α和β是公式，則α∧β，α∨β，α→β，αβ也都是公式；當且僅當經(jīng)過有限次地使用1),2),3)所組成的符號串都是公式。在生成公式的過程中最后一步所使用的聯(lián)結(jié)詞叫“主聯(lián)結(jié)詞”（mainoperator）。主聯(lián)結(jié)詞決定了復(fù)合命題的類型。第三十二頁，共五十三頁，編輯于2023年，星期五1.2.3.4.5.第三十三頁，共五十三頁，編輯于2023年，星期五（四）約定：整個公式外面的括號可以省略；各聯(lián)結(jié)詞的結(jié)合力依下列次序遞減：?；；；→；連續(xù)的“→”從后向前結(jié)合。第三十四頁，共五十三頁，編輯于2023年，星期五1.2.3.4.5.第三十五頁，共五十三頁，編輯于2023年，星期五(((ｐ→ｑ)ｐ)→ｑ)(ｐ→q)→rｐ→(ｑ→r)（?（pq）（rs））p）→（q（rs））（（pq）?）（（rs）q）第三十六頁，共五十三頁，編輯于2023年，星期五（三）把下列復(fù)合命題符號化星巴克里不賣餡餅。張三和李四是朋友。如果正在下雨，那么天氣很冷。今天天氣很冷，當且僅當正在下雨。正在下雨的必要條件是今天天氣很冷。如果查爾斯是犯罪嫌疑人(p)，那么他就有作案時間(q)和作案動機(r)，而他沒有作案動機，所以，他不是犯罪嫌疑人。第三十七頁，共五十三頁，編輯于2023年，星期五他個子高［p］而且很胖[q]。他個子高但不是很胖。并非“他個子高或很胖”。他個子不高也不胖。他個子高或者他個子矮且胖。他個子矮或他不很胖都是不對的。第三十八頁，共五十三頁，編輯于2023年，星期五華山比黃山高。火星上有生命存在。這盆茉莉花真香！北京沒有立交橋是胡說。柏拉圖和亞里士多德是同時代人。今天雖然陽光燦爛，但是氣溫卻不高。如果水是清的【p】，那么或者張三能看到池底【q】或者他是個近視眼【r】。如果嫦娥是虛構(gòu)的【p】，而且如果圣誕老人也是虛構(gòu)的【q】，那么許多孩子就受騙了【r】。第三十九頁，共五十三頁，編輯于2023年，星期五

如果老張堅持長跑【p】或者堅持打太極拳【q】，那么，不僅他的哮喘病能治愈【r】，而且他的關(guān)節(jié)炎也不會重犯【s】。盡管并非所有的學(xué)生都愛學(xué)習【p】，但仍然有不少學(xué)生愛學(xué)習【q】。埃及食品短缺【p】，或者約旦要求更多美國援助【q】，但伊朗【r】和利比【s】亞兩國都不提高石油價格。不是只要刮風【p】就會下雨【q】，也不是只要打雷【r】就會下雨，但如果既刮風又打雷就會下雨。第四十頁，共五十三頁，編輯于2023年，星期五第二節(jié)真值表和基本的真值運算第四十一頁，共五十三頁，編輯于2023年，星期五真值聯(lián)結(jié)詞和真值形式真值：真（T，1）；假（F，0）。真值集合：{T；F}；{1；0}命題變項：在真值集合上取值的變元，我們用p，q，r，s，t,……拉丁字母來表示命題變元，它們的取值范圍就是真值集合{T；F}。解釋為真值集合上的運算的邏輯聯(lián)結(jié)詞也稱為真值聯(lián)結(jié)詞。經(jīng)這樣解釋的命題形式也叫做真值形式。復(fù)合命題由一個或多個邏輯聯(lián)結(jié)詞（算子）表達，其真值是其組成部分的真值的函數(shù)。真值函數(shù)（truthfunction）第四十二頁，共五十三頁，編輯于2023年，星期五一真值形式及其簡單推理（一）否定式（negation）負命題的真值與原命題相反。真值形式：?p雙重否定律：??pp第四十三頁，共五十三頁，編輯于2023年，星期五（二）合取式(conjunction)邏輯性質(zhì)：只要有一個合取支（conjuncts）為假，整個合取式就為假；只有兩個合取支都真的時候，合取支才是真的。2.推理形式：合成式：p，q，├p∧q分解式：p∧q├p；p∧q├q否定式：?p├?（p∧q）；

?q├?（p∧q）第四十四頁，共五十三頁，編輯于2023年，星期五３．定律：（1）交換律：p∧q├ｑ∧ｐ（2）結(jié)合律：p∧（q∧r）（p∧q）∧r（3）德·摩根定律：?（p∧q）?p∨?q第四十五頁，共五十三頁，編輯于2023年，星期五（三）析取式（disjunction）邏輯性質(zhì)：只有當兩個析取支都為假的時候，整個析取式才為假。2．推理：否定肯定式（分離式）p∨q，?p├qp∨q，?q├p附加式。p├p∨qq├p∨q無效式p∨q，p├?qp∨q，q├?p第四十六頁，共五十三頁，編輯于2023年，星期五3．定律：交換律：p∧qq∧pP∨qq∨p結(jié)合律：p∧（q∧r）（p∧q）∧rp∨（q∨r）（p∨q）∨r分配律：p∧（q∨r）（p∧q）∨（p∧r）p∨（q∧r）（p∨q）∧（p∨r）德·摩根定律：?（p∧q）?p∨?q?（p∨q）?p∧?q第四十七頁，共五十三頁，編輯于2023年，星期五4．嚴格析取式邏輯性質(zhì)：有且只有一個析取支為真。等值轉(zhuǎn)換：p⊙q（p∨q）∧?（p∧q）p⊙q