發(fā)布時間：2017-07-28 12:18

  本文關(guān)鍵詞：CTD悖論研究

  更多相關(guān)文章： 道義邏輯 CTD悖論 二元道義邏輯 道義時態(tài)邏輯 情境演算

【摘要】： 道義邏輯研究的是“應(yīng)當”、“允許”、“禁止”等道義概念以及與這些概念相關(guān)的命題推理形式。1951年,馮·賴特(Von Wright)在《心靈》雜志上發(fā)表了《道義邏輯》一文,產(chǎn)生了第一個被認為可行的道義邏輯系統(tǒng)。現(xiàn)在人們廣泛使用的是SDL系統(tǒng)(標準道義邏輯系統(tǒng)),但SDL系統(tǒng)都受到一系列悖論的困擾,其中最讓邏輯學(xué)家頭痛的就是CTD悖論。CTD悖論是contrary-to-duty悖論的縮寫。這里所討論的CTD悖論是一系列相似悖論的總稱。齊碩姆悖論(也稱“齊碩姆二難”)是最早提出的一個CTD悖論。1963年齊碩姆(R.M.chisholm)在《瀆職命令和道義邏輯》一文中提出了四個自然語句。齊碩姆的這四個自然語句從直覺上不矛盾而且語句之間有獨立性,但是在SDL系統(tǒng)中窮盡一切刻畫方式都找不出令人滿意的方法,要么缺乏獨立性,要么直覺上產(chǎn)生矛盾或直覺上和形式上都產(chǎn)生矛盾。齊碩姆之后,又有許多學(xué)者提出諸多相似悖論。它們同齊碩姆悖論一樣都無法在SDL系統(tǒng)內(nèi)得到合適的形式刻畫。 道義邏輯研究既具有重大的理論意義,又具有重要的實踐意義,因為CTD義務(wù)是司法推理和日常道德推理必定要碰到的。作者認為CTD悖論產(chǎn)生原因大致有以下兩方面:一方面,SDL是以真性模態(tài)邏輯為基礎(chǔ),通過擴充而構(gòu)造起來的,真性模態(tài)邏輯又是在經(jīng)典邏輯基礎(chǔ)上擴充而來的。因此,在真性模態(tài)邏輯和經(jīng)典邏輯系統(tǒng)之中那些有悖于常理的定理都被SDL所繼承了過來。這其實也是其他道義邏輯悖論產(chǎn)生的原因。另一方面,CTD悖論產(chǎn)生于對CTD義務(wù)的形式刻畫。SDL系統(tǒng)沒有能力對CTD義務(wù)進行合適的刻畫。這是CTD悖論特有的問題,所以解決CTD悖論主要任務(wù)在于對CTD義務(wù)進行合適的形式刻畫。本文將用三種方法對其形式化。 第一種方法是二元道義邏輯的方法。隨著對道義邏輯的深入研究,二元道義邏輯系統(tǒng)產(chǎn)生了。首先建立二元道義邏輯系統(tǒng)的是馮·賴特和雷切爾(N.Rescher)。他們建立二元道義邏輯系統(tǒng)的初衷都在于消除一元道義邏輯中的悖論,尤其是CTD悖論。帕拉肯(Henry Prakken)和塞各特(Marek Sergot)也用二元道義邏輯系統(tǒng)來試圖消除這一悖論。這一方法解決悖論的基本思想是區(qū)分初始層次的義務(wù)和CTD層次的義務(wù)以及不同層次的CTD義務(wù),并且證明所謂有悖論的語句是在不同層次上的,它們之間都不會產(chǎn)生矛盾。雖然這種方法滿足了卡莫(J.Carmo)和瓊斯(A.J.I.Jones)提出的八條要求中所必須滿足的幾條,但是都不能滿足第四條,會產(chǎn)生不小的缺陷。 第二種方法是道義邏輯同時態(tài)邏輯相結(jié)合的方法。一般認為,義務(wù)因時間的變化而不斷產(chǎn)生、變化、消失,所以時間是實際進行道德推理和司法推理的重要因素,因此在道義邏輯的框架中通過引入時態(tài)因素是符合實際需要的。道義邏輯與時態(tài)邏輯的結(jié)合,已成為構(gòu)造道義邏輯系統(tǒng)的一種新傾向。但本文使用的時態(tài)道義邏輯是一種“偽裝”的時態(tài)道義邏輯,時態(tài)概念在此并沒有什么特別的作用,但它卻對CTD悖論作出了比較合理的形式刻畫。這種方法同帕拉肯和塞各特的方法的區(qū)別在于:首先它引入了道義優(yōu)劣次序,這樣就能更好地定義初始義務(wù)和條件義務(wù);其次拒絕了道義分離規(guī)則和條件義務(wù)分離規(guī)則,使系統(tǒng)中避免了出現(xiàn)更多的初始義務(wù);再次它對條件義務(wù)如何成為CTD義務(wù)進行了合適的定義。這種方法滿足了卡莫和瓊斯提出的八條要求,尤其是滿足第四條要求。 第三種方法是情境演算的方法。近些年來邏輯學(xué)界還有一種傾向,即不把道義邏輯作為廣義模態(tài)邏輯的一個分支,不用廣義模態(tài)邏輯的研究方法來研究道義邏輯。本文將介紹一種用情境演算來處理CTD悖論的方法。這種方法解決CTD悖論的基本思想是:首先對自然語句進行形式化,SDL形式化齊碩姆悖論四個語句時沒有情境這一因素,用情境演算來形式化時,必須注意前三句涉及道義概念的語句是在所有情境下都有效的,而那個表示事實的的語句只發(fā)生在特殊的情境下;其次,建立符合形式化語句的初始設(shè)定。再次,建立符合形式化語句的后繼狀態(tài)公理和道義后繼狀態(tài)公理;最后,證明在同一情境下沒有沖突的義務(wù)。這種方法是一種非常簡潔的推理方法,它滿足了卡莫和瓊斯提出的八條要求。此外,它不使用可能世界語義學(xué),所以可以避免用可能世界語義學(xué)帶來的麻煩。 我在本文中的工作是詳細分析各個方法的具體內(nèi)容,嘗試處理所有的CTD悖論,最后進行評論。
【關(guān)鍵詞】：道義邏輯 CTD悖論 二元道義邏輯 道義時態(tài)邏輯 情境演算
【學(xué)位授予單位】：華東師范大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2009
【分類號】：B812
【目錄】：

• 論文摘要6-8
• ABSTRACT8-11
• 前言11-12
• 第一章 CTD悖論概論12-18
• 第一節(jié) CTD悖論提出的背景12-13
• 第二節(jié) 齊碩姆CTD悖論以及其它CTD悖論13-15
• 第三節(jié) 解決CTD悖論的意義15-16
• 第四節(jié) CTD悖論產(chǎn)生的原因和解決CTD悖論的要求16-18
• 第二章 解決CTD悖論的方法之一——二元道義邏輯18-23
• 第三章 解決CTD悖論的方法之二——道義邏輯與時態(tài)邏輯相結(jié)合23-30
• 第一節(jié) 道義邏輯與時態(tài)邏輯23-24
• 第二節(jié) 時態(tài)道義邏輯的基本概念24-26
• 第三節(jié) CTD悖論的解決26-30
• 第四章 解決CTD悖論的方法之三——情境演算(situation calculus)30-37
• 第一節(jié) 情境演算的基本概念30-31
• 第二節(jié) 齊碩姆悖論31-32
• 第三節(jié) 齊碩姆悖論加強版32-34
• 第四節(jié) 其它CTD悖論34-37
• 結(jié)論37-38
• 參考文獻38

【引證文獻】

中國期刊全文數(shù)據(jù)庫 前1條

1 萬小龍;李福勇;田雪;;一元算符邏輯理論二探——一元算符完全性視野下的道義邏輯研究[J];安徽大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2012年03期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 田雪;萬小龍;陳明益;;狹義函數(shù)相對論視野下的道義邏輯與道義悖論解析[A];第八屆全國分析哲學(xué)研討會論文集（上）[C];2012年

，

本文編號：584010