條件句邏輯概論.pdf

1、條件句邏輯主要是對發(fā)生在某一自然語言里某一特定類句子的邏輯和語義特征進(jìn)行考察。本文擬就英語語言中的條件句進(jìn)行分析。英語中的條件句可以分為虛擬條件句和直陳條件句兩種。因?yàn)檫@兩類條件句有著不同的邏輯和語義特征，這種區(qū)分是十分必要的。本文將重點(diǎn)分析虛擬條件句，對于直陳條件句只作簡單分析。所謂虛擬條件句是指前件在事實(shí)上為假或者不大可能成為現(xiàn)實(shí)，但卻反映了前件和后件一定的內(nèi)在聯(lián)系的條件句。
　　在開頭部分我先簡單介紹了語言學(xué)對英語條件句的研

2、究，我認(rèn)為語言學(xué)家們基本上是從表層結(jié)構(gòu)角度來研究的。接下來，我主要從邏輯學(xué)角度對條件句做了分析。我從普通邏輯、經(jīng)典邏輯和非經(jīng)典邏輯三個角度分析了對虛擬條件句的研究。普通邏輯學(xué)中的假言命題可分為充分條件假言命題、必要條件假言命題和充要條件假言命題三類，并且將這三類命題歸約為一類，即充分條件假言命題。經(jīng)典邏輯中將條件句視為實(shí)質(zhì)蘊(yùn)涵，認(rèn)為條件句的真主要看前件和后件的真值，并且條件句的真值僅是由前、后件的真值唯一決定。具體說就是，一個實(shí)質(zhì)蘊(yùn)涵φ

3、→ψ，在φ是假的或ψ是真的這樣的情況下，整個句子為真。但實(shí)際上，一個條件句的真，并不單單是由前、后件的真值決定的，而是，在前、后件之間還有一定的聯(lián)系。實(shí)質(zhì)蘊(yùn)涵并沒有刻畫出這種前、后件之間的聯(lián)系。
　　在非經(jīng)典邏輯中，嚴(yán)格蘊(yùn)涵僅僅是刻畫出條件句前、后件之間的物理必然的聯(lián)系，而沒有刻畫出其它的聯(lián)系。而且在嚴(yán)格蘊(yùn)涵中傳遞性、逆否性、加強(qiáng)前件原則等論題是有效的，但是它們對英語虛擬條件句來說都是不可靠的，很容易就能找到相應(yīng)的反例。因而，嚴(yán)格

4、蘊(yùn)涵不能充分刻畫虛擬條件句。
　　Chisholm[1946], Goodman[1955],Sellars[1958], Rescher[1964]還有其他一些研究者為條件句提供了一種共存理論(cotenabilitytheories of conditionals)。其基本思想是，在φ和一些規(guī)律及真命題組成的某個集共同使得ψ為真時(shí)，條件句φ＞ψ為真。但是如何決定其真值條件所需的真命題的恰當(dāng)集呢，這里出現(xiàn)了循環(huán)定義的問題。即使提

5、供了一個非循環(huán)定義的共存概念，新的問題又會出現(xiàn)。共存理論也不是適當(dāng)?shù)臈l件句理論。而且那些研究者未能對條件句的語義結(jié)構(gòu)提供形式化的模型。直到1968年，Stalnaker的一篇論文《條件句理論》(A Theory ofConditionals)既為條件句提供了形式化的語義，又為條件句邏輯提供了公理化的系統(tǒng)。這一重要的論文促成了哲學(xué)邏輯的另一分支——今天稱之為條件句邏輯——的開創(chuàng)。
　　Stalnaker、Lewis、Pollock和

6、Kratzer等人分別都為條件句提供了一種最小變化語義學(xué)。簡單說來就是，考慮一個可能世界（集），在它（們）當(dāng)中φ是真的，而在其它方面與現(xiàn)實(shí)世界相差極少?！叭绻漳敲处住痹诂F(xiàn)實(shí)世界是真的（假的），當(dāng)且僅當(dāng)，ψ在那個可能世界（集）是真的（假的）。
　　Aqvist、Nute、Warmbrod等人則為條件句提出了一種小變化理論。認(rèn)為擇類函數(shù)對句子φ和世界i挑出的是“足夠”接近i的所有的φ-世界，而不是最接近i的所有的φ-世界。
　

7、　與最小變化語義學(xué)和小變化語義學(xué)相反，Gabbay、Fetzer和Nute等人提出了一種最大變化語義學(xué)。它不要求在判斷條件句φ＞ψ在世界i的真時(shí)，所依賴的世界與世界i非常接近或者相似。它要求與世界i相關(guān)的世界是在非常小的方面相關(guān)，在其他方面相關(guān)世界會在任何程度不同于世界i。也就是要求除了必須和世界i分享的特征之外，相關(guān)世界與世界i是最大不同的。
　　之后，本人對析取前件條件句做了分析。也即對論題SDA:[（φ∨ψ）＞x]→[（φ＞

8、x）∧(ψ＞x)]。的合理性做了說明。許多研究者想要區(qū)分有“或者”在前件中的條件句的邏輯形式是（φ∨ψ）＞x還是（φ＞x）∧(ψ＞x)。邏輯學(xué)家們還試圖對溯因條件句，也即前件中涉及的事態(tài)發(fā)生于后件涉及的事態(tài)的之后的條件句，作出分析。他們想要弄清楚為什么非溯因條件句和溯因條件句比起來，前者通常是真的。
　　本人還提到反規(guī)律條件句、反自身?xiàng)l件句、反時(shí)間條件句，這類條件句分析起來有一定的困難，本文不對它們作出分析;對于might條件句、

9、even if條件句也有所分析。之后，本人對直陳條件句做了較詳細(xì)的分析:有人認(rèn)為直陳條件句就是實(shí)質(zhì)蘊(yùn)涵;有人認(rèn)為，Stalnaker的選擇世界函數(shù)語義學(xué)是直陳條件句的正確的語義學(xué)，Stalnaker的條件句邏輯C2是這些條件句正確的邏輯系統(tǒng);第三種看法是，直陳條件句沒有真值條件，但是它們有概率，這些概率就是對應(yīng)的標(biāo)準(zhǔn)條件句的概率。
　　在文章的最后，本人又指出了對條件句的分析中涉及到的問題:一個是條件句和概率之間的關(guān)系問題，第二個