算术基础——对于数这个概念的一种逻辑数学的研究PDF电子书下载

§2．证明最终必然也涉及数这个概念。证明的目的。 1

§1．在数学中近来可以看到一种旨在达到证明的严格性和概念的精确理解的努力。 1

§3．如下研究的哲学动机：有争议的问题，数的定律是分析的真命题还是综合的真命题，是先验的还是后验的。这些表达式的意义。 12

§4．本书的任务。 13

Ⅰ．一些著作家关于算术句子的性质的意见 15

数公式是可证明的吗? 15

§5．康德否认汉克尔正当地称之为悖论的东西。 15

§6．莱布尼兹关于2＋2＝4的证明有一个缺陷。格拉斯曼关于a＋b的定义是不完善的。 16

§7．密尔的下述意见是没有根据的：单个的数的定义断定观察到的事实，而由这些事实得出计算。 18

§8．就定义的合理性而言，并不要求对事实的观察。 20

算术规律是归纳的真命题吗? 22

§9．密尔的自然律。当密尔把算术的真命题称为自然律时，他混淆了这些命题和它们的应用。 22

§10．反对加法定律是归纳的真命题的理由：数的不同类性；我们并没有通过定义而得到数的许多共同特征；很可能正相反，归纳是基于算术而证明的。 23

算术定律是先验综合的还是分析的? 26

§12．康德。鲍曼。利普希兹。汉克尔。作为认识基础的内在直觉。 26

§11．莱布尼兹的“生来就有的”。 26

§13．算术和几何的区别。 28

§14．联系由真命题支配的领域来比较真命题。 28

§15．莱布尼兹和杰芬斯的观点。 29

§16．反对密尔贬低“对语言的熟练驾驭”。符号不意谓任何可感觉的东西，因此不是空的。 30

§17．归纳的不充分性。猜测，数的定律是分析判断；那么它们的用处在哪里。尊重分析判断。 31

§18．研究数这个普遍概念的必要性。 33

§19．定义不能是几何学的。 33

Ⅱ．一些著作家关于数概念的看法 33

§20．数是可定义的吗?汉克尔。莱布尼兹。 34

数是外在事物的性质吗? 35

§21．康托尔和施罗德的看法。 35

§22．鲍曼的不同看法：外在事物不表现出严格的性质。数似乎依赖于我们的理解。 36

§23．密尔下述看法是站不住脚的：数是事物的聚集的性质。 37

§24．数的广泛可应用性。密尔。洛克。莱布尼兹的非物质形象。如果数是某种有感觉的东西，那么就不能把它们赋予没有感觉的东西。 38

§25．密尔关于2和3之间的物理区别。根据贝克莱，数实际上不在事物之中，而是通过心灵创造出来的。 40

§26．利普希兹关于数的构造的描述是不合适的，并且不能代替对概念的确定。数不是心理学的对象，而是某种客观的东西。 41

数是主观的东西吗? 41

§27．数不是像施罗埃密尔西想说明的那样的关于一个对象在一个系列中的位置的表象。 44

作为集合的数 45

§28．托迈的命名。 45

Ⅲ关于单位和一的看法 47

“一”这个数词表达对象的一种性质吗? 47

§29．“μουαζ”和“单位”这两个表达式的多义性。施罗德把单位解释为计数对象，似乎是没有用处的。“一”这个形容词不包含任何更进一步的确定，不能用作谓词。 47

§30．根据莱布尼兹和鲍曼所尝试的定义，似乎一这个概念完全消失了。 48

§31．鲍曼关于不可分性和分界性的标志。一这个观念不是由那个对象提供给我们的(洛克) 49

§32．语言确实说明与不可分性和分界性的一种联系，然而在这里意义发生变化。 50

§33．不可分性(G．科普)是不能作为一的标志而得到的。 50

§35．即使应该谈论多，差异也是必要的。施罗德。杰芬斯。 53

§36．关于单位的差异性的看法也引起困难。杰芬斯的不同的一。 53

§37．洛克、莱布尼兹、黑塞从单位或一对数的解释。 55

§34．作为“一”这个名字的基础的单位。施罗德。霍布斯。休谟。托迈。通过抽象掉事物的差异得不到数这个概念，而且由此事物不是相等的。 55

单位是否彼此相等? 55

§38．“一”是专名，“单位”是概念词。数不能被定义为单位。“和”和＋的区别。 56

§39．由于“单位”的多义性，化解单位相等和可区别性的困难被掩盖起来。 57

克服这个困难的尝试 58

§40．时间和空间作为区别的方法。霍布斯。托迈。相反的看法：莱布尼兹，鲍曼，杰芬斯。 58

§41．这个目的达不到。 60

§43．施罗德通过l这个符号塑造对象。 61

§42．一个序列中的位置作为区别的方法。汉克尔的假定。 61

§44．杰芬斯通过确定差异的存在而抽象掉差异特征。0和1是与其他数一样的数。困难依然存在。 62

困难的解决 64

§45．回顾。 64

§46．数的给出包含着对一个概念的表达。反对意见，概念不变时数发生变化。 65

§47．数的给出这个事实由概念的客观性得到说明。 66

§48．解决几个困难。 67

§49．斯宾诺莎的证明。 68

§51．这个问题的更正。 69

§50．施罗德的解释。 69

§52．在德语的一种语言使用中的证明。 70

§53．一个概念的标记和性质之间的区别。存在和数。 70

§54．人们可以把单位称为一个数的给出的主词。单位的不可分性和分界性。相等和可区分性。 71

Ⅳ．数这个概念 73

每个个别的数都是一个独立的对象 73

§55．试图补充莱布尼兹关于个别的数的定义。 73

§56．这些尝试的定义是不能用的，因为它们说明的是这样一个命题：在这个命题中，数仅是一部分。 73

§57．应该把数的给出看作是一个数的等式。 74

§58．反对意见：数作为一个独立的对象是不可想象的。数根本是不可想象的。 75

§59．一个对象不因为它是不可想象的而被排除在研究之外。 76

§60．独立的事物自身也不总是可想象的。如果人们询问语词的意谓，就必须在句子中考虑它们。 77

§61．反对意见：数是非空间的。并非每个客观对象都是空间的。 78

为了获得举这个概念，必须确定数相等的意义 78

§62．我们需要一个表示数相等的记号。 78

§63．作为这样的(记号)一一对应的可能性。逻辑上的疑问：特别是解释这种情况的相等。 79

§64．一个类似过程的例子：方向，平面的位置，一个三角形的形成。 80

§65．尝试一个定义。第二种疑问：对相等的规定是不是足够。 81

§66．第三种疑问：相等这个记号是不充分的。 83

§67．不能通过下面的方式形成补充：人们把一个概念的标记看作是引入一个对象的方式。 84

§68．作为概念外延的数。 84

§69．说明。 85

对我们这个定义的补充和证明 87

§70．关系概念。 87

§71．通过一种关系而对应。 89

§72．一一对应关系。数这个概念。 90

§73．如果有一个关系，它使处于F这个概念之下的对象与处于G这个概念之下的对象一一对应，那么属于F这个概念的这个数与属于G这个概念的这个数就是相等的。 91

§74．零是属于“与自身不相等。这个概念的那个数。 92

§75．零是属于一个其下没有任何东西的概念的那个数。如果零是符合一个概念的那个数，那么就没有任何对象处于这个概念之下。 94

§76．对“在自然数序列中n跟在m之后”这个表达的说明。 95

§77．1是属于“与0相等”这个概念的那个数。 95

§79．对“一个序列中跟着”的定义。 97

§78．借助我们的定义被证明的句子。 97

§80．注释。“跟着”的客观性。 98

§81．对“x隶属以y结束的那个甲序列”的说明。 99

§82．对自然数序列没有最后一个项的证明的提示。 100

§83．有穷数的定义。在自然数序列中任何有穷数都不跟着自己。 101

无穷数 102

§84．属于“有穷数”这个概念的那个数是一个无穷数。 102

§85．康托尔的无穷数；“幂”。称谓的偏离。 102

§86．康托尔的“顺序中的后继”和我的“序列中的后继”。 103

Ⅴ．结论 105

§87．算术定律的性质。 105

§88．康德对分析判断的低估。 105

§89．康德的句子：“没有感觉，我们就不能得到任何对象。”康德的数学功绩。 107

§90．对于算术定律的分析性质的完整证明缺乏一种没有缺陷的连贯推论。 107

§91．通过我的概念文字可以弥补这种缺陷。 108

§92．根据汉克尔的看法，询问数的可能性的意义。 109

其它的数 109

§93．数既不是在我们之外空间的，也不是主观的。 110

§94．一个概念的无矛盾性并不保证某种东西处于它之下，并且本身需要证明。 110

§95．人们不能立即把(c—b)看作是解决减法任务的东西。 112

§96．数学家也不能任意地干事情。 112

§97．应该把概念和对象区别开。 113

§98．汉克尔对加法的解释。 114

§99．形式理论的缺陷。 114

§100．尝试通过以特殊的方式扩展乘法的意谓来说明复数。 115

§101．这样一种说明的可能性对于证明的力量不是不重要的。 116

§102．单纯要求应该引入这样一种运算并不能做到这一点。 116

§103．科萨克关于复数的解释仅仅对定义有提示，并没有避免引入陌生的东西。几何体现。 117

§104．重要的是为新数规定一个重认判断的意义。 118

§105．算术的魅力在于它的理性特征。 119

§106-109．回顾。 120