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

唯名论与有穷主义(一) (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),接着再看更方便。

相关小说

首席的小豹子 连载中
首席的小豹子
199***770_3890434175
简介正在更新
0.1万字6个月前
魔法之王子追妻 连载中
魔法之王子追妻
漫天烟雨
封印了千年的魔王就要冲破封印,身有隐疾的王子殿下奉命寻找可以重新封印魔王的天命人。他和女主在寻找天命人的路上历经磨难,最后修成正果的故事!至......
15.3万字5个月前
黑夜小姐与白昼先生 连载中
黑夜小姐与白昼先生
一只罗昔子
战斗异能恋爱主cp温柔体贴狼人魔法师奈德×优雅善良人类小姐娜塔副cp外冷内热吸血鬼鲨手塔斯×傲娇炸毛人类小王子里奥(两个男孩子不喜勿喷)白切......
0.2万字5个月前
轩秀:尘埃落定 连载中
轩秀:尘埃落定
酱酱子在努力
简介正在更新
0.9万字5个月前
折耳 连载中
折耳
昔安侣
(弃文,勿看,超级烂)我的折耳猫怎么变成了人?明明是六界最尊贵的上神,却非要来做我的宠物猫。
9.2万字5个月前
我都绑定系统了你告诉我开学了 连载中
我都绑定系统了你告诉我开学了
一只胖猫咪
已签约,禁止搬运,禁止抄袭,否则后果自负。文案:沙雕女主楚漓点亮了天师系统金手指,在玄学界大放光彩,成为年轻弟子中的表率,正当她要大展身手的......
3.8万字5个月前