法律逻辑学上课教义.ppt

法律逻辑学教程(张大松教材);第一章　绪论;;;;二、逻辑学的研究对象;;;三、逻辑学的性质;四、逻辑学的产生与发展;第二节 法律逻辑学的特点与作用;;二、法律逻辑学的作用;第二章 命题逻辑（上）;;二、命题与语句及判断;;三、命题的种类;第二节 复合命题;;二、复合命题联结词;三、复合命题的种类及其特征;联言命题真值表;真值表显示;;;;相容选言命题真值表;真值表显示;相容选言推理;2、不相容选言命题;不相容选言命题真值表;真值表显示;;不相容选言推理 ;??、假言命题1、假言命题与条件关系;条件分为三类;2、充分条件假言命题;充分条件假言命题的真值表;;真值表显示;;3、必要条件假言命题;必要条件假言命题真值表;;真值表显示;必要条件假言推理 ;4、充分必要条件假言命题;充分必要条件假言命题真值表;真值表显示;充分必要条件假言推理;(四)负命题;负命题的真值表;真值表显示 ┣ ￢, ∧, ∨, →, ←→ p q;负命题推理;四、法律条文中的复合命题;;;;;其他复合命题推理;;;;C1至此止反驳二难诡辩的三种方法;综合推理实例分析;第三节 复合命题重言式与真值表;一元真值函项表示法;一元真值函项δ对应的真值形式;二元真值函项表示法;;二、真值表判定法制作真值表的方法;1、真值表（判定）法（1）判定是否重言式;（2）判定是否互为等值 式;2、归谬赋值法;归谬赋值法;简化归谬赋值法;第二节命题逻辑的自然推理系统NP;一、形式语言L;;;二、推导规则与形式推演（一）推导规则;;┣ ￢, ∧, ∨, →, ←→ p q;（二）形式推演;数学中“有前提的形式推演”举例1;数学中“有前提的形式推演”举例2;一个有穷的公式系列B1，B2，… Bn，是从前提Γ（Γ不是空集）到结论B的形式推演，如果每一Bi（i=1，2，…n）满足以下条件之一： ①Bi∈Γ ②Bi是临时引入的假设 ③ Bi是该序列中在前的若干公式应用推导规则得到的公式 ④B=Bn Bi是阶段性结论，其中 Bn是最末的结论即结论B。 ;形式推演（证明）例示┣ ￢, ∧, ∨, →, ←→ p q;定理2 ￢（p ∧ q）┣ ￢ p ∨ ￢q;;NP系统的可靠性和完全性;┣ ￢, ∧, ∨, →, ←→ p q r;第四章 词项逻辑（上）;第一节 词项概述;一、词项及其特征;词项的内涵和外延;;;二、词项、语词和概念;;词项和语词有本质区别;第二节词项词项的种类;词项一、单独词项和普遍词项 （外延数量分类法）词项;;普遍词项;空词项;二、集合词项和非集合词项 （外延结构分类法）;如何区分集合词项与非集合词项呢？;;三、正词项和负词项 （内涵取向分类法）;第三节词词项间的关系;一、全同关系（相容）;二、真包含关系（相容）;三、真包含于关系（相容）;;四、交叉关系（相容）;五、全异关系（不相容）;;2、反对关系（不相容）;第四节 明确词项的逻辑方法;一、限制和概括;二、定义;定义的结构;（二）下定义的方法1、实质定义（真实定义）;属加种差定义方法的步骤;属加种差定义的分类;;2、外延定义;3、语词定义;（三）定义的规则;;;;三、划分;划分的结构与方法;（二）划分的方法;2、 二分法;3、分类;（三）划分的规则;;2、划分标准必须同一;3、 划分的子项不得相容;第五章??词项逻辑（下）;2、直言命题的构成;二、直言命题的种类;三、直言命题主、谓项的周延性;;四、直言命题间的真假关系（同素材的直言命题间的真假对当关系）;第二节 直言命题的直接推理;;;;二、直言命题变形推理;3、换质法的推理形式： ;（二）换位法;;5、三段论推理 （1）三段论及其结构 三段论就是由一个共同概念将两个直言命题联结起来作前提，由此推出一个新的直言命题作结论的推理 三段论中包含三个概念：大、中、小项。结论的谓项叫做大项，一般用P表示，结论的主项叫做小项，一般用S表示， 在结论中不出现而在两个前提中各出现一次的概念叫做中项，一般用M表示。 三段论由大前提、小前提和结论三部分构成。  ;第三节 三段论;;;（二）三段论的特点;（三）三段论的格与式 ;第一格;第二格;第三格;第四格;;;;（二）三段论各格的具体规则;第二格;第三格;第四格;三、三段论在司法审判中的作用;第四节 谓词逻辑的自然推理;二、谓词公式的生成 （一）个体词、谓词和量词的分解 个体词（个体变元、个体常项） 个体变元符号：x，y，z…或x1，x2，x3 … 个体常项符号： a，b，c…或带下标的a1，a2，a3… 谓词 谓词变元符号：D ，E ，F ，G ，H ，I ，… 一