哲学逻辑（布莱克韦尔哲学指导丛书）
点此进入淘宝搜索页搜索分类: 图书,哲学/宗教,哲学,哲学理论,
作者： （美）格勃尔主编，张清宇等译
出 版 社： 中国人民大学出版社
出版时间： 2008-3-1字数：版次： 1页数： 628印刷时间： 2008/03/01开本： 16开印次：纸张：I S B N ： 9787300086248包装： 平装内容简介
本书是《布莱克韦尔哲学指导丛书》的哲学逻辑分册。本书权威地介绍了哲学逻辑的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多年的历史。
……
