論對動態(tài)道義邏輯的一種擴展.pdf

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

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

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