宣告群組的無知來消除主體的無知——基于無知的一個群組宣告邏輯
范杰 北京師范大學哲學學院
- 邏輯
- 無知
- 表達力
- 性問題
- 完全性
摘要：本文提出一個基于無知的群組宣告邏輯，該邏輯是帶有宣告算子的無知邏輯加上一個基于無知的群組宣告算子的擴展，用以表達群組中的每個主體宣告他們各自的無知后什么東西為真。我們對比這一邏輯和文獻中相關邏輯的相對表達力，并研究該邏輯的框架可定義性問題。另外，我們也提出一個公理化系統并證明它的完全性。
注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社
