《逻辑的引擎》这本书是我从王老师的豆瓣书目里看到，然后找来读的。第一次写书评，也是真的写不好，故只写两处让我最激动的地方。
哲学命题是可以用数理逻辑来推导证明的，尽管通常这些证明都是需要前提的（通常有前提、定义等，就会遇到作为一种系统本身的系统边界问题。这几乎是无处不 在的问题，附后举例说明）。令我印象深刻的是布尔用数学方程解答了“上帝的存在性”问题，整个过程不超过1页书，与此形成鲜明对比的是牛顿的学生，作为哲 学家和神学家的克拉克在其《上帝的存在与属性》一书中对同一问题的复杂论述。
事实上，本书有不小篇幅是在叙述数学对神学、哲学不屈抗争的历史，尤其是当那些神学家和哲学家发现数学家居然可以用简洁的解方程过程来演绎他们需要用长篇 大论来复杂论述的命题之后：“对于这种把复杂的形而上学推理还原为简单方程的运算，我们不知克拉克做何感想。作为牛顿的学生，他也许会高兴。但憎恶数学的 形而上学家威廉·汉密尔顿爵士必定会对此惶恐万分。”
勇于挑战、怀疑一切（包括权威）的科学精神，这是身边大多数人从小开始就缺失的精神品质。我想，这与我们的“社会基因”有关。
“在那些数学家中，只有康托尔不顾高斯的警告，迎接挑战去创立一种关于实无限的深刻而一致的数学理论”，“不仅是数学家，而且脸哲学家和神学家也纷纷抨击 这个人的鲁莽无礼，他竟然把数学科学的方法带进迄今为止神圣不可侵犯的无限领地”，“神学家们声称，一种完成了的无限实际上是上帝的一个方面，他们断言， 对于人来说，它只能是一个秘密。这些说法并没有使莱布尼茨感到气馁”。这些文字于我有共鸣。我想，这和我很喜欢樱木花道和Jobs差不多是一个心理洞察：没有权威，挑战一切。
这本书，我推荐有科学理想的朋友读，它可以鼓舞你的斗志；我也推荐程序员朋友读，它除了肯定你工作的重要性外，也许还能从更本质的角度提示你，让你对正在使用的工具本身有更全面深刻的理解，我想，这是你能够革新工具（或工作）的必要前提。
附，这是对前面系统边界问题的一个举例：广泛一点说，系统的边界问题其实我们经常会遇到，比如，我和朋友、同事常玩的杀人游戏（游戏范围就是一个有限的系统）。我们显然不能根据某位游戏者长了“好人脸”（这是系统外的要素）就认为他/她不是杀手的概率更高；或者某人平时是个很好的人，我们也不能据此认为 他/她在游戏里的表现与其平时是有呼应的：在游戏中的和蔼表现，很有可能是为了麻痹其他游戏者。