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

唯名论与有穷主义(一) (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.4万字9个月前
仙界双姝 连载中
仙界双姝
素烟灵
0.5万字9个月前
主神世的小职员 连载中
主神世的小职员
厌葱
每月15号前后更新1~2章վ'ᴗ'ի关于小职员的社畜生活
0.3万字9个月前
姐姐多理理我嘛 连载中
姐姐多理理我嘛
不要耸肩
简介正在更新
0.7万字9个月前
幻城之人鱼 连载中
幻城之人鱼
藜雪
樱空释被他们变成人鱼,多了空间,也多了敏感和警惕,一切都是那么的迫不得已我们会让你放下警惕,和你做朋友——各族首领,守界使者和卡索
7.9万字9个月前
女主的悠闲生活 连载中
女主的悠闲生活
临江音
白溪:“又是个新世界呢,要不…做个咸鱼?”兰悠悠:“白溪!你在干了什么?!等等,这个不行!等一下,住手!”熙魏“师傅!这是我的女票啊ヽ(ˋД......
5.5万字9个月前