逻辑主义批判 (6-6)

“不是......述谓函项”是因为，成为大将军所必须的性质有很多，而“（）具有成为一个大将军所必须的所有性质”就是“具有性质1”“具有性质2”“具有性质3”的真值函项，因而自由变项x并不只比“（）具有成为一个大将军所必须的所有性质”这个函项小一阶。

转向第514页。这一页起始所设想的那个世界之所以能被用来反驳还原公理，是因为在这个世界中只有一种关系，并且这个世界被完全描述所基于的那个命题(∃x，y，z，· · ·，R). R(x，y，z，· · ·) 中的函项 R(x，y，z，· · ·) 是一个非述谓的函项；只借助于该函项就可以描画这个世界，而由这个函项在还原定理的规定下所能得到的述谓的函项既不存在，也不被需要，还原公理由是遭到排挤。

随后本段结尾处说“还原公理的作用简单说来就在于将量化命题归约为非量化命题”。“拿破仑具有成为一个大将军所必须的所有性质”正因为其中的“所有”而成为量化命题。

参考

1. 自由变量和约束变量 - 维基百科，自由的百科全书 -cn/%E8%87%AA%E7%94%B1%E5%8F%98%E9%87%8F%E5%92%8C%E7%BA%A6%E6%9D%9F%E5%8F%98%E9%87%8F

2. 自指 %E8%87%AA%E6%8C%87

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。