中财网仿香奈儿耳环:在线读书:逻辑推理判定技法
来源：百度文库 编辑：中财网 时间：2024/04/29 22:57:24
逻辑推理判定技法
作者：苑成存著
出版日期：2006
页数：307
关键词：逻辑推理 可判定性 研究 苑成存
分类： 哲学宗教 >形式逻辑(名学、辩学)
在线阅读逻辑推理判定技法电子书超星阅览器
阅读1阅读2下载图书
阅览器阅读/下载图书须安装超星阅览器，立即下载
添加到学习计划
收藏推荐
分享到
内容提要
本书围绕逻辑学的中心问题——判定推理的有效性，重点阐述真值表方法等逻辑判定技法。
隐藏目录章节目录
第一章 逻辑学的中心课题、历史进程与基本原则
一、逻辑学的中心课题
（一）逻辑是研究推理有效性的学科
（二）逻辑是研究命题形式关系的学科
二、逻辑学的历史进程
（一）逻辑学的产生
（二）逻辑学的发展
（三）西方逻辑在我国的传播与弘扬
三、逻辑学的基本原则
（一）矛盾原则
（二）充足理由原则
（三）关于悖论
第二章 命题逻辑的推理判定技法
一、命题联结词
（一）命题联结词的日常表达
（二）命题联结词的真值特征
（三）括号与主联结词
二、重言式与有效性
三、真值表方法及其简化
（一）真值表方法
（二）简化真值表方法
四、形式推导或证明
（一）形式推导或证明的基本规则
（二）几个形式推导或证明的例子
（三）条件推导或证明
（四）间接推导或证明
第三章 词项逻辑的推理判定技法
一、直言命题的构成及其真值特征
（一）直言命题的形式及其构成
（二）直言命题的主谓项关系及其真值特征
二、对当关系推理和换位推理
（一）直言命题的对当关系推理
（二）直言命题的换位推理
三、直言三段论推理的判定规则
（一）直言三段论推理的类型
（二）直言三段论推理的基本判定规则
（三）直言三段论推理的派生判定规则
（四）直言三段论推理的有效形式
四、直言三段论推理的还原判定方法
五、直言三段论推理的文恩图解判定方法
六、三段论推理判定过程中的几种相关情况分析
第四章 谓词逻辑的推理判定技法
一、谓词逻辑的命题表达形式
（一）个体词、谓词和量词
（二）量化命题在谓词逻辑中的表达
（三）量词的辖域、约束变项和自由变项
二、谓词逻辑推理的形式推导或证明
三、谓词逻辑推理的转换赋值和解释方法
（一）转换赋值方法
（二）解释方法
第五章 形式公理化方法
一、公理系统和形式系统
（一）公理系统
（二）形式系统
二、形式公理化方法的应用范例：命题演算
（一）命题演算PM的出发点
（二）定理的证明
（三）简化证明的推演规则
（四）定理的简化证明
（五）命题演算的一致性、完全性和公理独立性
三、形式公理化方法的应用范例：谓词演算
（一）谓词演算Q-PM的出发点
（二）定理的推演证明
四、逻辑形式公理系统的不同形态
（一）不同形态的命题逻辑形式公理系统
（二）不同形态的谓词逻辑形式公理系统
五、定义方法
（一）内涵定义
（二）外延定义
（三）语词定义
第六章 归纳方法
一、枚举归纳法
（一）简单枚举法
（二）科学归纳法
（三）完全归纳法
二、排除归纳法
（一）因果关系的特点
（二）求同法
（三）求异法
（四）求同求异并用法
（五）共变法
（六）剩余法
三、抽样和概率
（一）抽样
（二）概率
四、统计归纳法
（一）估计方法
（二）假说检验方法
五、关于归纳的合理性问题
主要参考书目
后记
隐藏目录
作者：苑成存著
出版日期：2006
页数：307
关键词：逻辑推理 可判定性 研究 苑成存
分类： 哲学宗教 >形式逻辑(名学、辩学)
在线阅读逻辑推理判定技法电子书超星阅览器
阅读1阅读2下载图书
阅览器阅读/下载图书须安装超星阅览器，立即下载
添加到学习计划
收藏推荐
分享到
内容提要
本书围绕逻辑学的中心问题——判定推理的有效性，重点阐述真值表方法等逻辑判定技法。
隐藏目录章节目录
第一章 逻辑学的中心课题、历史进程与基本原则
一、逻辑学的中心课题
（一）逻辑是研究推理有效性的学科
（二）逻辑是研究命题形式关系的学科
二、逻辑学的历史进程
（一）逻辑学的产生
（二）逻辑学的发展
（三）西方逻辑在我国的传播与弘扬
三、逻辑学的基本原则
（一）矛盾原则
（二）充足理由原则
（三）关于悖论
第二章 命题逻辑的推理判定技法
一、命题联结词
（一）命题联结词的日常表达
（二）命题联结词的真值特征
（三）括号与主联结词
二、重言式与有效性
三、真值表方法及其简化
（一）真值表方法
（二）简化真值表方法
四、形式推导或证明
（一）形式推导或证明的基本规则
（二）几个形式推导或证明的例子
（三）条件推导或证明
（四）间接推导或证明
第三章 词项逻辑的推理判定技法
一、直言命题的构成及其真值特征
（一）直言命题的形式及其构成
（二）直言命题的主谓项关系及其真值特征
二、对当关系推理和换位推理
（一）直言命题的对当关系推理
（二）直言命题的换位推理
三、直言三段论推理的判定规则
（一）直言三段论推理的类型
（二）直言三段论推理的基本判定规则
（三）直言三段论推理的派生判定规则
（四）直言三段论推理的有效形式
四、直言三段论推理的还原判定方法
五、直言三段论推理的文恩图解判定方法
六、三段论推理判定过程中的几种相关情况分析
第四章 谓词逻辑的推理判定技法
一、谓词逻辑的命题表达形式
（一）个体词、谓词和量词
（二）量化命题在谓词逻辑中的表达
（三）量词的辖域、约束变项和自由变项
二、谓词逻辑推理的形式推导或证明
三、谓词逻辑推理的转换赋值和解释方法
（一）转换赋值方法
（二）解释方法
第五章 形式公理化方法
一、公理系统和形式系统
（一）公理系统
（二）形式系统
二、形式公理化方法的应用范例：命题演算
（一）命题演算PM的出发点
（二）定理的证明
（三）简化证明的推演规则
（四）定理的简化证明
（五）命题演算的一致性、完全性和公理独立性
三、形式公理化方法的应用范例：谓词演算
（一）谓词演算Q-PM的出发点
（二）定理的推演证明
四、逻辑形式公理系统的不同形态
（一）不同形态的命题逻辑形式公理系统
（二）不同形态的谓词逻辑形式公理系统
五、定义方法
（一）内涵定义
（二）外延定义
（三）语词定义
第六章 归纳方法
一、枚举归纳法
（一）简单枚举法
（二）科学归纳法
（三）完全归纳法
二、排除归纳法
（一）因果关系的特点
（二）求同法
（三）求异法
（四）求同求异并用法
（五）共变法
（六）剩余法
三、抽样和概率
（一）抽样
（二）概率
四、统计归纳法
（一）估计方法
（二）假说检验方法
五、关于归纳的合理性问题
主要参考书目
后记
隐藏目录