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

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

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