2.110
2.110 (第2/3页)
这样想的，他们认为公理并非不证自明，而是根本不可证明，纯粹只是一种硬性规定，不讲道理。你想想，什么叫‘不证自明’？真的存在这样的东西么？不同的人观点和视角是不一样的，尤其是不同种族之间，很多基本概念都不相同，一个种族看来不证自明的东西，另一个种族的人可能怎么也不明白，所以只能硬性规定。而在和拜尔人交流的过程中我也发现了这个问题确实存在，所以我后来觉得，‘天能会’这样来定义‘公理’，其实更加合理。”
“唔……这个我要好好想想……”林薇儿道：“那第二条呢？”
“第二条，也叫做‘逻辑完备性公理’：三段论式逻辑是完备的，其推理结果是可靠的。”
林薇儿略感惊奇：“这个还需要靠公理来定么？不是很显然的么？”
“我一开始也是这样想的，直觉就告诉我逻辑这种东西不是天然如此的么？但直到接触了‘天能会’我才知道，原来在严密的哲学体系之下，是不可以这样想当然的，前面第一条公理已经规定了不存在无源头的理论，可是源头是如何得出往后的推论呢？自然是要通过逻辑推理，但谁又能证明逻辑本身是可靠的呢？一旦我们逻辑出错，结论就必然出错啊！”
林薇儿眉头微皱，边思索边道：“那逻辑本身的可靠性怎么能证明呢？证明过程本身就需要逻辑，也就意味着试图证明逻辑可靠的过程必然陷入循环论证，也就和第一条公理矛盾了啊……”
“对，这就是问题所在。”克里奇道：“所以才有了这第二条公理，就是把逻辑的可靠性本身作为公理，硬性规定下来，这样就不会出问题了。”
“我以前还从未这样思考过问题……看来‘天能会’研究的挺深的啊……”
克里奇继续道：“后来这条公理甚至进行了延伸，有些人认为这个逻辑不但可靠，而且全宇宙通用。可以说目前我们并没有证据能反驳这种观点，至少我遇到这么多种族，无论是碳基的马维恩、柯尔、科里萨等也好，氨基的拜尔也好，硅基的卡普恩特斯也好，甚至是技术水平高一大截的波特斯，似乎都在使用同样的逻辑，我们的会长努昂斯特当年也跟我们说过，智慧生物之间的差异其实并没有想象中那么大，至少对方的语言经过翻译后是可以理解的，说明大家使用的是同一种逻辑。”
“唔……有意思，我也得好好研究一下了……那第三条公理呢？”
克里奇道：“第三条我们称为‘剃刀公理’：如无必要，勿增实体。”
“嗯？这是什么意思？”林薇儿颇有些不解。
“就是在构建理论模型的时候，能简单就尽量简单，对于没有确凿证据证明其存在的东西或关联，默认其不存在。这也就是为什么‘天能会’虽然像是一个宗教团体，却并不相信什么神或造物主的存在，因为没有确凿证据证明它们存在，默认它们不存在。”
林薇儿道：“哦，这个好像我们这边也有，叫做‘模型选择公理’：在所有对现有现象解释力度相同的众多模型中，选择最简单的一个。这是科学思想大行其道时开始兴起的思潮，对宗教有很强的排斥性，因为宗教解释宇宙现象时用的模型过于复杂，加入太多冗余和未经证实的东西，科学不需要神和这些乱七八糟的东西就能解释宇宙，而宗教却需要，因此科学的模型更为简单，按照这条公理也就会被选中，被广泛接受。只不过，这条公理其实对‘宇宙之力’的传播推广造成了不小的阻碍，很多人认为我们搞出来的东西都没有确凿证据，因而并不相信这种力量的存在，我可以预料到在拜尔共和国也会是这样，很惊讶‘天能会’作为这条公理的受害者之一竟然还接受它。”
“的确，这条公理被科学界广泛接受，有些人也拿来攻击‘天能会’，但它和‘天
（本章未完，请点击下一页继续阅读）