法律逻辑学复习笔记

法律逻辑学复习笔记概念与语词的关系：概念内涵的分类：认识性内涵，规定性内涵(内涵的确立方式分)析取性内涵，合取性内涵(内涵表达式的逻辑结构分)物(对象)。概念分类：1根据概念外延对象多少来分单独概念(外延仅有一个独一无二的对象的概念。)、普遍概念(外延至少有两个对象的概念。)、空概念(亦称虚概念,就是在对象是否为集合体来分集合概念(反映集合体的概念，集合概体整体具有的本质属性，并不反映组成这个集合体的每一个分子所具有的属性。)、非集合概念(反映类(即非集合体)的概念，非集合概念所反映的 (1)集合体：由许许多多个体聚合而成的群体(整体)。 (2)类：具有相同属性对象的汇集。3根据概念的内涵中是否具有某种属性来分正概念(亦称肯定概念，就是内涵中具有某种属性的概念。)、负概念(亦称否定概念，就是内涵中不具有某种属性的负概念与正概念所共同相对的那个特定范围，就是论域(议论的范围)。5根据概念表达式的结构形式不同来分简单概念(对其不能再加以分解的概念，其语言表达式是单字，或，意义不可再分的词组。)、复合概念(由两个或多个概念。)<1>按逻辑关系不同来分合取式、析取式动产(Ds)就是(=df.)可以移动的财产(Dp)3不能用负概念去定义正概念4Dp必须清楚确切DS=df.(T1∧T2∧T3……Tn)+B划分：根据某一标准(或某种属性)将一个属概念分为若干个种概念从分类：根据对象的本质属性将一个大类(属概念)分成若干个小类(种概念)的逻辑方法。，划分是更随意的分类分解：将一个整体分成若干个组成部分。(分解不是明确概念外延的逻划分标准(逻辑常项)划分的方法：一次划分与连续划分：Mabcdb1b2b3b4b一次划分连续划分Mm1m2┇mn(n≥3)多分法任意两子项之间必aM判断：判断主体断定(肯定或否定)了的命题。换言之，判断就是对对象情况有所断判断的特征：一是有所断定(肯定或否定)；二是具有真值(真的或假的)。对描述命题的评价，是评价命题而非描述命题；述命题与评价命题的区别：性质不同语句；产生的分歧及解决的方法不同(信念分歧、态度分歧)应然命题、实然命题、模态命题：实然命题：断定事物(过去、现在或将来时态)实系命题形式：命题的逻辑形式(命题形式)，就是命题本身各部份(命题常项与命题变项)之间的联结方式。简单命题(简单命题：以词项(概念)作为直接构成要件的命题。)、复合命题(以命题(语句)作为直接构成要件的命题。)性质命题简单命题关系命题非模态命题命题复合命题联言命题选言命题负命非模态命题命题复合命题直言命题(性质命题)的逻辑结构：主项：亦称主词，记为S，表示被断定对象的P联项：(肯定联项、否定联相)：表示主项与谓项之间联词项。量项：表示主项外延范围的词项。(全称量词、特称量词、单称量直言命题(性质命题)的基本类型：按命题的质(联项)分：肯定命题(由肯定联项联结主项和谓项的直言命题。)、否定命题(由否定联项联结主项和谓项的直言命按命题的量(量项)分：全称命题(带有全称量项的的直言命题。)、特称命题(带有特称量项的直言命题。)、单称命题(主项为单独概念或逻逻辑形式符号表达式类型题定命题命题否定命题词项的周延性：指一个直言命题的主(谓)项的外延是否被全部断定的问题。题推导的真假，亦称逻辑的真假题事实的真假，亦称经验的真假逻辑变项相同的单称肯定命题(SFP)与单称否定命题(SNP)之间具有矛盾关系。称肯定命题之间：若谓项是矛盾概念，则二者为矛盾关对概念，则二者为称否定命题之间：若谓项为矛盾概念，则二者为矛盾关系；SEPSEPSAP换质法：通过改变一个直言命题的质(联项)从而推导出另一个直言命PIS逻辑变项肢命题并非否定词逻辑联结词并且合取词或者析取词任一负命题(~p)与其肢命题(p)间具有矛盾关系。任一负命题(~~p)都等值于其肢命题(~p)的矛盾命题(p)德.摩根律：~(p∧q)←→(~p∨~q)~(p∨q)←→(~p∧~q)逻辑变项：假言肢(前件：表示某种条件(或原因)的假言肢，种条件的推断(或结果)的假逻辑结构：逻辑常项：假言联结词(蕴含词、逆蕴含词、等值客观事物情况之间的条件制约关系：且，无p未必无q，则p既不是q的充分条件，也不是q的必要条件。有之未必然，无之未必不然pq假言命题的类型：充分条件的假言命题(断定前件是后件充分条件的假言命题。)prq必要条件的假言命题(断定前件是后件必要条件的假言命题。)prq充要条件的假言命题(充分必要条件假言命题的实质，在于它是充)pq辑常项：联结词：一个命题的真假，所以又称为真值模态(或真势模态)。…逻辑常项：模态词：模态命题的种类：真值模态命题(包含有真值模态词的命题，常简称为模态命题。)、规范模态命题(包含有规范词的命题，简称为规范命题。)真值模态命题：必然肯定命题必然p□p必然否定命题必然非p□~p或然肯定命题可能p

p差等关系矛盾差等关系矛盾关系差等关系矛盾关系或然否定命题可能非p

~□p□~p□p□~pp

~

pp

~

pp逻辑变项：行为规定(A)逻辑结构：格式：△A逻辑常项：规范词(△)规范命题的种类：根据规范命题中规范词(△)的性质不同，可分为必须型、禁止型规范命题；根据规范命题中的逻辑变项(A)，即行为规定的逻辑结构不同，可分为简单规范命题和复合规范命题。A~A肯定的行为规定(作为)否定的行为规定(不作为)OFP义务(必须/应当)允许(可以)逻辑变项：推理的分类：根据前提对结论的支持强度来分必然性推理(前提与结论间具有必然性联系的推理。只要前提真，结论就必然真。)、或然性推理(前提与结论间具有或然使前提都真，结论也未必真。)根据由前提到结论的思维方式来分演绎推理(由一般性前提到个别(特殊)性结论的推理；)、归纳推理(由个别(特殊)性前提到一般性结论的推理，因而也称为“逆绎”；)、类比推理(基于对象与对象属性的相同或相似，由个别到个别的推根据推理是否涉及前提的实质内容来分：形式推理(亦称分析推理，不涉及推理的实质内容，仅根据前提与结论在形式结构方面的逻辑推导关系进行推理，其结论具有无可争议性、自明性和必然性。)、实质推理，亦称论辩推理或辩证推理，根据推理得出真实结论的条件：(1)前提必须真实可靠； (2)推理形式必须有效。是借助一个共同概念(变项)联结两个直言命题推导出另一个直言命题的演绎推理。三个直言命题(大前提、小前提、结辑变项：三个不同概念(小项S、大项P、中项M)辑结构：三段论的格(由于中项M所处的位置不同结构形式的三段论，叫辑常项：三段论的式(组成一个三段论大前提、小前提和结论的三个省略了某个部份(大前提，小前提或结论)的三段论。省略三段论是语言上的省略，略；定后件；否定前件，不能否定承认前件，否认前件就要否认后件;否认不能承认后件提、结论均为假言命题，并且根据假言命题特征在于：前一个假言前提的后件作后一个假言前提归纳推理的逻辑特征：由个别(特殊)到一般的推理或然性推理(前提都真结论未必真)结论必须为全称概括(全称命题)完全归纳推理的类型：穷举归纳推理(就是通过考察一类事物的全部个体对象，从而推出关于该类事物一般性结论的推理。)、分类归纳推理(就是含有许多乃至无限个体对象的一类事物通过考察这些小类，从而推出关于该类完全归纳推理的逻辑特征：(1)由个别(特殊)到一般的推理 (2)结论必须是全称概括(全称命题) (3)必然性推理(只要前提都真结论就必然为真)不完全归纳推理分类：简单枚举归纳推理(根据某类事物的许多对象都具有某种属性，且未遇反例，从而概括出关于该类事物一般性结论的推理。)、科学归纳推理 从探索现象之间的因果联系，而概括出一般性结论的推简单枚举归纳推理的推理依据：(1)某种现象在一类事物中不断重复出现； (2)未遇反例。因果推理：就是确定某一现象是另一现象的原因(或结果)的推理。(因果推理属于这个惟一相同的相关因素与被研究现象之间具有因果联系的逻辑要求：(在被研究现象出现的若干场合中，除一个相关因素相同外，其他不同，进而确定这一不同的相关因素与被研逻辑要求：(在被研究现象出现和不出现的两个场合中，除一个相关因素不并用法：根据被研究现象出现的一组场合(即正面场合组)中都有一个相同的相关因素，而在被研究现象不出现的另一组场合(即反面场合组)中都没有这个相这一变化的相关因素与被研究现象之间具有因化的若干场合中，除一个相关因素相关因素与余下的被研究现类比推理的基本类型：横向类比(非归纳的类比)在两类对象或者不同类的两个对象类事物的两个或多个对象之间进行纵向的类类比推理的逻辑要求：(1)应尽量增加前提中相同属性的数量 (2)应分析相同属性与推出属性间的联系 (3)应注意进行反类比 立)作出与科学性的统一假说的分类：经验假说(根据观察或实验的各种结果而作出的推测性解释。)定律假说(亦称科学假说，就是关于一类事物或现象的性质或发生原因作业假说(亦称工作假说，就是关于某个特定事物或现象的性质或发生建立假说的逻辑程序：假说的提出(提出假说，就是分析研究已占有的事实材料，提出能解释这些材料的初步论断。)、假说的推演(就是以提出的假说为出发点，结合。换言之，就是以提出的假说作前件，合乎逻辑地推导出与之具有必然联系的后件，形成一个充分条件假言命题。)、假说的验证(就是通过科学实验或社会实践，检查由假说引申出的推断是否与现实(或实验结果)相符事实材料相全部，而不化和具体化侦查假说是一种作业假说；侦查假说的内容通常不是单一的；侦查假设不能与案件事实相矛盾；侦查假设应能解释有关案件的事实；论证：就是引用一些已知为真或合理(至少是论证者或其对手已承认其为真或合理)逻辑变项：另一命题为真或合理的论证。)、反驳性论证(通称驳论，就是引用一些已确认为真或合理的命题,以确立另一命题虚假或不合理的论证。)、真实性论证(论题为事实判断(描述命题)的论证，其目的是确定某个论题的真实性。)、正当性论证(论题为价值判断(评价命题)的论证，其目的是确定某个论题的正当性或合理性。)、简单论证(亦称单独支持的论证，就是论据与论题之间只有一层支持关系的论证；)、复之间有多层支持关系的论证。)、直接论证(引用论据从正面直接确定论题真实性或正当性的论证；)、间接论证(引用论据确定与论题相排斥的命题虚假，然后从证论据推出论题来分直接论证、间接论证反证法(假言证法)：就是通过确定与原论题相矛盾的命题不成立(虚假或不正当)，然后根据排中律反推原论题成立的论证方法。逻辑要求：(1)反论题必须是原论题的矛盾命题； (2)反论题与推断间必须是充分条件关系。淘汰法：亦称排除法，是通过确定与原论题并列的若干命题不成立(虚假或不正当)，然后运用否定肯定式选言推理反推原论题成立的论证方法。逻辑要求：(1)与论题并列的其余选言肢必须穷尽； (2)对其余选言肢的否定必须理由充足。题不能成立的论证题不能同真，必有一肯定两个