論對(duì)動(dòng)態(tài)道義邏輯的一種擴(kuò)展.pdf

1、自1951年馮賴特創(chuàng)立第一個(gè)被人們認(rèn)可的道義邏輯系統(tǒng)以來，道義邏輯理論本身得到了極大的發(fā)展。不僅有一元道義邏輯，還有二元道義邏輯;不僅有道義命題邏輯，還有道義謂詞邏輯。而對(duì)于每一大類型的道義邏輯，其中又有著多種不同的系統(tǒng)，例如，就二元道義邏輯而言，有馮賴特的二元道義系統(tǒng)、雷切爾的二元道義系統(tǒng)以及漢森道義系統(tǒng)等。但是，隨著道義邏輯的發(fā)展，道義邏輯系統(tǒng)本身存在的一些問題也逐步被人們所發(fā)現(xiàn)。例如，道義邏輯標(biāo)準(zhǔn)系統(tǒng)中的羅斯悖論、導(dǎo)出義務(wù)悖論，齊

2、碩姆二難等問題。為了更好地解決這些問題，邏輯學(xué)家們嘗試著從不同的角度、采取不同的方法去迸一步修正與發(fā)展道義邏輯。20世紀(jì)80年代起梅耶試圖將道義邏輯歸約為動(dòng)態(tài)邏輯，從而為道義邏輯的發(fā)展提出了一個(gè)與計(jì)算機(jī)結(jié)合的全新的視角，并促使人們開始了對(duì)動(dòng)態(tài)道義邏輯的探討。
　　另一方面，人們?cè)趧?chuàng)立道義邏輯之初就是期望將邏輯推廣并應(yīng)用到倫理、法律工作中去，而合同作為一種特殊的法律規(guī)范，在這里也受到了關(guān)注。合同條款的邏輯形式表述成了一個(gè)最基本的問題

3、，只有在能以將合同條款形式表述的前提下，才可能形式地表述一個(gè)完整的合同。本文首先討論了一種現(xiàn)存的、最適于表述法律形式的道義邏輯，即動(dòng)態(tài)道義邏輯(DDeL)。在DDeL系統(tǒng)中，表達(dá)式有行動(dòng)表達(dá)式和斷言表達(dá)式。借助于同步集合概念，本文討論了行動(dòng)的語(yǔ)義以及行動(dòng)與狀態(tài)之間的關(guān)系。
　　但是動(dòng)態(tài)道義邏輯雖然能形式地表示各種不同的權(quán)利義務(wù)，但所表述的這些權(quán)利義務(wù)卻似乎是“無(wú)關(guān)于人的”，也就是說動(dòng)態(tài)道義邏輯還無(wú)法表述合同主體。為了增強(qiáng)動(dòng)態(tài)道義邏