一、模态命题及其种类 二、模态命题的真假与可能世界的理论 三、基本模态命题之间的对当关系 四、道义命题及其种类 五、模态命题推理、道义命题推理在法律中的应用

一、推理及其种类 二、有效推理与正确推理 三、命题推理及其特征 四、蕴涵析取推理及其应用

一、性质命题内部结构的现代谓词分析 二、关系命题内部结构的现代谓词分析 三、一元谓词演算的自然演绎推证分析 四、二元谓词演算的自然演绎推证分析

一、命题的特征与种类 二、复合命题的形式表达与刻画 三、复合命题五种联系的逻辑性质与真值表刻画 四、多重复合命题语句符号化的操作方法

一、词项的特征明确方法 二、性质命题的认知与对当关系 三、性质命题主谓项的周延性与传统谓词 四、推理的有效性 五、命题的变形推理考察 六、三段论的分析与应用

一、完全真值表法的判定功用 二、归谬赋值法的操作与判定 三、命题演算证明方法的应用与构造

第一章绪论 第二章命题的逻辑分析 第三章命题推理的形式 第四章真值表方法与命题演算 第五章传统谓词逻辑 第六章谓词演算 第七章模态逻辑 第八章归纳逻辑 第九章假说与侦查假设 第十章论证与论辩 第十一章谬误 第十二章逻辑基本规律

第一节 逻辑基本规律的地位及条件 第二节 同一律 第三节 矛盾律 第四节 排中律 第五节 逻辑规律之间的关系 第六节 逻辑规律在日常思维中的运用

在推理小说《血字的研究》中,福尔摩斯勘查了一件谋杀案的现场后,对该案的凶手 进行了分析认定: “‘这是一件谋杀案。凶手是个男人,他六尺多高,正当中年…着一双粗皮方头 靴子,抽的是印度雪茄烟… 雷斯垂德(官方侦探)问道:‘如果这个人是杀死的,那么又是怎样谋杀的呢? 毒死的。’福尔摩斯简单地说

第一节 命题概述 第二节 命题的分类和命题形式 第三节 命题形式的逻辑性质和真值表 第四节 真值函项 第五节 多重复合命题语句的符号化