图文详情
- ISBN:9787030480392
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 开本:16开
- 页数:333
- 出版时间:2016-04-01
- 条形码:9787030480392 ; 978-7-03-048039-2
内容简介
大卫·W.安格勒著的《符号逻辑--语法语义和证明》从逻辑学的两个核心概念“命题”和“论证”出发,论述了符号逻辑学的两套推理(命题逻辑和谓词逻辑)使用的两种规范语言,以及相应的推导规则。命题逻辑系统具有可判定性,真值表方法和真值树方法都能够为命题、命题集和论证的所有可能赋值提供完整的且图表化的表征表;命题逻辑语言并不能完全充分表达所有有效论证和语义关系,谓词逻辑语言则弥补了其缺陷。谓词逻辑系统具有不可判定性,真值树方法只可为谓词逻辑提供部分决策过程。命题逻辑的整套推导规则都可引入谓词逻辑的推导中。 本书可供逻辑学、逻辑哲学、科学哲学、心灵哲学、认知(科学)哲学,以及相关专业的读者阅读。
本类五星书
本类畅销
-
蛤蟆先生去看心理医生
¥14.1¥38.0 -
身为女性的选择
¥19.0¥56.0 -
咬文嚼字二百问
¥11.7¥32.0 -
乌合之众:大众心理研究
¥12.9¥36.8 -
性心理学
¥19.7¥58.0 -
饥饿、富裕与道德
¥11.3¥45.0 -
张舜徽集清人笔记条辨
¥13.4¥32.0 -
乡土中国
¥12.2¥26.0 -
遇见天堂鸟
¥13.5¥45.0 -
语文闲谈
¥12.2¥29.0 -
看不见的伤痕(八品-九品)
¥22.1¥69.0 -
中国人的名·字·号
¥9.0¥28.0 -
非暴力沟通心理学 : 用非暴力沟通化解冲突
¥9.0¥36.0 -
理解生命
¥9.8¥32.8 -
我们时代的神经症人格
¥14.7¥46.0 -
世界尽头的咖啡馆
¥18.5¥45.0 -
自卑与超越
¥14.7¥39.8 -
汉字王国
¥11.5¥46.0 -
非暴力沟通(修订版)
¥40.1¥59.8 -
我们内心的冲突
¥15.5¥42.0