逻辑是智慧生物对抗生活中不确定性的一种语言工具

我理解的逻辑是智慧生物对抗生活中不确定性的一种语言工具，但奇妙的是这个工具却可以脱离实际的万物而抽象地存有。

我们生活于其间的宇宙为什么如此这般存有，不是它的子民能轻易估量的，有人说是“我们在观看上帝下棋”。我们的生活中很多事情原本是不确定、不明晰的，而理解了棋规，就能把很多事情确定下来。我们这些子民在漫长的生活实践中一步步摸索着上帝的棋规。

我猜测早期的过程可能这样发生的：最早是有了“这”和“那”的分别，能够确定恒定不变的模式以及区分不同的模式，然而这样的世界是一个繁杂的世界；后来学会了抽象的方法，理解了“这个”和“这种”的区别；慢慢建立了数的概念，有了抽象的一、二、三……。当然这些事情应当发生在猿类的时代。

人类的一个重要特点是有语言，语言是符号的组合，而符号很多时候是对现实的抽象，逻辑便是一种更抽象的表达。在古代各大文明里，虽然都有对逻辑的研究，但在古希腊它获得了非常完整的表达。

当我们用语言对现实世界建模之后，我们关心两点：

• 语言和世界是否相融洽：单纯从语言模型里能推导出来的结论，在现实里是否都正确。
• 语言是否能完整的描述世界：现实里有的结论，语言模型是否都能表述。

如果，我们把现实的很多事情都归结为“真”和“假”的话，那么一个好的语言模型是能够建立起来的，这个模型就是逻辑。

但如果你的语言模型更复杂，甚至只是简单的包含自然数，那么很不幸，同时保证上面融洽和完整的语言模型不存在。