逻辑图表论

出版时间：2011-4  出版社：中央编译  作者：李贤军  页数：285  字数：310000  
Tag标签：无  

内容概要

　　本书从逻辑图表这个独特的视角来论证逻辑理论。论及的逻辑图表有真值表、逻辑方阵、欧拉图和文恩图等，内容系统而全面。如在论述真值表时，涉及真值表的产生和发展、真值形式、真值表的判定、真值表方法、真值表的工具功能及缺陷等；在论述逻辑方阵时，涉及逻辑方阵的产生、逻辑方阵的表记对象、从平面逻辑方阵到立体逻辑方阵、复合逻辑方阵、逻辑方阵与重言式的形成系统、逻辑方阵的应用等。

作者简介

李贤军，苗族，贵州省务川县人。1993年7月毕业于贵州民族学院中文系并留校工作。贵州民族学院第一、二、三届“教学骨干”，副教授。主要从事语言和逻辑的教学与科研工作。研究成果有：《孔子的逻辑思想新探》、《逻辑方阵的普适性探讨》、《审美联觉中的感觉转换探析》、《立体逻辑三角阵探析》《关于建立立体逻辑方阵的构想》、《也谈复合命题之间的等值转换》、《复合三段论的有效形式论纲》、《永真公式形成系统初探》、《关于华语教学“有效性”问题的思考》、《也谈华语教学的原则定位》等论文20余篇。

书籍目录

第一章 真值表
　第一节 真值表源流
　第二节 真值表及真值形式
　 §2.1 真值表与语言
　 §2.2 逻辑联结词与真值形式
　 §2.3 真值表的判定步骤
　 §2.4 真值形式的种类
　第三节 真值表与简单命题
　 §3.1 真值表与性质命题
　 §3.2 真值表在性质命题中的应用
　第四节 真值表与复合命题的逻辑性质
　 §4.1 联言命题的逻辑性质
　 §4.2 选言命题的逻辑性质
　 §4.3 假言命题的逻辑性质
　 §4.4 负命题的逻辑性质
　第五节 真值表与等值命题的判定
　 §5.1 负复合命题及其等值命题
　 §5.2 负复合命题及其等值命题的引伸
　 §5.3 真值表与复合命题之间的等值转换
　第六节 真值表方法的简化
　 §6.1 命题真值的整体判定法
　 §6.2 直观判定法
　 §6.3 简化真值表方法
　 §6.4 真值表的简化与三段论的有效式
　第七节 真值树法——简化真值表方法的另一种形式
　 §7.1 真值树法及其判定步骤
　 §7.2 真值树法判定例举
　第八节 真值表的逻辑工具功能
　 §8.1 定义逻辑联结词，反映复合命题的逻辑性质
　 §8.2 准确地判定复合命题间的逻辑关系
　 §8.3 推导简单复合命题推理规则的逻辑根据
　 §8.4 检验复合推理的有效性
　 §8.5 确定任何复合命题形式的取值和相应的命题变元的取值
　第九节 真值表在实践思维中的作用
　 §9.1 根据已知命题形式的真假符合逻辑地推知某结论
　 §9.2 根据某结论推知命题形式的真假
　 §9.3 证明某句段是否具有逻辑性
　 §9.4 结合关系表，对相对复杂的题干关系进行推演
　第十节 真值表的缺陷
　 §10.1 真值表对某些蕴涵式的有效性无法进行判定
　 §10.2 真值表各判定方法的非协调性
第二章 逻辑方阵
　第一节 逻辑方阵的产生
　第二节 性质命题与逻辑方阵
　 §2.1 性质命题及其种类
　 §2.2 直言命题的对当关系的推导
　 §2.3 性质命题真假关系的推导
　 §2.4 性质命题的逻辑对当关系的引申
　第三节 复合命题与逻辑方阵
　 §3.1 复合命题之间的逻辑对当关系
　 §3.2 简单命题与复合命题之间的逻辑对当关系
　 §3.3 复合命题之间逻辑对当关系的引申
　第四节 规范命题、时态命题与逻辑方阵
　 §4.1 规范命题与规范逻辑方阵
　 §4.2 时态命题与时态逻辑方阵
　第五节 模态命题与模态逻辑方阵
　 §5.1 模态命题及其分类
　 §5.2 基本模态命题及其模态对当关系
　 §5.3 模态逻辑六角阵
　 §5.4 模态性质命题与模态逻辑方阵
　 §5.5 模态性质命题真假制约关系的引申
　第六节 复合推理与逻辑方阵
　 §6.1 简单复合命题推理间的逻辑对当关系
　 §6.2 复杂复合命题推理间的逻辑对当关系
　 §6.3 复合命题与复合命题推理之间的逻辑对当关系
　第七节 立体逻辑方阵
　 §7.1 两复合命题及其异变形式之间的真假制约关系
　 §7.2 复合命题的异变形式及其负命题之间的真假制约关系
　 §7.3 简单复合推理形式与立体逻辑方阵
　 §7.4 复杂复合推理形式与立体逻辑方阵
　第八节 逻辑方阵应用例举
　第九节 逻辑方阵的复合形式
　 §9.1 逻辑八角阵
　 §9.2 逻辑十角阵
　第十节 逻辑方阵与重言式的形成系统
　 §10.1 逻辑永真式形成系统
　 §10.2 复合命题永真公式形式
　 §10.3 简单命题与复合命题永真公式形式
　第十一节 逻辑方阵与立体逻辑三角阵
　 §11.1 逻辑方阵与直角三角阵
　 §11.2 逻辑方阵与立体逻辑三角阵
第三章 欧拉图解
　第一节 欧拉图与概念外延之间的关系
　 §1.1 欧拉图的写入语言与读出语言
　 §1.2 欧拉图与概念外延之间的关系
　 §1.3 概念外延之间关系的复杂化
　第二节 欧拉图与性质命题
　 §2.1 欧拉图与性质命题的真假关系
　 §2.2 欧拉图与性质命题“项”的周延性
　 §2.3 欧拉图与性质命题的真假制约关系
　第三节 欧拉图与性质命题直接推理
　 §3.1 对当代关系推理
　 §3.2 命题变形的直接推理
　 §3.3 性质命题等值推理
　 §3.4 关于O命题的换位问题
　第四节 欧拉图与三段论
　 §4.1 欧拉图与三段论公理
　 §4.2 欧拉图与三段论规则
　 §4.3 欧拉图与三段论的格
　第五节 三段论的式
　 §5.1 欧拉图与三段论的简单式
　 §5.2 欧拉图与三段论的复合式
　第六节 欧拉图的缺陷
　 §6.1 用单纯的标准圆不能完全反映概念之间客观上存在的各种关系
　 §6.2 欧拉图图形繁多
　 §6.3 用欧拉图验证三段论有效性时会产生歧义
第四章 文恩图
　第一节 文恩图概述
　 §1.1 从欧拉图到文恩图
　 §1.2 文恩图的构成
　第二节 性质命题的文恩图表达形式
　第三节 文恩图与三段论的式
　 §3.1 用文恩图证明三段论有效性的步骤
　 §3.2 用文恩图证明三段论有效式
　第四节 文恩图与复合三段论
　第五节 文恩图的缺陷
　 §5.1 文恩图的区域缺陷
　 §5.2 文恩图的歧义缺陷
附录一 外国人名索引
附录二 主要参考文献
后记

章节摘录

版权页：插图：稍作对比就会发现，以上各组等值转换形式有一定的规律性：①组中负充分条件假言命题等值转换成联言命题和负联言命题等值转换成充分条件假言命题是通过否定后一肢命题得到的；②组中负联言命题等值转换成相容选言命题和负相容选言命题等值转换成联言命题是通过同时否定两个肢命题得到的；③组中负联言命题等值转换成必要条件假言命题和负必要条件假言命题等值转换成联言命题是通过否定前一个肢命题得到的；④组中充分条件假言命题等值转换成相容选言命题和相容选言命题等值转换成充分条件假言命题是通过否定前一个肢命题得到的；⑤组中充分条件假言命题等值转换成必要条件假言命题和必要条件假言命题等值转换成充分条件假言命题是通过同时否定两个肢命题得到的；⑥组中必要条件假言命题等值转换成相容选言命题和相容选言命题等值转换成必要条件假言命题是通过否定后一肢命题得到的；⑦组中不相容选言命题等值转换成充要条件假言命题和充要条件假言命题等值转换成不相容选言命题是通过否定前一肢命题或否定后一肢命题得到的。

编辑推荐

《逻辑图表论》由中央编译出版社出版。

用户评论 (总计3条)

•   质量不错，内容不错，挺好
•   人们一般说，逻辑就是必然推理，我对此不欣赏，我以为逻辑就是显示，直观地show推理
•   该书讲了真值表，逻辑方阵，欧拉文恩图。
  
  立意好，方法旧。不建议初学者读。可供研究。
  
  该书个别地方有缺陷，
  例如，“真值表的缺陷”，
  使用文恩图判断三段论的有效性，等。