1701105267
1701105268
在力学中，会导致我们得出类似的结论，我们能够看到，这门科学的原理尽管比较直接地以实验为基础，可是依然带有几何学公设的约定特征。迄今还是唯名论获胜；但现在我们看看严格称谓的物理科学。在这里，舞台发生了变化；我们遇到了另一类假设，我们看到它们是富有成效的。毫无疑问，乍看起来，理论对我们来说似乎是脆弱的，而且科学史向我们证明，它们是多么短命；可是它们也不会完全消灭，它们每一个总要留下某种东西。正是这种东西，我们必须设法加以清理，因为在那里，而且唯有在那里，才存在着真正的实在。
1701105269
1701105270
物理科学的方法建立在归纳的基础上，当一种现象初次发生的境况复现时，归纳法使我们预期这种现象会重复。一旦所有这些境况能够同时复现，那就可以毫无顾忌地应用这个原理；但是，这是从来没有发生过的；其中有些境况总是缺少的。我们可以绝对确信它们不重要吗？显然不能。那也许是概然的，但不会是严格确定的。由此可见概率概念在物理科学中起着多么重要的作用。因而，概率计算不仅仅是玩纸牌人的娱乐或向导，我们必须深究其基本原理。在这方面，我只能给出很不完善的结果，因为这种使我们辨别概率的模糊的本能太难加以分析了。
1701105271
1701105272
在研究了物理学家工作的条件之后，我想向他有效地展示一下是适当的。为此，我举出了光学史和电学史中的例子。我们将看到，菲涅耳（Fresnel）的观念、麦克斯韦（Maxwell）的观念从何而来，安培（Ampère）和电动力学的其他奠基者都作了哪些无意识的假设。
1701105273
1701105274
〔1〕参见勒卢阿：“科学和哲学”，《形而上学和道德评论》，1901年。（Le Roy, “Science et Philosophie”, Revue de Métaphysique et de Morale, 1901.）
1701105275
1701105276
1701105277
1701105278
1701105280
科学与假设 第一编 数与量
1701105281
1701105283
第一章 数学推理的本性
1701105284
1701105285
Ⅰ
1701105286
1701105287
数学科学的可能性本身似乎是一个不可解决的矛盾。如果这门科学只是在外观上看来是演绎的，那么没有人想去怀疑的、完美的严格性从何而来呢？相反地，如果数学所阐明的一切命题能够依据形式逻辑的规则相互演绎，那么它为什么没有变成庞大的同义反复呢？三段论法不能告诉我们本质上新颖的东西，假使每一事物都来自同一律，那么每一事物都必定能归入其中。这样一来，我们难道将要承认，所有那些充斥许多书中的定理的阐明无非是A即A的转弯抹角的说法？
1701105288
1701105289
毋庸置疑，我们能够返回到公理，它们处在所有这些推理的源头。如果我们断定这些推理不能化归为矛盾律，如果我们在其中甚至看到了不具有数学必然性的经验事实，那么我们还有把它们列入先验综合判断的对策。这不是解决困难，而只不过是使之洗炼而已；即使综合判断的本性在我们看来并不神秘，然而矛盾还不会消失，它只是后退了；三段论推理依然不能为给予它的材料添加任何东西；这些材料本身化归为几个公理，我们在结论中不会发现其他东西。
1701105290
1701105291
无论什么定理，如果没有新公理参与它的证明，它就不会是新的；推理只能借用直接的直觉给我们以即时自明的真理；它恐怕只是中间的寄生物，因此我们难道没有充分的理由去询问，整个三段论工具是否只是有助于掩饰我们的借用？
1701105292
1701105293
翻开任何一本数学书，这种矛盾将会给我们以更大的冲击；在每一页上，作者都要阐述他概括一些已知的命题的意图。数学方法是从特殊行进到一般吗？假若如此，为何又能把它称为演绎的呢？
1701105294
1701105295
最后，如果数学是纯粹分析的，或者它能够从少数综合判断通过分析导出，那么博大精深的心智似乎一眼就能察觉它的所有真理；不仅如此，我们甚至可以希望，人们总有一天会发明一种足够简单的语言表达它们，使它们在通常的理智看来也是自明的。
1701105296
1701105297
如果我们不赞同这些结果，那就必须承认，数学推理本来就有一种创造能力，从而不同于三段论。
1701105298
1701105299
该差别甚至必须是深刻的。例如，按照某一法则，用于两个相等的数的同一个一致运算将给出恒等的结果，我们在频繁使用这一法则时找不出其中的奥秘。
1701105300
1701105301
所有这些推理方式，不管它们是否可化归为名副其实的三段论，它们依然保持着分析的特征，正因为如此，它们才是软弱无力的。
1701105302
1701105303
Ⅱ
1701105304
1701105305
这里要讨论的是老问题；莱布尼兹（Leibnitz）企图证明2加2得4；让我们看一下他的证明吧。
1701105306
1701105307
我将假定数1已被定义，又假定运算x＋1意谓把单位1加在已知数x上。
1701105308
1701105309
这些定义不管是什么，它们都没有进入推理过程。
1701105310
1701105311
然后我通过等式
1701105312
1701105313
(1)1＋1＝2；(2)2+2＝3；(3)3+1＝4
1701105314
1701105315
定义数2，3和4。
1701105316
[
上一页 ]
[ :1.701105267e+09 ]
[
下一页 ]