林正弘楊金穆臺灣大學：傅皓政Fu, Hao-ChengHao-ChengFu2007-11-272018-05-292007-11-272018-05-292007http://ntur.lib.ntu.edu.tw//handle/246246/56424這篇論文的主要目的在於提供一個新的進路，用以消解條件句理論中瑞姆濟試驗和保存判準的不相容性。自弗雷格(G. Frege)在十九世紀末創建現代符號邏輯（通稱為古典邏輯）以來，邏輯學家們注意到以古典邏輯中的「AThe main purpose of this dissertation is to provide a new approach to resolve the incompatibility between the Ramsey test and the Preservation criterion. Since G. Frege established modern symbolic logic at the end of the 19th century (in general called classical logic), logicians noted that it was inappropriate to express the form of sentence ‘if A, then B’ in our ordinary language into the form of ‘A目 錄 口試委員會審定書………………………………………….. i 致謝…………………………………………………………….. ii 中文摘要………………………………………………………. iii 英文摘要………………………………………………………. vi 導 論…………………………………………………………. 1 第一章 動態知識論的模型……………………………… 20 第一節 AGM理論的模型理論進路…………………… 21 第二節 AGM理論處理的對象─知識狀態…………… 28 第三節 信念變遷的函應…………………………… 35 第四節 知識上的牢固性……………………………. 49 第五節 最小變動原則與純粹縮減…………………. 56 第二章 瑞姆濟試驗與保存判準………………………... 65 第一節 條件句與實質蘊涵…………………………. 66 第二節 瑞姆濟試驗…………………………………. 72 第三節 保存判準與瑣碎性問題……………………. 84 第四節 瑞姆濟試驗與保存判準的不相容性………. 90 第三章 解決瑣碎性問題的策略………………………... 96 第一節 瑣碎性問題的預設及雷外的策略…………. 97 第二節 葛登福斯的策略……………………………. 108 第三節 洛特的策略…………………………………. 115 第四節 其他立場與評價……………………………. 120 第四章 威廉森的知識論進路…………………………… 130 第一節 模型的元素－知識狀態……………………. 131 第二節 回到知識本身………………………………. 134 第三節 知識的非清晰性與證據……………………. 142 第五章 威廉森與條件句…………………………………. 150 第一節 反事實條件句的知識…………………….. 151 第二節 形上學模態與反事實條件句………………. 160 第三節 條件句的知識………………………………. 168 第四節 描繪知識的模型……………………………. 174 第五節 條件句的斷言規則…………………………. 182 結 論………………………………………………………….. 188 參考文獻………………………………………………………. 1961007386 bytesapplication/pdfen-US條件句信念變遷瑞姆濟試驗威廉森知識ConditionalBelief changeRamsey TestTim WilliamsonKnowledgethesishttp://ntur.lib.ntu.edu.tw/bitstream/246246/56424/1/ntu-96-D91124004-1.pdf