哲学逻辑

出版时间：2008-3  出版社：中国人民大学出版社  作者：冯俊  页数：628  译者：张清宇 陈慕泽等  
Tag标签：无  

内容概要

本书是《布莱克韦尔哲学指导丛书》的哲学逻辑分册。本书权威地介绍了哲学逻辑的20个核心领域，包括经典逻辑、模态逻辑、相干逻辑等其他一些逻辑，并且严密地考察了关键的逻辑概念。在本书的各章节中，国际杰出的逻辑学家、哲学家、计算机科学家、语言学家提供了广泛的研究成果，这些成果涉及各相关专题领域中的概念、研究动因、方法、形式系统、主要结果及其应用。    本书可以作为哲学逻辑一般课程的基础文献，也可以作为某些研究专题的辅助资源和参考文献；既定位于一般性读者，又定位于有经验的逻辑学家。本书为进一步的学习研究提供了坚实的基础。

作者简介

罗·格勃尔，威勒密特大学哲学教授。著有《道德义务的概念》和《适用与合乎逻辑——新道义逻辑的哲学基础》，并在《哲学逻辑杂志》、《逻辑分析》、《圣母大学形式逻辑杂志》以及其他哲学期刊卜发表了大茸的哲学猡辑论文。

书籍目录

本书作者介绍序  引言第1章  经典逻辑Ⅰ：一阶逻辑第2章  经典逻辑Ⅱ：高阶逻辑第3章  集合论第4章  哥德尔的不完全性定理第5章  真第6章  逻辑推论第7章  模态逻辑第8章  道义逻辑第9章  认知逻辑第10章  时间逻辑第11章  直觉主义逻辑第12章  自由逻辑第13章  相干逻辑第14章  多值逻辑第15章  非单调逻辑第16章  概率、逻辑、概率逻辑第17章  条件句逻辑第18章  否定第19章  量词第20章  逻辑和自然语言索引

章节摘录

第1章　经典逻辑I：一级逻辑1.1　一阶语言本章标题中“逻辑”一词，有不同的含义。“逻辑”的第一种含义，是指一组关系密切的人工语言。有些语言，我们称之为一阶语言，它们在一起构造了一阶逻辑。类似的，一些称之为模态语言的关系密切的语言构造了模态逻辑。同样，另有一些语言构造了二阶逻辑、道义逻辑等等。“逻辑”的第二种也是较为古老的含义，是指对可靠论证的规则的研究。一阶语言可以作为一种框架用以研究论证的规则，运用这种方式的逻辑称为一阶逻辑。许多大学逻辑课程的内容是上述第二种含义上的一阶逻辑。本章所讨论的一阶逻辑，是基于第一种含义，即指的是一种特定的人工语言。在霍季斯l983中，我比本章更为详细地讨论了一阶语言。那部分内容的目的是给一阶逻辑作个导引，因此，我是从英语论证开始，逐步地引进一阶逻辑的各种性质。对于初学者来说，这样做可能是最合适的，但我怀疑对于那些对一阶逻辑的哲学感兴趣的人来说，这是否是最好的方法；我担心上述这样的逐步引进的方法，会使人不易把握难点及其区别。因此，在本章中，我采取了不同的方法，直接讨论一阶句子。以后的章节会较多地谈到和日常英语的联系。一阶语言是在19世纪主要由布尔（G．Boole）、弗雷格（G．Frege）和皮尔斯（C．S．Peirce）创立的，但这种语言成为大众知识则是相当近的事，其标志是教科书（希尔伯特[D．Hilbert]和阿克曼[w．Ackermann]1950），这本书于1928年首次出版，它的内容基于希尔伯特自1917年至1922年的讲演。（因此，一阶逻辑只流行了约70年，而亚里士多德[Aris—totle]的三段论已有2000多年的历史。

编辑推荐

　　阅读统领考研，囊括全部Section 1&Section 2题型。精解精练完形填空，阅读理解，阅读理解新题型，英译汉四部分，选用多篇真题作为范例讲解，全面，实用，提供大量练习与模拟题，难度适当。

用户评论 (总计11条)

•   这本书内容很新，非常好。值得买
•   正是他们需要的
•   指导性的书籍，有意思
•   书质量没的说！内容方面，对于非专业的我来说，这种书是个无形的“硬奶酪”，需要一副“好牙齿”慢慢“啃噬”！慢慢“消化”！慢慢“吸收”！再慢慢“回味”！然后再慢慢“释放”！
•   本书是论文集 介绍的内容较多 主要是以经典逻辑为基础的扩张 如一阶逻辑 高阶逻辑 集合论 哥德尔不完全定理 真 逻辑推理 模态逻辑 道义逻辑 认知逻辑 时间逻辑 直觉主义逻辑 自有逻辑 相干逻辑 多值逻辑 非单调逻辑 概率逻辑 逻辑与自然语言等 中文翻译者都是逻辑学圈内的专家如张清宇 陈慕泽 张家龙 任晓明 陈波 李娜 许涤非 邹崇理等 适合研究生和博士生使用 对于逻辑和哲学基础不太好的人会很吃力 总之是一本很有参考价值的书 建议最好能与英文版对照使用
•   总体来说不错，涉及各种逻辑。但这本只是一本指南，需要其他基础知识才能读懂。
•   书读起来会有难度。
•   本书是《布莱克韦尔哲学指导丛书》的哲学逻辑分册。本书权威地介绍了哲学逻辑的20个核心领域，包括经典逻辑、模态逻辑、相干逻辑等其他一些逻辑，并且严密地考察了关键的逻辑概念。在本书的各章节中，国际杰出的逻辑学家、哲学家、计算机科学家、语言学家提供了广泛的研究成果，这些成果涉及各相关专题领域中的概念、研究动因、方法、形式系统、主要结果及其应用。本书可以作为哲学逻辑一般课程的基础文献，也可以作为某些研究专题的辅助资源和参考文献；既定位于一般性读者，又定位于有经验的逻辑学家。本书为进一步的学习研究提供了坚实的基础。
•   卓越的编辑也太不负责了吧，内容介绍等全是另一本八竿子打不着的书的，希望改正！杜绝此类事件的发生，以免影响形象。
•   翻译的还算基本可以
•   还不错，名家翻译，多个重要课题研究成果的荟萃！