版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進行舉報或認領(lǐng)
文檔簡介
1、因果陳述邏輯的哲學(xué)意蘊探析因果陳述邏輯的哲學(xué)意蘊探析一、勃克斯及其因果陳述邏輯因果陳述邏輯這一概念是由美國當(dāng)代哲學(xué)家、計算機科學(xué)家阿瑟勃克斯ArthuralterBurks首創(chuàng)的。勃克斯對科學(xué)哲學(xué)和歸納邏輯研究有著較大的奉獻,他提出了自己的歸納概率理論,建構(gòu)了因果陳述邏輯系統(tǒng),成為歸納邏輯研究的獨樹一幟的理論。勃克斯最具有代表性的重要理論成果是1977年出版的闡述其因果陳述公理系統(tǒng)的專著?機遇、因果和推理?。關(guān)于因果陳述邏輯TheLgifausalStateents的理論與方法,勃克斯在這部著作中進展了詳盡地說明。他在引申并深化劉易斯關(guān)于嚴格蘊涵與模態(tài)邏輯思想的根底上,將其應(yīng)用到因果性模態(tài)問本
2、文由論文聯(lián)盟.Ll.搜集整理題之中,并將模態(tài)形式分為兩大類:邏輯模態(tài)與因果模態(tài)。四個邏輯模態(tài)符號分別為:邏輯必然、邏輯可能、邏輯蘊涵、邏輯等值?圮。與此相對應(yīng),他創(chuàng)新性地提出了四個因果模態(tài)符號,分別為:因果必然、因果可能、因果蘊涵、因果等值?圮。與邏輯模態(tài)符號成立的形態(tài)邏輯可能世界相類似,勃克斯提出了因果可能世界。因果可能世界的提出,不僅標(biāo)志著一種新的模態(tài)形式的誕生,也為我們研究因果問題及其相關(guān)理論提供了一個新的思路。因果陳述邏輯的公理系統(tǒng)繼承了經(jīng)典邏輯的核心內(nèi)容。它由一個非模態(tài)性的一階邏輯演算或者不包含等詞的一階函數(shù)演算加上一組關(guān)于邏輯形態(tài)的模態(tài)詞必然、可能以及一組關(guān)于因果形態(tài)的模態(tài)詞因果必
3、然、因果可能的演算而構(gòu)成。因果陳述邏輯的公理系統(tǒng)主要由語法、公理、證明和定理組成。在該形式系統(tǒng)的語法中,勃克斯分別對因果可能、因果蘊涵等重要的邏輯概念進展了定義。比方,因果可能的定義:?椎=df?椎,因果蘊涵的定義:?椎?追=df?椎?勱?追。關(guān)于因果陳述邏輯系統(tǒng)的公理,勃克斯將它們分為三類,即真值函項公理、量詞公理和模態(tài)公理。由于在該系統(tǒng)中斷定真值函項公理和量詞公理的方法與步驟和經(jīng)典邏輯一致,故此不贅述。因果陳述邏輯與模態(tài)邏輯親密相關(guān),假如說經(jīng)典邏輯是這一形式系統(tǒng)的框架,那么模態(tài)邏輯便是該理論系統(tǒng)的精華和亮點,二者缺一不可。而因果陳述邏輯的模態(tài)性以及模態(tài)算子的本質(zhì)特征也恰恰是通過模態(tài)公理表達
4、出來的。比方,模態(tài)公理?椎?勱?椎邏輯必然蘊涵因果必然和?椎?勱?椎因果必然蘊涵實然。我們看到,這兩個公理是按照模態(tài)的強弱來排序的,前者表示邏輯必然性強于因果必然性,后者表示因果必然性強于實然性。二者是必然性是分等級的這一哲學(xué)指導(dǎo)思想在因果陳述邏輯中的詳細表達。在語法和公理的根底上,勃克斯對證明和定理進展了定義。從外表上看,證明和定理的內(nèi)容無非是對經(jīng)典數(shù)理邏輯中一些概念的簡單重復(fù)。但是,值得注意的是,勃克斯的創(chuàng)新之處就在于他將這套理論搬到了帶有因果必然算子的因果陳述邏輯的系統(tǒng)中,并且非常適用,用勃克斯本人的話說,一個演繹論證的普遍概念在我們的形式語言因果陳述邏輯中根據(jù)有前提的證明而得到了模擬。
5、二、因果陳述邏輯的哲學(xué)意蘊一因果陳述邏輯的哲學(xué)根底任何一個邏輯系統(tǒng)或者邏輯理論都必須包含蘊涵,也就是說,沒有無蘊涵的邏輯系統(tǒng)或理論,勃克斯構(gòu)建的因果陳述邏輯系統(tǒng)也不例外。在因果陳述邏輯理論中,因果蘊涵是該形式系統(tǒng)的重要內(nèi)容,也是它區(qū)別于其他形式系統(tǒng)的主要標(biāo)志。勃克斯對因果陳述邏輯的構(gòu)造就是從對因果蘊涵的描繪和刻畫開場的。因此,分析因果陳述邏輯這一邏輯系統(tǒng)的哲學(xué)根底,關(guān)鍵就在于正確地理解和把握因果蘊涵的哲學(xué)性質(zhì)。因果蘊涵?椎?追反映了事物情況?椎和事物情況?追之間的一種因果條件聯(lián)絡(luò),?椎是原因,?追是結(jié)果。所謂原因,是指這樣的現(xiàn)象:它產(chǎn)生某一現(xiàn)象并先于某一現(xiàn)象。所謂結(jié)果,是指原因發(fā)生作用的后果。
6、同時,?椎和?追之間也是一種蘊涵關(guān)系,這種蘊涵不是傳統(tǒng)意義上的本質(zhì)蘊涵、嚴格蘊涵等蘊涵形式,而是可以刻畫因果虛擬句的蘊涵類型。勃克斯創(chuàng)造它的目的就是為理解決因果條件句和因果模態(tài)陳述句的形式化問題。根據(jù)勃克斯的因果陳述邏輯理論,因果蘊涵的蘊涵強度介于邏輯蘊涵嚴格蘊涵和本質(zhì)蘊涵之間,這一點也是勃克斯對包含因果算子在內(nèi)的諸如因果等值、因果必然、因果可能概念進展強度界定以及因果陳述邏輯系統(tǒng)中對某些公理、定理及公式進展排序的根底和來源。從這一意義上說,因果蘊涵不僅是勃克斯因果陳述邏輯理論的一個重要概念,而且由于它兼有因果性和蘊涵性這樣的雙重特性,因此對因果蘊涵的哲學(xué)特征進展分析,具有重要的意義和作用。在
7、勃克斯看來,因果蘊涵克制了傳統(tǒng)蘊涵類型的缺點,可以準確地對因果虛擬句進展形式化地表述。我們認為,它之所以具有這樣的作用,根本原因在于它的兩個特性上面已經(jīng)提到因果性和蘊涵性,這也是我們對因果蘊涵進展哲學(xué)分析的兩個切入點。第一,因果性是因果蘊涵區(qū)別于其他蘊涵類型的哲學(xué)本質(zhì)。事物之間的因果聯(lián)絡(luò)是普遍的聯(lián)絡(luò),也是必然的聯(lián)絡(luò),原因和結(jié)果在時間上總是前后相繼的,這是科學(xué)中的因果律,是不能更改的。對于日常生活中大量出現(xiàn)的因果虛擬句反事實條件句,其前件是假的,但前件與后件之間卻有著真實的聯(lián)絡(luò),即的一個空類與另一個類之間有真實聯(lián)絡(luò)。我們認為,這種真實的聯(lián)絡(luò)就是因果聯(lián)絡(luò),符合因果聯(lián)絡(luò)的普遍性。正因為用自然語言表達
8、的因果虛擬句需要我們用與其相符合的人工語言邏輯語言進展刻畫,而本質(zhì)蘊涵等蘊涵類型的前后件并不能恰當(dāng)?shù)乇磉_這種反事實的因果聯(lián)絡(luò),于是勃克斯對這些經(jīng)典蘊涵形式進展了改造,提出了因果蘊涵。也就是說,在反事實條件句中,假如某個事物情況?椎不發(fā)生,那么另外的事物情況?追就一定會發(fā)生。?椎與?追之間的這種因果聯(lián)絡(luò)決定了前后件之間純粹的充分必要聯(lián)絡(luò)已經(jīng)不再合適對它形式化和符號化的需要,于是勃克斯找到了因果蘊涵這樣一種新的蘊涵類型。第二,蘊涵性是因果蘊涵的一般哲學(xué)特征。如前所述,蘊涵總是邏輯系統(tǒng)中的蘊涵,從這一意義上說,邏輯系統(tǒng)的區(qū)分就在于它所包含的蘊涵詞的區(qū)分。因此,因果蘊涵是因果陳述邏輯系統(tǒng)的主要標(biāo)志。勃
9、克斯以必然性是分等級的這一哲學(xué)思想為指導(dǎo),對因果蘊涵以及因果必然性等概念按照強弱進展了等級劃分,這也是他構(gòu)建因果陳述邏輯的語形構(gòu)造的根底,這是蘊涵性所具有的一個哲學(xué)表現(xiàn)。另外,因果蘊涵所具有的蘊涵的一般性質(zhì),比方前后件的真假對蘊涵式真假的制約情況等,是勃克斯可以將它與邏輯蘊涵、本質(zhì)蘊涵進展比擬的理論根據(jù)。我們對因果蘊涵進展哲學(xué)考察,其蘊涵式前后件之間的真假制約關(guān)系是很重要的一個方面。通常人們都認為,蘊涵是對實際推理中條件命題前后件關(guān)系的刻畫或反映,不同的蘊涵詞所刻畫的是條件命題前后件關(guān)系的不同側(cè)面。其中本質(zhì)蘊涵就是條件命題前后件之間的真假關(guān)系的邏輯抽象。也就是說,與本質(zhì)蘊涵相比,因果蘊涵可以運
10、用其蘊涵形式來刻畫反映反事實條件命題前后件之間的真假制約關(guān)系,它是這類命題前后件之間真假關(guān)系的邏輯抽象。綜上所述,因果性和蘊涵性是構(gòu)成因果蘊涵的兩個元素,也是因果蘊涵具有哲學(xué)性質(zhì)的詳細表現(xiàn)。在勃克斯的因果陳述邏輯理論中,隨著因果蘊涵的應(yīng)用性不斷增強,其內(nèi)在的哲學(xué)性也會越來越明顯地表達出來。二因果陳述邏輯的哲學(xué)啟示因果陳述邏輯是勃克斯歸納邏輯思想體系中一個非常重要的局部,為他的歸納邏輯理論指引了正確的方向,而勃克斯的歸納邏輯理論那么為因果陳述邏輯系統(tǒng)的開展和深化奠定了堅實的基矗因此,對勃克斯的因果陳述邏輯理論進展研究,是一件非常有意義的事情,而筆者也從這一研究過程中,得到了一些啟發(fā)。主要表如今以
11、下兩個方面:其一,因果陳述邏輯的提出及開展過程不僅是對歸納問題的合理性進展辯護的一個重要表現(xiàn),而且是對歸納邏輯所具有的強大的認知功能逐步進步的一個重要反映,同時也說明現(xiàn)代歸納邏輯具有深沉的認識論基矗早在1951年,勃克斯就已經(jīng)提出了因果命題邏輯的形式系統(tǒng),但是當(dāng)時沒有可以對這一邏輯系統(tǒng)作出恰當(dāng)?shù)恼Z義解釋,所以該形式系統(tǒng)僅停留在語形構(gòu)造方面。后來由于可能世界語義學(xué)理論的開展,為勃克斯提供了一種非常有效的解釋工具,從而使他較為成功地解釋了因果陳述邏輯系統(tǒng)。這一成果的意義在于:不會被看成僅僅是真值函項邏輯和古典模態(tài)邏輯的人為擴大。由此可以看出,任何理論都是一個開展的過程,因果陳述邏輯也不例外。我們在
12、前面的內(nèi)容中曾經(jīng)提到,用于解釋該系統(tǒng)的語義學(xué)理論因果可能世界語義學(xué),從模態(tài)邏輯的觀點看,它是因果化的可能世界理論,即使得可能世界語義學(xué)增加了因果的性質(zhì),這是對它的根本理解;從更深層次的意義上講,它是勃克斯對因果陳述邏輯所具有的科學(xué)認知功能的一次挖掘和進步。傳統(tǒng)的歸納推理對因果必然性的證明是不嚴格的,很多是賦予經(jīng)歷的直觀形式,勃克斯建構(gòu)因果陳述邏輯的目的就是為了形成一套證明因果必然律的方法,它的最大特點就是因果必然性規(guī)律先驗概率確實定,而用來測定因果必然性規(guī)律的恰恰是以三種世界類型邏輯可能世界、因果可能世界和現(xiàn)實世界為依托的。因此,從這一意義上說,因果可能世界以及因果必然性等一系列思想和理論的形
13、成,是因果陳述邏輯對人們的認知才能的一次檢驗,對于探求科學(xué)陳述之間的因果聯(lián)絡(luò),進而對科學(xué)理論做出因果可能性的推斷有著重要的作用。其二,因果陳述邏輯的深層次問題在其哲學(xué)方面,詳細而言,它表現(xiàn)為因果蘊涵的普遍適用性問題。我們知道,科學(xué)中的因果律指的是原因和結(jié)果在時間上總是前后相繼的,原因總是在結(jié)果之前,結(jié)果總是在原因之后。但是,有先后關(guān)系的現(xiàn)象之間并不一定都有因果聯(lián)絡(luò),關(guān)鍵在于結(jié)果必須與原因之間具有必然的聯(lián)絡(luò)。因此,尋求現(xiàn)象之間的因果聯(lián)絡(luò)是一個非常復(fù)雜的過程,涉及到各種各樣的因素,而勃克斯的因果蘊涵不可能涵蓋所有的因果聯(lián)絡(luò)款式,即它不可能反映如此豐富的因果聯(lián)絡(luò)內(nèi)容,它只能反映因果聯(lián)絡(luò)中最一般的本質(zhì)
14、特征,主要表現(xiàn)為因果律。從時間的角度看,因果關(guān)系的內(nèi)在特點是:原因在時間上要先于結(jié)果。而勃克斯已經(jīng)意識到了這一點,于是他構(gòu)建的因果陳述邏輯是將因果關(guān)系的這一時間因素包括在內(nèi)的,這一點通過他對因果模型的構(gòu)建就可以看出來。這充分說明勃克斯將因果聯(lián)絡(luò)與一般的條件聯(lián)絡(luò)嚴格地區(qū)分開來,定義了因果律、因果傾向句、自然律,并分別對它們進展了形式刻畫,從而豐富了他的歸納邏輯思想,使其歸納邏輯理論向全面化的方向邁出了重要的一步。三、因果陳述邏輯的哲學(xué)認知價值二十世紀四五十年代以來,人類真正進入科學(xué)認知與知識創(chuàng)新的時代,純粹的演繹和簡單的歸納都不再適用于科學(xué)創(chuàng)新與技術(shù)發(fā)現(xiàn)的需要,不再滿足知識快速更新的要求,在這樣
15、的大背景下,廣義歸納邏輯、廣義認知邏輯和廣義模態(tài)邏輯迅速地開展起來,并出現(xiàn)了三者穿插的認知開展動向。而歸納邏輯是以歸納推理和歸納方法為根本內(nèi)容的知識體系,其結(jié)論超出了前提所斷定的范圍,因此,從認知方法論的角度看,歸納推理比演繹推理更具有認知趨向與價值,它不僅能幫助人們拓寬自己的認知視野,還能對知識前景進展科學(xué)預(yù)測,從而在知識創(chuàng)新方面具有宏大的優(yōu)越性。與古典歸納邏輯所擅長的性質(zhì)判斷相比,現(xiàn)代歸納邏輯尤其是因果陳述邏輯在知識認知與科學(xué)理論創(chuàng)新方面的價值更為突出,主要表達在三個方面:其一,因果陳述邏輯對于解釋或者預(yù)見事實具有重要意義。它可以從理論命題推演出事實命題,或者是解釋的事實,或者是預(yù)見未知的
16、事實。這種推演的步驟是以公理、定理、假說等作為理論前提,再加上某些初始條件的陳述,逐步推導(dǎo)出一個描繪事實的命題。其二,因果陳述邏輯的核心概念是因果蘊涵。比擬重要的邏輯推導(dǎo)關(guān)系是從邏輯蘊涵推導(dǎo)因果蘊涵,再從因果蘊涵推導(dǎo)出本質(zhì)蘊涵。也就是說,這種推導(dǎo)過程就是從具有邏輯必然性的規(guī)律或者理論陳述中推導(dǎo)出具有因果必然性的因果律陳述,進而推導(dǎo)出事實陳述,其本質(zhì)就是一種科學(xué)理論的創(chuàng)新。其三,因果陳述邏輯的語義解釋奠基于可能世界語義學(xué),而正是借助于這種關(guān)于可能性的邏輯工具,才使得人類的知識認知范圍得以擴大,科學(xué)理論的創(chuàng)新得以可能。因果陳述邏輯將邏輯可能世界擴大到包括因果可能世界,這使得邏輯學(xué)的科學(xué)認知功能大大加強。因為相對于比擬純化的數(shù)
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 美團騎手2025年度團隊協(xié)作與企業(yè)文化融入合同4篇
- 二零二五年度醫(yī)院護理人員專業(yè)發(fā)展合同4篇
- 2025年度數(shù)據(jù)中心冷卻系統(tǒng)承包合同4篇
- 2025年度冷庫制冷設(shè)備進出口貿(mào)易代理合同2篇
- 二零二五年度南京市高新園區(qū)房地產(chǎn)抵押租賃合同
- 二零二五年度新型木托盤租賃及信息化管理服務(wù)合同4篇
- 2025版新型節(jié)能門窗安裝與綠色建筑合同2篇
- 2025年度牛奶飲品國際市場拓展與海外銷售代理合同4篇
- 2025年專業(yè)培訓(xùn)班股權(quán)投資與管理合同4篇
- 2025年度鋼構(gòu)加工企業(yè)信用風(fēng)險防范合同
- 小兒甲型流感護理查房
- 霧化吸入療法合理用藥專家共識(2024版)解讀
- 2021年全國高考物理真題試卷及解析(全國已卷)
- 拆遷評估機構(gòu)選定方案
- 趣味知識問答100道
- 鋼管豎向承載力表
- 2024年新北師大版八年級上冊物理全冊教學(xué)課件(新版教材)
- 人教版數(shù)學(xué)四年級下冊核心素養(yǎng)目標(biāo)全冊教學(xué)設(shè)計
- JJG 692-2010無創(chuàng)自動測量血壓計
- 三年級下冊口算天天100題(A4打印版)
- 徐州市2023-2024學(xué)年八年級上學(xué)期期末地理試卷(含答案解析)
評論
0/150
提交評論