道義邏輯與道義悖論研究.pdf

1、現代道義邏輯興起于20世紀50、60年代,主要研究含有“應該”、“允許”或“禁止”等道義詞的命題邏輯。雖然道義邏輯興起于現代,但道義邏輯卻有很長的思想淵源。從亞里士多德開始,道義模態(tài)就始終為邏輯學家所關注。
　　現代道義邏輯的誕生激發(fā)了邏輯學家的極大興趣。在馮?賴特的經典道義邏輯系統(tǒng)基礎上,新的道義邏輯系統(tǒng)不斷產生。50年代以來,道義邏輯系統(tǒng)的內容不斷豐富,也不斷追蹤現代形式邏輯發(fā)展的足跡。道義邏輯學家不斷克服在構建形式系統(tǒng)過程中

2、所出現的困難,同時不斷消解道義形式系統(tǒng)中所謂的悖論,這使得今天的道義邏輯茁壯成長起來,成為廣義模態(tài)邏輯中一個重要組成部分。
　　本文旨在對道義邏輯思想的起源及其發(fā)展進行全面、系統(tǒng)、深入的梳理和研究,特別是對現代道義邏輯產生的背景、道義邏輯奠基人馮?賴特的一元道義邏輯到二元道義邏輯的發(fā)展以及現代道義邏輯的發(fā)展趨勢進行系統(tǒng)介紹。除此之外,本文重在分析道義邏輯系統(tǒng)中存在的悖論以及這些道義悖論的解決方案及其困境,進而提供一元算符理論的初步