中文题名: | 多宇宙观:集合论中的多元主义 |
姓名: | |
保密级别: | 公开 |
论文语种: | 英语 |
学科代码: | 010101 |
学科专业: | |
学生类型: | 学士 |
学位: | 哲学学士 |
学位年度: | 2021 |
学校: | 北京师范大学 |
校区: | |
学院: | |
第一导师姓名: | |
第一导师单位: | |
提交日期: | 2021-06-01 |
答辩日期: | 2021-05-27 |
外文题名: | Multiverse: Pluralism in Set Theory |
中文关键词: | |
外文关键词: | |
中文摘要: |
力迫法是当今集合论研究中最重要的证明命题独立性的方法之一。但由于力迫法需要一个在模型外的脱殊集,对该方法的本体论基础一直存在争论。多宇宙观是为了解决该问题而提出的一个哲学观,它声称:一切集合模型都现实地存在着,而且它们对应了不同的集合概念。在本文中,我们首先介绍了力迫方法,简要介绍了几种不同的多宇宙观,并尝试对一些批评进行回应。在最后一个章节,我们将对该观点进行进一步的思考。
|
外文摘要: |
Forcing is one of the most widely used method in proving set theoretic independence results. However, since forcing requires a generic set lying outside of the model, there is always debate of determining the ontological basis of this method. Multiverse perspective is one of the proposed philosophical perspective, which claims that, in short, every model of set theory exists, and they stands for different concept of sets. In this paper, we shall first look into the forcing method, give a short introduction in multiverse perspectives, and try to respond various of criticisms. In the last chapter, we shall dig in the perspective deeper.
|
参考文献总数: | 15 |
插图总数: | 0 |
插表总数: | 0 |
馆藏号: | 本010101/21038 |
开放日期: | 2022-05-30 |