KurtGodel（五）

3.2Gödel的现实主义

Gödel的现实观点主要是在数学基础和集合理论的背景下制定的。

我们在列表中提到了“我相信的是什么”，以为于1960年或其竞争编写。 在14个项目中，只有两个人参考现实主义，备注10和12：

唯物主义是错误的。

概念有客观存在。

哥德尔在1944年首次发表了他对现实主义的看法。以下是他对该主题的最引用的段落之一：

然而，课程和概念也可以作为真实物体，即类作为“多个事物”的类别，或者作为由多个事物和概念组成的结构，作为与我们的定义和结构不同的事物的性质和关系。

在我看来，这种物品的假设是与身体的假设一样合法，并且有很多有理由相信他们的存在。 它们与获得令人满意的数学系统所需的感觉相同，因为身体机构对于我们的感知感知的令人满意的理论和两种情况来说，这两种情况都无法解释一个想要将这些实体声明为关于“数据”的命题的命题是不可能的。即，在后一种情况下实际发生的感觉感知。

哥德尔提到了解释实证法的不可能性，或更准确地说，他们的实例化 - “人们想要断言”的陈述 - 作为关于感知感知的陈述，可能是（那时）当代的赞同批判对现象主义。 批评是基于观察，意识数据如此不可分割地束缚，这些条件与经验丰富的条件，可以给出关于那些的陈述与我们想要断言的陈述之间的对应关系（例如，例如参见Chisholm 1948）。 更普遍的是哥德尔反对验证主义，即陈述的含义是其验证方式的想法。

通道第一部分中的模拟点由甘草草案中的甘草在稿件草案中扩大“是语言的语法？”：

考虑“这是红色”是一个直接基准，但不得如此考虑表达表达式的主张或完全感应的主张（或者可能是一些更简单的命题所遵循的命题）。 （Gödel1995，第359页）

一些作家在这个和类似的段落中解释了吉尔（Gödel）和类似的段落，归因于他认为，因为实证陈述是成功参考的范例，在抽象概念的情况下应该会导致建模。 （参见Maddy 1990.）通过这种方式解释对抽象对象的引用，争议，解决与现实主义相关的主要困难，问题如何能够了解抽象对象。 其他人认为哥德尔没有考虑范例; 对他来说，实证和抽象案例同样有问题，或同样是未解决的。 （参见1986年的Tait。）后者视图被称为Van Atten and Kennedy 2003年的认识论平价。（另见肯尼迪和梵德申请2004年）

在1947年“哥伦的连续内问题是什么？”，哥德尔阐述了这一观点，就数学的有意义命题而言，总事实是以是或否的方式决定的。 这是现实主义的直接后果，因为如果存在数学对象或概念的域，那么有关它们的任何有意义命题必须是真或假的。[23] 连续的假设是哥德尔的一个有意义的问题的例子。 这个概念“有多少”引导“明确地”到假设的明确含义，因此它应该至少原则上可判定。 最引人注目的哥特尔不会在那里留下此事，但继续提供确定连续体价值的实际策略，以及延伸ZFC的其他公理的真实值。 具体而言，他为其可辨ic是提供两个标准：第一个涉及概念分析，与哥德尔的合理计划有关。 （见上文关于哥德尔的理性主义。）其次，一定要关注公理的所谓成功，作为一个检查或指标，向其寻求真相的解决方案。 例如，朱德尔笔记中的纸张中的纸张中的构造性公理的后果是非常合理的。 那么，可能是假的。 参见Maddy 2011和Koellner 2014，用于讨论设定理论的新公理的内在VS外在理由。

有关哥德尔哲学观点的进一步讨论，请参阅补充文件：

哥德尔转向现象学

和

关于数学内容的哲学论证