本文介绍了逻辑学的相关书籍和思想，包括维特根斯坦的消解因果律和马拉哈吉的《I am that》觉悟书。逻辑学是一门科学，可以帮助辨别描述的真假，但在科学中的作用有限。学习逻辑的目的是将现实问题转化为逻辑问题，并用逻辑方法解决。维特根斯坦的《觉醒》是一本灵修书，介绍了马哈拉吉的悟道之路。

好主意被逻辑学家和计算机科学家发现两次。原因有：问题的普遍性，思维的互补性，科技发展的趋势。逻辑学、算法和数据结构之间有密切关系，共同支撑计算机科学的理论和实践。

本文探讨了西方思想中思与诗的关系，分为三个阶段。柏拉图认为只有纯粹理型才是真正的思维机能，科学和宗教成为了真正的理性认知经验。逻辑学和语法学得到了发展，美学成为了边缘学科。

介绍了五位逻辑学家的贡献和影响，包括亚里士多德、库尔特-哥德尔、阿尔弗雷德-塔尔斯基、伯特兰-罗素和戈特洛布-弗雷格。戈特洛布-弗雷格被视为现代逻辑学的发明者和分析哲学的奠基人。

很多人在讨论“神是否全能”的时候，会举出一个命题“神是否能创造出他自己也举不起的石头”来证明神不全能。如果能创造出，那么神不能举起石头。如果创造不出，那神创造不出特定条件的石头。 然后就有人提出，逻辑学上一个命题必须证明其存在性，即“自己举不起的石头”存在。又有人来反驳，这个是需要神创造的。blahblah 其实整个讨论都没抓到实质，我换个问法。全能，是否包括能够做到逻辑学上不存在或者悖论的...