何 霞,宗 慧,洪 龍
(1. 淮陰工學院外國語學院,江蘇 淮安 223001;2. 南京航空航天大學計算機學院,南京 210016;3. 淮陰工學院計算機與軟件工程學院,江蘇 淮安 223003;4. 南京郵電大學計算機學院,南京 210003)
必要條件、充分條件和充分必要條件是邏輯學中的重要概念,也是日常生活、理論研究和工程技術(shù)領(lǐng)域中經(jīng)常用到的概念,我們將這3種條件稱作邏輯條件,正確應用它們,能加深人們的相互理解、增進友誼,能促進科學發(fā)現(xiàn)和技術(shù)創(chuàng)新。正確應用基于準確理解,因此,準確描述這三種條件,并用自然語言進行合適的表達將有益于我們的工作、學習和生活。然而,在以傳統(tǒng)邏輯為主要內(nèi)容的“邏輯學”課程的教學過程中,往往對邏輯條件的理解發(fā)生困難。其主要原因是傳統(tǒng)邏輯主要以自然語言敘述,而自然語言存在歧義。B Russell從語言研究的角度指出,“除了邏輯與純粹數(shù)學,具有準確意義的字是沒有的”[1],這里的“邏輯”是指以符號為主進行描述的現(xiàn)代邏輯(數(shù)理邏輯)。因此,采用現(xiàn)代邏輯描述必要條件、充分條件和充分必要條件是避免歧義并達到一般性的有效路徑。本文回顧了對這三個條件的已有的描述并對它們初步討論后,基于現(xiàn)代邏輯中的命題概念和蘊涵聯(lián)結(jié)詞分別描述它們,以期建立具有一般性的、無歧義的定義;之后,用真值表簡要討論條件之間的關(guān)系,以及應用中需要注意的問題。
必要條件是邏輯學理論和應用中的重要概念,也是教與學中的難點。
1.1.1 描述及其含義
邏輯學、數(shù)學和哲學的部分專著中對必要條件的描述如下。
描述1:如果事物情況p 不存在,事物情況q就不存在,則稱p是q的必要條件[2]。摘自《形式邏輯》,這是金岳霖于20世紀60年代編寫,1979年出版,并于2006年重版之書。
描述2:一個特定事件發(fā)生的必要條件是指,在缺乏它的情況下,該事件不能發(fā)生[3]。摘自《Introduction to Logic,thirteenth edition》的譯本。
描述3:每當B 不發(fā)生,A 就不能發(fā)生時,B 被說成是A的一個必要條件[4]。摘自《A Concise Introduction to Logic,10e》的譯本。
描述4:如果p 是q 的必要條件,那么q 不能為真,除非p 為真[5]。摘譯自《The Oxford dictionary of philosophy》。
描述5:當q ←p 成立時,那么p 是q 的必要條件[6]。摘譯自《Concise dictionary of mathematics》。
描述1 至描述3 都具有形式“如果不…,那么不”;因描述4 中的“除非p 為真”與“p 不為真”同義,故其與描述1至描述3的語義相同。我們將這4種描述統(tǒng)一為:
如果非p,那么非q,則稱p是q的必要條件。
漢語中的“非”,在邏輯學中用否定聯(lián)結(jié)詞“?”表示,“如果,那么”用蘊涵聯(lián)結(jié)詞“ →”表示。采用聯(lián)接詞方法,很自然地就有:?p →?q。這里的?p →?q與描述5中的q ←p邏輯等值,故它們是相容的。
例1. 如果沒有車輪,那么汽車就不能開動。這里的車輪是汽車能開動的必要條件。
理解必要條件需要注意以下兩點:
(1)沒有規(guī)定p 的數(shù)量,故符合q 的必要條件的數(shù)量大于等于1。
例2. 三角形的定義如下:平面上三條線段構(gòu)成的封閉圖形。現(xiàn)分析下面的語句。
a. 如果沒有三條線段,那么就沒有三角形。該句中的“三條線段”是“三角形”的必要條件。
b. 如果圖形不是封閉圖形,那么該圖形就不是三角形。顯然,“封閉圖形”也是“三角形”的必要條件??梢?,該例給出了三角形成立的兩個必要條件。
(2)有了必要條件p,q未必成立。
例3.“封閉圖形”是“三角形”的必要條件。然而,四邊形也是封閉圖形,但不是三角形。所以有了“封閉圖形”這個必要條件,這個圖形仍然不是三角形。
無之必不然,有之不必然。這是對必要條件的另一種描述,即沒有它肯定不成,有了它也未必能成。故必要條件主要用于否定的證明。
1.1.2 自然語言表達
在應用中,采用“如果非p,那么非q”形式表達必要條件是清晰的。除此之外,還有一些自然語言常見的語句形式。
(1)“只有p,才q”語句形式
該形式是說,只有p為真,q才為真。
例4. 只有認識到自己的缺點,才能改正自己的缺點[2]。
這里的“認識到自己的缺點”是“改正自己的缺點”的必要條件,又是唯一的條件,故無歧義。因為社會中存在“認識到自己的缺點”但不“改正自己的缺點”的現(xiàn)象,故應將該例中的“能”理解為“可能”。這也體現(xiàn)了必要條件的特征——“有之不必然”。
“只有”往往給人以“僅僅有”的認知?!冬F(xiàn)代漢語詞典》的釋義如下:“只有”是連詞,表示唯一的條件(下文常用“才”或“方”呼應)[7]。因此,使用這種形式時,需謹慎。
例5. 只有年滿18周歲,才有選舉權(quán)。
該例的“年滿18 周歲”是“有選舉權(quán)”的必要條件。
根據(jù)《現(xiàn)代漢語詞典》對“只有”的釋義,該例容易產(chǎn)生歧義。因為“年滿18 周歲”不是“有選舉權(quán)”的唯一條件。根據(jù)《中華人民共和國憲法》第三十四條規(guī)定:“中華人民共和國年滿十八周歲的公民,不分民族、種族、性別、職業(yè)、家庭出身、宗教信仰、教育程度、財產(chǎn)狀況、居住期限,都有選舉權(quán)和被選舉權(quán);但是依照法律被剝奪政治權(quán)利的人除外。”所以,不是中華人民共和國公民,未年滿十八周歲和被剝奪政治權(quán)利的人都沒有選舉權(quán)。該例的無歧義的較好的表達是“未年滿18周歲,就沒有選舉權(quán)。”此外,還可以有:
例6. 被剝奪政治權(quán)利,就沒有選舉權(quán)。該例中的“政治權(quán)利”是“有選舉權(quán)”的必要條件。
(2)“q,僅當p”語句形式
該形式表示:q為真,僅當p為真。
例7. 你會釣到魚,僅當你的魚鉤上有魚餌[4]。
該例的“你的魚鉤上有魚餌”是“你會釣到魚”的必要條件。當然,魚鉤上有魚餌,也未必會釣到魚。
這里的“僅當”譯自英語的“if and only if”(數(shù)學中表示充分必要的用語,漢語譯為“當且僅當”)中的“only if”。作為用作定語的形容詞,“only”有多種釋義,其中,“most worth considering”[8]用來修飾“if”是合適的,因為必要的條件是非常值得考慮的條件。所以,“僅當”應理解為很值得考慮的情形、條件等,而不應見“僅”而理解為“唯一”。
例8. 人能行走,僅當存在引力。
該例從物理學原理解釋了人能行走的必要條件。
例9. 人能行走,僅當他有兩條腿。
該例從生物學解釋了人能行走的必要條件。
(3)“除非p,非q”語句形式
該形式是說:除非p為真,q不會為真。
例10. 除非水有顏色,水不會是紅的。
該例的“水有顏色”是“水會是紅的”的必要條件。
將此例改為“水不會是紅的,除非水有顏色?!边@也許更符合閱讀習慣。
例11. 長明燈沒有熄滅,除非斷電。
例12. 長明燈沒有熄滅,除非它有故障。
上述的幾種表達必要條件的語句形式體現(xiàn)了自然語言豐富多彩,但在應用時必須謹慎,以努力避免歧義。
1.2.1 充分條件
與必要條件相比,充分條件較易理解,對它的幾種描述如下:
描述1:如果事物情況p 存在,事物情況q 就存在,則稱p是q的充分條件[2]。
描述2:一個事件發(fā)生的充分條件是,它出現(xiàn)的情況下,事件必定發(fā)生[3]。
描述3:每當發(fā)生A是發(fā)生B所必需的全部時,A被說成是B的一個充分條件[4]。
描述1具有“如果…,那么”的顯性形式。改寫描述2 如下:如果條件出現(xiàn)了,那么事件必然發(fā)生。所以它也具有“如果…,那么”的形式,但不是顯性的。
可以將這兩種描述統(tǒng)一為:如果p,那么q,則稱p是q的充分條件。
例13. 如果天下雨,那么地面就有水。
這里的“天下雨”是“地面有水”的充分條件。理解充分條件需要注意:
(1)有了充分條件p,q一定成立。
例14. 設x 為正整數(shù)。如果x 能被9 整除,那么x能被3整除。
(2)沒有充分條件p,q未必不成立。這表明符合q的充分條件的數(shù)量大于等于1。
例14 中的“能被9整除”是“能被3整除”的充分條件。除此之外,還有許多“能被3整除”的充分條件。如:
例15. 設x 為正整數(shù)。如果x 能被6 整除,那么x能被3整除。
例16. 設x為正整數(shù)。如果x能被12整除,那么x能被3整除。
有之必然,無之不必不然。這是對充分條件的一種描述,即有它肯定成,沒有它也未必不成。故充分條件主要用于肯定的證明。
“如果p,那么q”是常用的表達充分條件的自然語言語句形式。除此之外,還有其它形式,例如“只要p,就q”。依此,例14可以改寫為:
例17. 設x為正整數(shù)。只要x能被9整除,x就能被3整除。
評注. 描述3 將A 當作B 的充分條件時,要求“A是發(fā)生B所必需的全部”,這里的“全部”的說法是有問題的。描述一、描述二未提及充分條件的數(shù)量;從上述的討論中知,充分條件的數(shù)量大于等于1。如果根據(jù)“全部”的說法,那么就需要將所有的充分條件合而為一,結(jié)果只有一個充分條件,產(chǎn)生矛盾。故要求“全部”既不符合客觀與實踐,也不符合描述1 和描述2,因為它們并不要求“全部”。依其行文風格,試將描述3改寫如下:
描述3’. 每當發(fā)生A時,必然出現(xiàn)發(fā)生B,A被說成是B的一個充分條件。
當然,描述3 也是一種對充分條件概念的敘述,一種與主流敘述有差異的敘述。
1.2.2 充分必要條件
將必要條件與充分條件結(jié)合,就有充分必要條件。對它的描述如下:
如果p既是q的充分條件,又是q的必要條件,那么稱p是q的充分必要條件。
p與q要么同時存在,要么同時不存在,這是充分必要條件的基本特征。
人們往往用自然語言“當且僅當”表達充分必要條件。
例18. x是偶數(shù),當且僅當x能被2整除。
顯然,“x 是偶數(shù)”是“x 能被2 整除”的充分條件?,F(xiàn)設x 不是偶數(shù),那么x 就不能被2 整除。故“x是偶數(shù)”又是“x能被2整除”的必要條件。
需要注意,符合q的充分條件p的數(shù)量也大于等于1。
例19. 一個三角形是等腰三角形,當且僅當它有兩條邊相等。
例20. 一個三角形是等腰三角形,當且僅當它有兩個內(nèi)角相等。
“當且僅當”是目前慣用的表達充分必要條件的自然語言語句形式。除此之外,還有其它形式,例如“如果而且只有p,就q”,“如果而且僅僅如果p,那么q”,等等。但因“當且僅當”朗朗上口,所以它們很少使用。
有之必然,無之必不然。這是對充分必要條件的一種描述。有之必然體現(xiàn)了充分條件;無之必不然體現(xiàn)了必要條件。然而,理解它們時需要注意:對事物的必要條件或充分條件的數(shù)量都是大于等于1。
為了避免歧義并達到一般性,本節(jié)將立足現(xiàn)代邏輯中的命題和蘊涵聯(lián)結(jié)詞,采用符號建立邏輯條件的定義。
我們首先簡單介紹現(xiàn)代邏輯中有關(guān)命題的概念。
命題是指能區(qū)分真假的陳述句。據(jù)此,一個命題或為真或為假,二者必居其一,且為惟一。這里的“真”與“假”稱作命題的真值。
疑問句(如“你好嗎?”)、祈使句(如“請進!”)等都不是命題。含混不清的陳述句也不是命題。例如,陳述句“天氣太熱”就不是命題,因為該語句說不清何謂“太”熱,即熱的程度,其語義是模糊的。
我們能用一個字母表示命題。
例21. p:南京是一座城市。
例22. q:籃球是方的。
一般認為,符合客觀現(xiàn)實的命題的真值為真,否則為假。真值為真的命題稱為真命題,真值為假的命題稱為假命題。所以,例21是真命題,例22是假命題。
這里的p和q都是原子命題,即不可再分的命題。通過聯(lián)結(jié)詞將原子命題聯(lián)結(jié)起來就構(gòu)成了復合命題。例如,?p,p →q,p ?q,等。這里的符號?是否定聯(lián)結(jié)詞,讀作“非”;符號→是蘊涵聯(lián)結(jié)詞,讀作“如果,那么”,故“p →q”讀作“如果p,那么q”;符號?是等值聯(lián)結(jié)詞,讀作“當且僅當”。有了復合命題,就能表示復雜的語句。例如,根據(jù)例21,復合命題?p表示:南京不是一座城市。
當然,我們也可以用否定句表示命題。例如,
例23. p:辣椒不是蔬菜。
那么,?p就表示:辣椒不是不是蔬菜,即辣椒是蔬菜。這顯得別扭。
命題是現(xiàn)代邏輯的基本概念之一,它是以聯(lián)結(jié)詞進行邏輯演算的基本對象。
注. a. 本小節(jié)中的“聯(lián)結(jié)詞”“原子命題”和“復合命題”均為現(xiàn)代邏輯中的基本概念,它們在以傳統(tǒng)邏輯為主要內(nèi)容的一些文獻中均未提及,例如文獻[2]、文獻[9]的第一章等。b. 從真值看,本小節(jié)中的復合命題“?p”等價于傳統(tǒng)邏輯中的“負判斷”[2]。;復合命題p →q 等價于傳統(tǒng)邏輯中的“假言判斷”[2]。c. 傳統(tǒng)邏輯將判斷分為性質(zhì)判斷、關(guān)系判斷等多種類型;現(xiàn)代邏輯強調(diào)以命題形式進行推理及推理過程,只在應用時涉及具體內(nèi)容。
我們已用自然語言描述了必要條件、充分條件和充分必要條件。為了準確地刻畫邏輯條件,下面用命題和蘊涵聯(lián)接詞進行描述,并給出應用示例。
定義1. 若p →q,則稱p是q的充分條件。
例24. 設p:x是動物,q:x有新陳代謝。那么p→q可以“翻譯”為:如果x是動物,x就會有新陳代謝。這里的“x 是動物”是“x 有新陳代謝”的充分條件。
例25. 試題:如果x能被11整除,那么8x能被11整除。請問,這是充分條件蘊涵表達式(傳統(tǒng)邏輯中的假言判斷),還是必要條件蘊涵表達式?
設p:x能被11整除;q:8x能被11整除,則題設可以“翻譯”為:p →q。根據(jù)定義1,“x 能被11 整除”是“8x能被11整除”的充分條件。
定義2. 若?p →?q,則稱p是q的必要條件。
例26. 已知化學中水的分子式為H2O,其中H是氫的原子符號,O是氧的原子符號。設p:該物質(zhì)含有氧;q:該物質(zhì)是水。則?p →?q表示:如果該物質(zhì)沒有氧,那么該物質(zhì)就不是水。此處的“該物質(zhì)有氧”是“該物質(zhì)是水”的必要條件。
例27. 試題:如果甲、乙兩物體之間沒有作用力,那么甲、乙兩物體之間就沒有反作用力。請問,這是充分條件蘊涵表達式,還是必要條件蘊涵表達式?
物理學中牛頓第三定律表示為F=-F′其中F為作用力,F(xiàn)′為反作用力。設p:甲、乙兩物體之間存在F;q:甲、乙兩物體之間存在F′,則題設可以“翻譯”為:?p →?q。根據(jù)定義2,“甲、乙兩物體之間有作用力”是“甲、乙兩物體之間有反作用力”的必要條件。
注. 為了講清楚如何應用,例24 至例27 中用了“翻譯”一詞,并且是從符號到自然語言或從自然語言到符號的雙譯。翻譯法是現(xiàn)代邏輯(數(shù)理邏輯)教學中的常用方法。
定義2 中采用:?p →?q,這較直觀地表達了必要條件的“無之必不然”的特質(zhì)。當然,也可以用q →p,但顯性不如前者。
定義3. 若p ?q,則稱p 是q 的充分必要條件。
例28. 設p:這個月少于30 天,q:這個月是二月。則p ?q表示:這個月少于30天,當且僅當這個月是二月。這里的“這個月少于30 天”是“這個月是二月”的充分必要條件。
上述三個定義均采用命題符號和蘊涵連接詞符號進行刻畫,且條件均采用p,較好地實現(xiàn)了無歧義和一般性。
注. 這三個定義未用蘊涵式的前件和后件進行描述,避免了易產(chǎn)生的誤讀。若采用前件和后件進行條件的辨識,即前件是后件的條件,那么下面兩條表達式均可認為是充分條件的蘊涵表達式:
p →q;
?p →?q.
然而,它們的真值表的不同已表明它們絕不會是同一種邏輯條件。因此,在應用時,特別在學生應試時,容易出現(xiàn)似是而非的結(jié)果。
如表1 所示,我們根據(jù)真值表,討論條件之間的關(guān)系。
表1 充分條件、必要條件和充分必要條件中用到的聯(lián)結(jié)詞真值
從表1 中,我們首先注意到,?p →?q 與q →p的真值相同,故有
定義2′. 若q →p,則稱p是q的必要條件。
我們又注意到在p →q和q →p中,僅僅是字母符號的位置互換,而前者的p 是q 的充分條件,后者的p是q的必要條件。
根據(jù)定義1,我們注意到,在q →p 形式中,q是p的充分條件;根據(jù)定義2,在?q →?p形式中,q是p的必要條件。由于p →q和?q →?p的真值相同,q →p 與? p →? q 的真值相同,所以,有結(jié)論:
若p是q的必要條件,則q是p的充分條件;若p是q的充分條件,則q是p的必要條件。
該結(jié)論是必要條件與充分條件之間的基本關(guān)系,記作RN-S。
例29. 如果你不識字,那么你就不能閱讀《邏輯學》。
根據(jù)RN-S,該例中的“識字”是“能閱讀《邏輯學》”的必要條件;而“能閱讀《邏輯學》”是“識字”的充分條件。
我們還注意到,根據(jù)定義3,p ?q 中的p 是q的充分必要條件,依表1知,當p、q同真或同假時,p ?q才為真,故p、q可以互換位置。記RSN表示充分必要條件p ?q中的p與q的基本關(guān)系,RSN的描述如下:
若p 是q 的充分必要條件,則q 也是p 的充分必要條件。
例30. 已知一天的最高氣溫達到或超過35℃就是高溫天氣。設p:今天是高溫天氣,q:今天最高氣溫不低于35℃。則p ?q表示:今天是高溫天氣,當且僅當今天最高氣溫不低于35℃;而q ?p表示:今天最高氣溫不低于35℃,當且僅當今天是高溫天氣。
注. 充分必要條件中命題之間的基本關(guān)系RSN不同于必要條件與充分條件之間的基本關(guān)系RN-S,應當仔細辨識。
(1)使用命題作為條件。定義1、定義2和定義3 是以p、q 和蘊涵聯(lián)結(jié)詞→描述邏輯條件的。故作為條件的p是命題。如果應用中沒使用命題,那么會出現(xiàn)難以預料的結(jié)果。
例31. 如果機動車行駛太快,那么駕駛者就違反了道路安全法。
這是充分條件的具體應用。但該例中的“太快”是模糊的,這里的太快是指每小時50公里還是每小時60 公里呢?還是其它?所以無法判斷“機動車行駛太快”的真假,故其不是命題。若以此作為交通執(zhí)法的依據(jù),則給執(zhí)法人員帶來了不便,也會出現(xiàn)執(zhí)法的隨意性。
根據(jù)《中華人民共和國道路安全法實施條例》,對具有不同特征的城市道路和公路,都有明確的機動車限速規(guī)定,例如,同向只有一條機動車道的道路,城市道路的最高行駛速度為每小時50公里,公路為每小時40 公里。依此,改寫例30如下:
例31. 如果機動車行駛超過限速,那么駕駛者就違反了道路安全法。
(2)條件盡量不使用負命題。文獻[1]在講述定義的規(guī)則時指出:“定義項,除非必要,不應包括負概念”,這里的負概念是指不具有某種屬性的事物。在擬定條件時,也應遵循這條規(guī)則,盡量不使用真值為假的命題(特別是在設計試題時),以避免誤判。
例32. 試題:“如果不下雨,那么我不會打傘?!闭垎?,這是充分條件蘊涵表達式,還是必要條件蘊涵表達式?
在沒有明確指定條件是什么、或未理解本文定義的情形下,該題往往會有不同的答案。分析如下:如果將“不下雨”當作條件,那么根據(jù)定義1,它就是“不會打傘”的充分條件;如果將“下雨”當作條件(正命題),那么根據(jù)定義2,它就是“打傘””的必要條件。
根據(jù)本文引用的描述1 至描述5,以及本文的描述和定義,必要條件假言判斷是正確答案,不贅述。
(3)蘊含式中的p和q必須符合客觀現(xiàn)實或已有的理論。
例33. 設p:x 大于6,q:x 的絕對值小于0。充分條件p →q的自然語言表達如下:如果x大于6,那么x的絕對值小于0。
顯然,在“x大于6”的情形下,“x的絕對值小于0”不符合“絕對值”的概念。故該例是荒唐的陳述,應力求避免。
(4)應用中的p和q必須有關(guān)聯(lián)。為了達到一般性和無歧義,本文中的定義都采用了符號p 和q。在應用時,只要是能辨識真假的陳述句都能替代它們。然而,在邏輯條件的應用中,p和q必須有關(guān)聯(lián),否則會出現(xiàn)不該發(fā)生的怪論。
例34. 設p:今天天晴,q:煤是黑的。那么充分條件p →q的自然語言表達如下:
a. 如果今天天晴,那么煤是黑的。
必要條件?p →[?]q的自然語言表達如下:
b. 如果今天不是天晴,那么煤不是黑的。
眾所周知,黑色是煤的自然屬性,天晴與其沒有任何聯(lián)系。
再看充分必要條件p ?q的語言表達:
c. 今天天晴,當且僅當煤是黑的。
這更令人啼笑皆非。
上例的怪論均由p與q之間缺少關(guān)聯(lián)而出現(xiàn),這種情形應力求避免。
(1)再論充分必要條件。作為表達充分必要條件的自然語言語句形式,“當且僅當”具有簡明的特征。然而,有些情形下,充分必要條件是非顯性的出現(xiàn),這就需要作全面地分析。
例35. 如果她是母親,那么她就有子女。
該例是應用充分條件的自然語言語句,其中“母親”是“有子女”的條件。
例36. 如果她不是母親,那么她就沒有子女。
該例顯然是應用必要條件的語句,其中“母親”是“有子女”的條件。
例35 和例36 中的“有子女”的條件都是“母親”,所以這兩個例均是隱性的充分必要條件表達語句。
(2)非邏輯條件。如前所述,本文將必要條件、充分條件和充分必要條件稱作邏輯條件。除此之外,在自然語言表達中還有其它類型的條件。
例37. 假如我是你,那么我正在潛水。
“我是你”是“我正在潛水”的條件,但它與現(xiàn)在的事實矛盾,即與“我不是你”相反;另外,從語義看,“我正在潛水”也不符合事實。這種表達屬于英語中的虛擬語氣。
例38. 如果他不太高,那么他就不能當籃球運動員。
該例中的“不太高”具有模糊性,故不是本文所討論的邏輯條件。這類條件應屬模糊條件,它們在模糊數(shù)學中有詳盡的敘述。
例39. 欲窮千里目,更上一層樓。
該例出自唐代詩人王之渙的《登鸛雀樓》,這是一首千古傳誦膾炙人口的詩。詩句中“欲窮千里目”是“更上一層樓”的目的;“更上一層樓”是“欲窮千里目”的條件。詩的前兩句是“白日依山盡,黃河入海流。”可見,詩人將奮發(fā)進取、積極探索的精神交融于壯闊的自然景觀,從多維視角、藝術(shù)地表達了易被忽略的人生哲理。
例40. 假如給我三天光明,那么我最希望看到在我的黑暗歲月里最令我珍惜的東西。
該例的語句摘譯自世界著名的盲人女作家Helen Keller 的名篇《Three Days to See》。語句中“給我三天光明”的條件和作者“最希望看到”的東西是一種文學的敘事架構(gòu)。Helen 身殘志堅,致力殘疾人事業(yè),是世界著名的慈善家。在人生最初的十九個月時,疾病使Helen 失明失聰,所以一個曾經(jīng)五官健全的但被剝奪了天賦官能的人更會珍惜所失去的。正因這樣,Helen 才能將自己的愛心、體驗、聯(lián)想和幻想集成于文學創(chuàng)作。
上面列舉了虛擬條件、模糊條件和文學藝術(shù)中所展現(xiàn)的條件。當然,如果淡化命題概念,它們也可能成為充分條件或必要條件。
有一類條件語句——不符合客觀現(xiàn)實或已有的理論的語句——必須避免,如例33。否則會引出謬誤。下面再舉一例。
例41. 如果x是素數(shù),那么x是奇數(shù)。
該例中的“x是素數(shù)”貌似是“x是奇數(shù)”的充分條件。然而,根據(jù)素數(shù)的定義,2是素數(shù),但它是偶數(shù)。故此例是一種違背科學的預設謬誤。
采用現(xiàn)代邏輯建立邏輯條件的定義,力求準確描述必要條件、充分條件和充分必要條件的概念是本文的寫作目的。準確理解概念是教學中能講清楚的基本要求,也是使學生能聽明白的重要前提。在教學過程中,用合適的應用示例分析邏輯條件的自然語言表達,對學生深入理解概念至關(guān)重要。故本文討論了表達邏輯條件的自然語言語句形式。與此同時,本文也評判了一些已存在的表述,以期能盡量避免歧義,不出現(xiàn)或少出現(xiàn)概念混淆的謬誤。
金岳霖[2]的補記指出:“自然語言所說的充分條件、必要條件缺少嚴格的定義?!北疚牟捎梅枌λ鼈兗俺浞直匾獥l件進行定義是一種“補缺”的努力,以期有益于邏輯學的理論研究和實際應用。