逻辑发展与哲学

围绕数理逻辑与哲学的关系展开，内容从莱布尼兹的数理逻辑思想、悖论、哥德尔不完备定理及其简化证明出发，进一步讨论人脑、形式系统、可证明性与哲学问题之间的关系。