数学联邦政治世界观
超小超大

唯名论与有穷主义(一) (5-2)

We further agreed that for the basic language the requirements of finitism and constructivism should be fulfilled in some sense. We examined various forms of finitism. Quine preferred a very strict form; the number of objects was assumed to be finite and consequently the numbers appearing in arithmetic could not exceed a certain maximum number. Tarski and I preferred a weaker form of finitism, which left it open whether the number of all objects is finite or infinite. . . In order to fulfill the requirement of constructivism I proposed to use certain features of my Language I in my Logical Syntax. We planned to have the basic language serve, in addition, as an elementary syntax language for the formulation of the basic syntactical rules of the total language. The latter language was intended to be comprehensive enough to contain the whole of classical mathematics and physics, represented as syntactical systems. (Carnap 1963, 79)

其中所提到的构建构建唯名论-有穷主义语言所要满足的四个标准是由Tarski提供的,可以总结如下:

• (FN 1) L is first-order.

• (FN 2) All elements of D are “physical things.”

• (FN 3R: restrictive version) D contains a finite number of members; or

• (FN 3L: liberal version) No assumption is made about the cardinality of D.

• (FN 4) L contains only finitely many descriptive predicates.

在后面的讨论中作者称这四个条件为‘finitist- nominalist (FN) conditions’,其中前两个为nominalist,第三个和第四个为finitist。任何满足以上四个条件的语言被称为‘finitist-nominalist language.’

Tarski的构想直接受影响于来自波兰的哲学家,唯名论的先驱Chwistek, reism的代表Kotarbiński,以及有唯名论思想和数学上的“intuitionistic formalism”立场的 Leśniewski。

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

相关小说

暂时没想好名字的一零一 连载中
暂时没想好名字的一零一
郁离波澜
无限流
0.1万字5个月前
现在才爱是不是太迟了 连载中
现在才爱是不是太迟了
步菲嫣
一个流水无情一个爱而不得,别扭的开始,本以为可以别扭的结束,谁知天降大祸,让两人有了新的进展
29.1万字5个月前
系统携我闯末世 连载中
系统携我闯末世
飞鸽鸽
资源的破坏,导致了生态环境的恶化,末世的到来引发了部分异能者的觉醒,苏同却被毒舌系统给选择了,自此杀丧尸,收队员,天下我有。
4.6万字5个月前
神魔共主:夜倾天下 连载中
神魔共主:夜倾天下
九羡凤权
为继承万界主母,下界渡劫。却遇到了邪族的偷袭。竟然千回百转轮回万世。就在万世的轮回之中出现了一次巨大的偏差竟让她转魂到了下一个界面,..本来......
11.8万字5个月前
创丹cp 连载中
创丹cp
139***621_6282166776
0.0万字5个月前
全班同学观影我日常 连载中
全班同学观影我日常
小x所爱隔山海
一道白光把我和全班同学带到了观影室,But!!!为什么是看我的周末日常啊?!x据自己改写x实际内容成度:20%无脑成度80%x不喜勿喷
0.5万字5个月前