扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
传习录
-
>
无障碍阅读典藏版:庄子全书
-
>
素书
-
>
孔子的世界——儒家文化的世界价值
-
>
王阳明全集(全四册)
-
>
生活与忆念
-
>
名家小全集(4册)
现代逻辑基本概念和技术 版权信息
- ISBN：9787215126558
- 条形码：9787215126558 ; 978-7-215-12655-8
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
现代逻辑基本概念和技术 内容简介
本书介绍了有效推理和与此相关的一系列概念 (矛盾句、有效句、语句间的蕴涵关系和等价关系) , 这些语句层面上的概念*终都可以借助语句模式的概念加以说明。本书还介绍了检验和证明语句模式有效性的技术, 特别是主要运用于真值函项模式的真值分析法, 和运用于一般的量化模式的纯存在式方法和奎因方法。
现代逻辑基本概念和技术 目录
**章 有效推理和矛盾
第二章 矛盾句和矛盾模式、逻辑结构的层次性
第三章 真值函项联结词和真值函项模式
第四章 真值函项模式矛盾性和有效性的检验：真值分析法
第五章 真函有效推理的检验方法
第六章 模式间的蕴涵关系和等价关系
第七章 中场总结和预告
第八章 谓词和谓词字母
第九章 谓词提取和变项
第十章 量词
第十一章 量化模式及其有效性
第十二章 量化模式的替换规则
第十三章 移置规则和量化模式的前置化处理
第十四章 量化模式有效性的检验方法：纯存在式方法
第十五章 量化模式有效性的证明方法：奎因方法
第十六章 奎因方法的完全性和其他
第十七章 单独词项和“=”
附录一 奎因论现代逻辑(英汉对照)
附录二 复习思考题参考答案
附录三 专业术语索引
出版后记
第二章 矛盾句和矛盾模式、逻辑结构的层次性
第三章 真值函项联结词和真值函项模式
第四章 真值函项模式矛盾性和有效性的检验：真值分析法
第五章 真函有效推理的检验方法
第六章 模式间的蕴涵关系和等价关系
第七章 中场总结和预告
第八章 谓词和谓词字母
第九章 谓词提取和变项
第十章 量词
第十一章 量化模式及其有效性
第十二章 量化模式的替换规则
第十三章 移置规则和量化模式的前置化处理
第十四章 量化模式有效性的检验方法：纯存在式方法
第十五章 量化模式有效性的证明方法：奎因方法
第十六章 奎因方法的完全性和其他
第十七章 单独词项和“=”
附录一 奎因论现代逻辑(英汉对照)
附录二 复习思考题参考答案
附录三 专业术语索引
出版后记
展开全部
现代逻辑基本概念和技术 作者简介
翟玉章，1965年出生，江苏盐城人。1995年7月获北京大学哲学博士学位。南京师范大学哲学系副教授。曾在世界知识出版社和中国驻外使馆工作。从事分析哲学(特别是罗素、卡尔纳普和奎因的哲学)的教学和研究工作。
书友推荐
- >
名家带你读鲁迅:故事新编
名家带你读鲁迅:故事新编
¥13.0¥26.0 - >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥7.7¥24.0 - >
小考拉的故事-套装共3册
小考拉的故事-套装共3册
¥36.7¥68.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥15.9¥49.8 - >
山海经
山海经
¥20.4¥68.0 - >
罗曼·罗兰读书随笔-精装
罗曼·罗兰读书随笔-精装
¥17.4¥58.0 - >
李白与唐代文化
李白与唐代文化
¥12.5¥29.8 - >
自卑与超越
自卑与超越
¥13.5¥39.8
本类畅销
-
理想国-精装典藏版
¥23.1¥68 -
诸子的真相 (何新文选)
¥23¥58 -
中国哲学小史
¥20.9¥49.8 -
大一统与儒家思想
¥16.4¥38 -
哲学家的狗:一本让人捧腹大笑的超萌醒脑哲学书
¥26.4¥49.8 -
中国哲学十讲
¥16.9¥49.8
