二元道義邏輯DDFS系統(tǒng)研究.pdf

1、在馮·賴特和J·F霍蒂工作的基礎(chǔ)上，J·漢森將建立了新的二元道義邏輯系統(tǒng)DDFS。 本文描述了DDFS系統(tǒng)的一些性質(zhì)，采用與漢森略有不同的方法，證明了系統(tǒng)中的公理的有效性和部分定理，并且證明了系統(tǒng)的可靠性。 首先，本文簡要描述了現(xiàn)代道義邏輯興起的背景。對現(xiàn)代道義邏輯的發(fā)展史作了一個簡要的回顧，從而闡明了對本文所論述對象進(jìn)行研究的必要性和可行性。 在第二章里面，簡要描述了一元道義邏輯系統(tǒng)，這是進(jìn)一步研究二元道義邏輯

2、的基礎(chǔ)。也指出了一元道義邏輯的特性及局限。 第三章介紹了馮·賴特的兩個二元道義邏輯系統(tǒng)，并闡述了由弗蘭岑和霍蒂分別提出的兩個道義算子“OF”和“OS”的理論背景，對于這兩個算子的語義，可以借用非單調(diào)邏輯的缺省理論來理解。 第四章集中介紹了二元道義邏輯系統(tǒng)DDFS的各個方面，包括其產(chǎn)生的緣由，其初始符號、形成規(guī)則、公理及定理等，還給出了關(guān)于DDFS可靠性的證明。DDFS是一個不允許含道義命題算子公式與命題邏輯中公式混合使用