CTD悖論研究.pdf

1、道義邏輯研究的是“應(yīng)當(dāng)”、“允許”、“禁止”等道義概念以及與這些概念相關(guān)的命題推理形式。1951年,馮·賴特(Von Wright)在《心靈》雜志上發(fā)表了《道義邏輯》一文,產(chǎn)生了第一個(gè)被認(rèn)為可行的道義邏輯系統(tǒng)。現(xiàn)在人們廣泛使用的是SDL系統(tǒng)(標(biāo)準(zhǔn)道義邏輯系統(tǒng)),但SDL系統(tǒng)都受到一系列悖論的困擾,其中最讓邏輯學(xué)家頭痛的就是CTD悖論。CTD悖論是contrary-to-duty悖論的縮寫。這里所討論的CTD悖論是一系列相似悖論的總稱。齊

2、碩姆悖論(也稱“齊碩姆二難”)是最早提出的一個(gè)CTD悖論。1963年齊碩姆(R.M.chisholm)在《瀆職命令和道義邏輯》一文中提出了四個(gè)自然語句。齊碩姆的這四個(gè)自然語句從直覺上不矛盾而且語句之間有獨(dú)立性,但是在SDL系統(tǒng)中窮盡一切刻畫方式都找不出令人滿意的方法,要么缺乏獨(dú)立性,要么直覺上產(chǎn)生矛盾或直覺上和形式上都產(chǎn)生矛盾。齊碩姆之后,又有許多學(xué)者提出諸多相似悖論。它們同齊碩姆悖論一樣都無法在SDL系統(tǒng)內(nèi)得到合適的形式刻畫。道義邏輯

3、研究既具有重大的理論意義,又具有重要的實(shí)踐意義,因?yàn)镃TD義務(wù)是司法推理和日常道德推理必定要碰到的。作者認(rèn)為CTD悖論產(chǎn)生原因大致有以下兩方面:一方面,SDL是以真性模態(tài)邏輯為基礎(chǔ),通過擴(kuò)充而構(gòu)造起來的,真性模態(tài)邏輯又是在經(jīng)典邏輯基礎(chǔ)上擴(kuò)充而來的。因此,在真性模態(tài)邏輯和經(jīng)典邏輯系統(tǒng)之中那些有悖于常理的定理都被SDL所繼承了過來。這其實(shí)也是其他道義邏輯悖論產(chǎn)生的原因。另一方面,CTD悖論產(chǎn)生于對CTD義務(wù)的形式刻畫。SDL系統(tǒng)沒有能力對C

4、TD義務(wù)進(jìn)行合適的刻畫。這是CTD悖論特有的問題,所以解決CTD悖論主要任務(wù)在于對CTD義務(wù)進(jìn)行合適的形式刻畫。
　　本文將用三種方法對其形式化。第一種方法是二元道義邏輯的方法。隨著對道義邏輯的深入研究,二元道義邏輯系統(tǒng)產(chǎn)生了。首先建立二元道義邏輯系統(tǒng)的是馮·賴特和雷切爾(N.Rescher)。他們建立二元道義邏輯系統(tǒng)的初衷都在于消除一元道義邏輯中的悖論,尤其是CTD悖論。帕拉肯(Henry Prakken)和塞各特(Marek

5、Sergot)也用二元道義邏輯系統(tǒng)來試圖消除這一悖論。這一方法解決悖論的基本思想是區(qū)分初始層次的義務(wù)和CTD層次的義務(wù)以及不同層次的CTD義務(wù),并且證明所謂有悖論的語句是在不同層次上的,它們之間都不會產(chǎn)生矛盾。雖然這種方法滿足了卡莫(J.Carmo)和瓊斯(A.J.I.Jones)提出的八條要求中所必須滿足的幾條,但是都不能滿足第四條,會產(chǎn)生不小的缺陷。第二種方法是道義邏輯同時(shí)態(tài)邏輯相結(jié)合的方法。一般認(rèn)為,義務(wù)因時(shí)間的變化而不斷產(chǎn)生、變

6、化、消失,所以時(shí)間是實(shí)際進(jìn)行道德推理和司法推理的重要因素,因此在道義邏輯的框架中通過引入時(shí)態(tài)因素是符合實(shí)際需要的。道義邏輯與時(shí)態(tài)邏輯的結(jié)合,已成為構(gòu)造道義邏輯系統(tǒng)的一種新傾向。但本文使用的時(shí)態(tài)道義邏輯是一種“偽裝”的時(shí)態(tài)道義邏輯,時(shí)態(tài)概念在此并沒有什么特別的作用,但它卻對CTD悖論作出了比較合理的形式刻畫。這種方法同帕拉肯和塞各特的方法的區(qū)別在于:首先它引入了道義優(yōu)劣次序,這樣就能更好地定義初始義務(wù)和條件義務(wù);其次拒絕了道義分離規(guī)則和條

7、件義務(wù)分離規(guī)則,使系統(tǒng)中避免了出現(xiàn)更多的初始義務(wù);再次它對條件義務(wù)如何成為CTD義務(wù)進(jìn)行了合適的定義。這種方法滿足了卡莫和瓊斯提出的八條要求,尤其是滿足第四條要求。第三種方法是情境演算的方法。近些年來邏輯學(xué)界還有一種傾向,即不把道義邏輯作為廣義模態(tài)邏輯的一個(gè)分支,不用廣義模態(tài)邏輯的研究方法來研究道義邏輯。
　　本文將介紹一種用情境演算來處理CTD悖論的方法。這種方法解決CTD悖論的基本思想是:首先對自然語句進(jìn)行形式化,SDL形式化

8、齊碩姆悖論四個(gè)語句時(shí)沒有情境這一因素,用情境演算來形式化時(shí),必須注意前三句涉及道義概念的語句是在所有情境下都有效的,而那個(gè)表示事實(shí)的的語句只發(fā)生在特殊的情境下;其次,建立符合形式化語句的初始設(shè)定。再次,建立符合形式化語句的后繼狀態(tài)公理和道義后繼狀態(tài)公理;最后,證明在同一情境下沒有沖突的義務(wù)。這種方法是一種非常簡潔的推理方法,它滿足了卡莫和瓊斯提出的八條要求。此外,它不使用可能世界語義學(xué),所以可以避免用可能世界語義學(xué)帶來的麻煩。我在本文中