- 相關推薦
因果陳述邏輯的哲學意蘊論文
“因果陳述邏輯”這一概念是由美國當代哲學家、計算機科學家阿瑟·勃克斯首創(chuàng)的。 以下就是由為您提供的因果陳述邏輯的哲學意蘊。勃克斯對科學哲學和歸納邏輯研究有著較大的貢獻，他提出了自己的歸納概率理論，建構了因果陳述邏輯系統(tǒng)，成為歸納邏輯研究的獨樹一幟的理論。
勃克斯最具有代表性的重要理論成果是1977年出版的闡述其因果陳述公理系統(tǒng)的專著《機遇、因果和推理》。關于因果陳述邏輯(The Logic of Causal Statements)的理論與方法，勃克斯在這部著作中進行了詳盡地說明。
他在引申并深化劉易斯關于嚴格蘊涵與模態(tài)邏輯思想的基礎上，將其應用到因果性模態(tài)問題之中，并將模態(tài)形式分為兩大類：邏輯模態(tài)與因果模態(tài)。
四個邏輯模態(tài)符號分別為：邏輯必然“□”、邏輯可能“◇”、邏輯蘊涵“→”、邏輯等值“?圮”。與此相對應，他創(chuàng)新性地提出了四個因果模態(tài)符號，分別為：因果必然“□c”、因果可能“◇c”、因果蘊涵“→c”、因果等值“?圮c”。與邏輯模態(tài)符號成立的形態(tài)——邏輯可能世界相類似，勃克斯提出了“因果可能世界”。因果可能世界的提出，不僅標志著一種新的模態(tài)形式的誕生，也為我們研究因果問題及其相關理論提供了一個新的思路。
因果陳述邏輯的公理系統(tǒng)繼承了經典邏輯的核心內容。它由一個非模態(tài)性的一階邏輯演算(或者不包含等詞的一階函數(shù)演算)加上一組關于邏輯形態(tài)的模態(tài)詞(“必然”、“可能”)以及一組關于因果形態(tài)的模態(tài)詞(“因果必然”、“因果可能”)的演算而構成。因果陳述邏輯的公理系統(tǒng)主要由語法、公理、證明和定理組成。在該形式系統(tǒng)的語法中，勃克斯分別對因果可能、因果蘊涵等重要的邏輯概念進行了定義。
比如，因果可能的定義：◇c?椎=df ~□c~?椎，因果蘊涵的定義：？椎→c?追=df □c(?椎？勱？追)。關于因果陳述邏輯系統(tǒng)的公理，勃克斯將它們分為三類，即真值函項公理、量詞公理和模態(tài)公理。由于在該系統(tǒng)中判定真值函項公理和量詞公理的方法與步驟和經典邏輯一致，故此不贅述。因果陳述邏輯與模態(tài)邏輯密切相關，如果說經典邏輯是這一形式系統(tǒng)的框架，那么模態(tài)邏輯便是該理論系統(tǒng)的精髓和亮點，二者缺一不可。而因果陳述邏輯的模態(tài)性以及模態(tài)算子的本質特征也恰恰是通過模態(tài)公理體現(xiàn)出來的。
比如，模態(tài)公理□?椎？勱□c?椎(邏輯必然蘊涵因果必然)和□c?椎？勱？椎(因果必然蘊涵實然)。我們看到，這兩個公理是按照模態(tài)的強弱來排序的，前者表示邏輯必然性強于因果必然性，后者表示因果必然性強于實然性。
二者是“必然性是分等級的”這一哲學指導思想在因果陳述邏輯中的具體體現(xiàn)。在語法和公理的基礎上，勃克斯對證明和定理進行了定義。從表面上看，證明和定理的內容無非是對經典數(shù)理邏輯中一些概念的簡單重復。但是，值得注意的是，勃克斯的創(chuàng)新之處就在于他將這套理論搬到了帶有因果必然算子(□c)的因果陳述邏輯的系統(tǒng)中，并且十分適用，用勃克斯本人的話說，“一個演繹論證的普遍概念在我們的形式語言(因果陳述邏輯)中根據有前提的證明而得到了模擬”。
任何一個邏輯系統(tǒng)或者邏輯理論都必須包含蘊涵，也就是說，沒有無蘊涵的邏輯系統(tǒng)或理論，勃克斯構建的因果陳述邏輯系統(tǒng)也不例外。在因果陳述邏輯理論中，因果蘊涵是該形式系統(tǒng)的重要內容，也是它區(qū)別于其他形式系統(tǒng)的主要標志。勃克斯對因果陳述邏輯的構造就是從對因果蘊涵的描述和刻畫開始的。因此，分析因果陳述邏輯這一邏輯系統(tǒng)的哲學基礎，關鍵就在于正確地理解和把握因果蘊涵的哲學性質。
編輯老師為大家整理了因果陳述邏輯的哲學意蘊，希望對大家有所幫助。
【因果陳述邏輯的哲學意蘊論文】相關文章：
詮釋邏輯哲學論中的因果律命題論文10-08
語言哲學和邏輯哲學的分析論文10-08
邏輯哲學的研究進路論文10-08
資本邏輯下的經濟哲學論文論文10-08
淺談現(xiàn)代歸納邏輯哲學意義論文10-05
淺談《詞與物》的主旨及其哲學意蘊大學論文10-08
小議王延直邏輯哲學思想論文10-08
邏輯哲學論中的新世界觀論文10-08
有關邏輯哲學論的世界概念研討論文10-08