注重体验与质量的电子书资源下载网站
分类于: 编程语言 人工智能
简介
逻辑与哲学: 现代逻辑导论(第九版) 豆 9.7分
资源最后更新于 2020-07-22 14:16:47
作者:[美] 保罗·蒂德曼 (Paul Tidman)
出版社:中国人民大学出版社
出版日期:2017-01
ISBN:9787300246161
文件格式: pdf
标签: 逻辑学 哲学 逻辑 思维 入门 教材 科学 分析哲学
简介· · · · · ·
《逻辑与哲学:现代逻辑导论》是迄今为止国际上最畅销的现代逻辑基础教程(没有“之一”)。该教程是面向那些需要关于逻辑学既严格而又亲切的全面介绍的学生面编写的。教程的第一部分和第二部分,通过伴以清晰阐释的循序渐进式训练,带领学生从语句逻辑通达带等词的一阶谓词逻辑。第三部分则覆盖逻辑畛域其他内容的比较稳固的范围,包括亚里士多德逻辑、归纳逻辑、模态逻辑、认知逻辑和道义逻辑。全书以清晰、准确的理论阐释见长,并辅以精心搜集、设计的例题、习题及部分习题解答,生动体现了逻辑学在哲学及相关学科中的应用价值,同时也通俗地阐释了当代逻辑与逻辑哲学领域的一些前沿问题。全书体现了“理论严整性”与“学生友好性”的完美结合,因而受到读者欢迎与好评。
目录
前言
第1章 绪论
第一部分 语句逻辑
第2章 语句逻辑符号化
第3章 真值表
第4章 证明
第5章 条件证明和间接证明
第6章 语句逻辑真值树
第二部分 谓词逻辑
第7章 谓词逻辑符号化
第8章 谓词逻辑语义学
第9章 谓词逻辑证明
第10章 关系谓词逻辑
第11章 四个量词规则精确形塑的理论说明
第12章 谓词逻辑真值树
第13章 同一性与符号逻辑的哲学问题
第三部分 其他逻辑系统
第14章 三段论逻辑
第15章 非形式谬误
第16章 归纳逻辑
第17章 公理系统
第18章 择代逻辑
部分习题答案
参考文献
特殊符号
索引
译者后记
第1章 绪论
第一部分 语句逻辑
第2章 语句逻辑符号化
第3章 真值表
第4章 证明
第5章 条件证明和间接证明
第6章 语句逻辑真值树
第二部分 谓词逻辑
第7章 谓词逻辑符号化
第8章 谓词逻辑语义学
第9章 谓词逻辑证明
第10章 关系谓词逻辑
第11章 四个量词规则精确形塑的理论说明
第12章 谓词逻辑真值树
第13章 同一性与符号逻辑的哲学问题
第三部分 其他逻辑系统
第14章 三段论逻辑
第15章 非形式谬误
第16章 归纳逻辑
第17章 公理系统
第18章 择代逻辑
部分习题答案
参考文献
特殊符号
索引
译者后记