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

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

相关小说

黎桐家来了新人?-d015 连载中
黎桐家来了新人?-d015
0.1万字9个月前
Vocaloid:无可避免的命运 连载中
Vocaloid:无可避免的命运
爱灵之羽
【断续更新/未完待续】温馨提醒,本作品人设等皆有所不同,请佛系翻看。
19.8万字9个月前
穿书女配修仙 连载中
穿书女配修仙
北墨禁庸
她青丘小公主,集万千宠爱于一身,万万没想到竟然是书中女配,还是被天道给算计成女主的金手指,前期给女主送装备送机缘,后期给女主送男人送势力,一......
1.1万字9个月前
被狼崽子捡走之后的故事 连载中
被狼崽子捡走之后的故事
君苑酱
【已完结】作为一个网文太太的苏芄兰没想到自己会穿越到自己的小说里。还成了一笔带过被献祭给反派的炮灰少女。可是自家反派儿子好像还没觉醒黑化因素......
7.9万字9个月前
拟造:夜白的兽间冒险 连载中
拟造:夜白的兽间冒险
Dr夜白
小狐狸也要变强!!
6.3万字9个月前
云之音 连载中
云之音
思君不可云
一场“意外”的相逢,一座悲伤的悬崖,塑造了魂师界的神话。红裳配白衣,利刃配妖扇。爱与恨,利与名,因果纠缠不休,何为宿命?这一切或许注定无解,......
9.3万字9个月前