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

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

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

经典好书《逻辑哲学》读书内容简介:面：全书的体例结构是新的，如全书分为五编：“演绎及其证成”、“真理与悖论”、“意义与指称”、“存在、量化和本体论”以及“休谟问题与归纳逻辑”，共十三章，每一章前面有“内容提要”，后面有“思考题”和“推荐阅读文献”；与人大版相比，去掉了一些章节，新写了...详情

经典好书《逻辑哲学》读书内容简介: 作者简介详情

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

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

经典好书《现象学及其效应(胡塞尔与当代德国哲学)/中国文库第二辑》读书内容简介: 作者简介详情

经典好书《形式逻辑和先验逻辑》读书内容简介:十分重要的问题。康德是在达到了对形式逻辑和先验逻辑关系的深刻理解的基础上，才开始创建他的批判理论的。康德在哲学史上第一次科学地解释了形式逻辑的本质，在更高层次上消解了形式逻辑，这样也就最后解决了同一知性的两种逻辑的本质关系，从而开创了近代西方哲学发展...详情

经典好书《从莱布尼茨出发的逻辑学的形而上学始基》读书内容简介:上与作为约束的某种合法性相牵连，只有自由才可能是约束之根源。逻辑学的基本问题，思想之合法性，自行揭示为人的生存之根据的问题，揭示为自由的问题。哲学既不是众科学的其中之一，也不是世界观的制造；它比任何一门科学更原始，同时也比任何世界观都更...详情