國立臺灣大學哲學論評

摘要 / PDF 全文下載

此篇論文旨在以萊特於1980年所提出的預建邏輯系統，消除洛特對AGM理論的單調性原則提出的反例。相較於古典邏輯，雖然AGM理論主張知識狀態具備均衡性，並建構基本函映的預設說明信念變遷，但是許多哲學家認為該理論有某些基本原則值得質疑，洛特即指出AGM理論主張原有知識狀態的某個信念弱化之後，並不會影響原知識狀態的單調性並不成立。然而，洛特的反例之所以成立，在於可能出現相同語句卻具有不同資訊價值的情況，不過，洛特也並未提出適當的方式說明處理非單調的信念變遷過程。因此，我在這篇論文中要以AGM理論結合預建邏輯的方法消除洛特提出的反例，亦即主張在AGM理論中加入預建邏輯的推論規則，可以適當地處理非單調的信念變遷過程。