CTD悖論研究.pdf

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

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

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

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

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

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

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

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