经典好书《逻辑与哲学》读书内容简介: 纯粹理性批判》、黑格尔的《逻辑学》、弗雷格的语言哲学、维特根斯坦的《逻辑哲学论》、达米特和戴维森等的意义理论、柏拉图的思考等进行探讨，揭示了逻辑对语言的分析和哲学之间的关系。作者简介王路，清华大学人文学院哲学系教授。主要...详情

经典好书《逻辑哲学研究》读书内容简介:京大学哲学系∕外国哲学研究所教授，博士生导师，专业领域为逻辑学和分析哲学。先后赴芬兰赫尔辛基大学、美国迈阿密大学和英国牛津大学访学或研究各一年。专著有：《逻辑哲学引论》、《蒯因》、《冯•赖特》、《奎因哲学研究——从逻辑和语言的观点看》、《爱默生》、《...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂，数理逻辑已经成为越来越多设计开发人员的日常工具。 本书适合作为高等院校计算机及相关专业的数理逻辑/形式化方法课程教材，涵盖了命题逻辑，谓词逻辑、模态逻辑与 Agent、...详情

经典好书《面向计算机科学的数理逻辑系统建模与推理》读书内容简介:，涵盖命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软硬件规范和验证这一主题，反映了计算机科学中数理逻辑的新发展和实际需要。第2版新增了可满足性算法、L6wenheim—Skolem定理等，并介绍了Allo...详情

经典好书《哲学逻辑引论》读书内容简介: A.C.格雷林，伦敦大学伯克贝学院哲学高级讲师、牛津大学圣安妮学院特约研究员。著有《哲学逻辑导论》（1982）、《驳怀疑论》（1986）、《贝克莱：中心论证》（1986）等书。担任《卫报》专栏作者多年，并为《观察家》、《经济学人》等刊物撰稿。作者简介详情

经典好书《奎因哲学研究——从逻辑和语言的观点看》读书内容简介:值,因为：奎因是当代著名的分析哲学家逻辑实用主义的主要创始人，对60年代后逻辑实证主义的衰落与分析哲学的实用主义化有重大影响，在西方哲学界与罗素、 卡尔纳普等人齐名。　 本书的突出特点在于：作者认为,奎因哲学以自然主义哲学观为基点...详情

经典好书《逻辑哲学导论》读书内容简介:京大学哲学系∕外国哲学研究所教授，博士生导师，专业领域为逻辑学和分析哲学。先后赴芬兰赫尔辛基大学、美国迈阿密大学和英国牛津大学访学或研究各一年。专著有：《逻辑哲学引论》、《蒯因》、《冯•赖特》、《奎因哲学研究——从逻辑和语言的观点看》、《爱默生》、《...详情

经典好书《哲学逻辑》读书内容简介:学逻辑分册。《哲学逻辑》权威地介绍了哲学逻辑的20个核心领域，包括经典逻辑、模态逻辑、相干逻辑等其他一些逻辑，并且严密地考察了关键的逻辑概念。在《哲学逻辑》的各章节中，国际杰出的逻辑学家、哲学家、计算机科学家、语言学家提供了广泛的研究成果，这些成果涉...详情

经典好书《《逻辑哲学论》研究》读书内容简介:一维特根斯坦的早期哲学著作，为该世纪最重要的哲学经典之一。这以区区几万字的篇幅、格言警句式的语言，构造了一个严密的哲学系统，对几乎所有根本的哲学问题作出了自己的解答，但也因此它深奥难解。本书利用维特根斯坦所有的第一手资料以及大量的二手研...详情

经典好书《德国古典哲学逻辑进程》读书内容简介:于四川达川市。1945年入西南联合大学哲学系，师从金岳霖、汤用彤、贺麟、郑昕、洪谦诸教授，1950年于北京大学哲学系毕业(文学士)后留校任教。1959年调武汉大学哲学系任教。1982年被评为教授，1990年被评为博士生 导师。兼任中华外国哲学史学会顾...详情