法律逻辑学(第二版)-第五章-词项逻辑-课件.ppt

1、法律逻辑学教程法律逻辑学教程教学课件教学课件高等教育出版社高等教育出版社第五章第五章 词项逻辑（下）词项逻辑（下）第一节第一节 直言命题直言命题第二节第二节 直言命题的直接推理直言命题的直接推理第三节第三节 三段论三段论 第四节第四节 谓词逻辑自然推理谓词逻辑自然推理高等教育出版社高等教育出版社本章重点提示本章重点提示1.1.明确直言命题的定义及其逻辑特征；明确直言命题的定义及其逻辑特征；2.2.掌握掌握6 6种基本的直言命题种类；种基本的直言命题种类；3.3.理解直言命题间的真假关系；理解直言命题间的真假关系；4.4.把握直言命题直接推理规则及其应用；把握直言命题直接推理规则及其应用；5.5

2、.弄懂三段论及其基本规则；弄懂三段论及其基本规则；6.6.理解谓词逻辑自然推理的基础知识。理解谓词逻辑自然推理的基础知识。高等教育出版社高等教育出版社第一节第一节 直言命题直言命题一、直言命题及其结构一、直言命题及其结构二、直言命题的种类二、直言命题的种类三、直言命题主、谓项的周延性三、直言命题主、谓项的周延性四、直言命题间的真假关系四、直言命题间的真假关系高等教育出版社高等教育出版社分析：分析：（1 1）我生从何来，死往何处？）我生从何来，死往何处？（2 2）让暴风雨来得更猛烈些吧！）让暴风雨来得更猛烈些吧！（3 3）难道这些困难真的无法克服？）难道这些困难真的无法克服？（4 4）生，容易；

3、活，容易；生活，不容易。）生，容易；活，容易；生活，不容易。（5 5）水至清则无鱼。）水至清则无鱼。（6 6）只有年满）只有年满1818岁，才有选举权。岁，才有选举权。（7 7）并非所有金属都是液体。）并非所有金属都是液体。（8 8）人不犯我，我不犯人；人若犯我，我必犯人。）人不犯我，我不犯人；人若犯我，我必犯人。（9 9）中国与越南相邻。）中国与越南相邻。（1010）一切反动派都是纸老虎。）一切反动派都是纸老虎。高等教育出版社高等教育出版社一、直言命题及其结构一、直言命题及其结构（一）什么是直言命题（一）什么是直言命题 所谓直言命题，就是反映思维对象具有或不具有所谓直言命题，就是反映思维对象

4、具有或不具有 某种性质的命题。某种性质的命题。它是以主谓式语句表达的命题。它是以主谓式语句表达的命题。直言命题又称性质命题。直言命题又称性质命题。高等教育出版社高等教育出版社（二）直言命题的构成（二）直言命题的构成 1.1.主项主项 主项是处于表达直言命题的语句中主语位置并指称主项是处于表达直言命题的语句中主语位置并指称思维对象的词项，通常用大写字母思维对象的词项，通常用大写字母S S表示。表示。高等教育出版社高等教育出版社2.2.谓项谓项 谓项是在表达直言命题的语句中处于谓语位置并指称谓项是在表达直言命题的语句中处于谓语位置并指称思维对象性质的词项，一般用大写字母思维对象性质的词项，一般用大

5、写字母P P表示。表示。高等教育出版社高等教育出版社3.3.联项联项 联项是表示主项和谓项联系的词项，通常称为直言命联项是表示主项和谓项联系的词项，通常称为直言命题的质。题的质。（1 1）肯定联项）肯定联项 在直言命题中，表示肯定性质的联项称为肯定联项，在直言命题中，表示肯定性质的联项称为肯定联项，一般用系词一般用系词“是是”来表示来表示 （2 2）否定联项）否定联项 在直言命题中表示否定性质的联项则称为否定联项，在直言命题中表示否定性质的联项则称为否定联项，一般用系词一般用系词“不是不是”表示。表示。高等教育出版社高等教育出版社4.4.量项量项 量项是指断定主项外延数量的词项，通常称为直言命

6、量项是指断定主项外延数量的词项，通常称为直言命题的量。题的量。（1 1）单称量项）单称量项 单称量项是反映主项只有一个分子的词项单称量项是反映主项只有一个分子的词项 （2 2）全称量项）全称量项 在命题中陈述了主项所指称的对象的全部，或者说断在命题中陈述了主项所指称的对象的全部，或者说断定了主项的全部外延，通常用定了主项的全部外延，通常用“所有所有”、“任何任何”、“一切一切”、“每一个每一个”、“凡凡”、“都都”等词语表示。等词语表示。高等教育出版社高等教育出版社（3 3）特称量项）特称量项 特称量项又称存在量项，表示在命题中至少陈述了主项所特称量项又称存在量项，表示在命题中至少陈述了主项所

7、 指称的对象中的一个，或者说断定了主项外延中的至少一指称的对象中的一个，或者说断定了主项外延中的至少一 个对象。个对象。特称量项通常用特称量项通常用“有些有些”、“有的有的”、“存在存在”、“至少至少一个一个”、“许多许多”、“大多数大多数”、“少数少数”等词语表示。等词语表示。高等教育出版社高等教育出版社任何一个直言命题的结构：任何一个直言命题的结构：量项量项+主项主项+联项联项+谓项。谓项。高等教育出版社高等教育出版社二、直言命题的种类二、直言命题的种类（一）全称肯定命题（一）全称肯定命题（二）全称否定命题（二）全称否定命题（三）特称肯定命题（三）特称肯定命题（四）特称否定命题（四）特称否

8、定命题（五）单称肯定命题（五）单称肯定命题（六）单称否定命题（六）单称否定命题高等教育出版社高等教育出版社（一）全称肯定命题（一）全称肯定命题 所有所有S S是是P P。全称肯定命题反映主项全称肯定命题反映主项S S的全部对象具有谓项的全部对象具有谓项P P的性质。的性质。（二）全称否定命题（二）全称否定命题 所有所有S S不是不是P P。全称否定命题反映主项全称否定命题反映主项S S不具有谓项不具有谓项P P的性质。的性质。高等教育出版社高等教育出版社（三）特称肯定命题：（三）特称肯定命题：有有S S是是P P。特称肯定命题反映主项特称肯定命题反映主项S S类中至少有一个对象具有类中至少有一

9、个对象具有谓项谓项P P的性质。的性质。高等教育出版社高等教育出版社（四）特称否定命题（四）特称否定命题 有有S S不是不是P P。特称否定命题反映主项特称否定命题反映主项S S类中至少有一个对象不具有类中至少有一个对象不具有谓项谓项P P的性质。的性质。高等教育出版社高等教育出版社（五）单称肯定命题：（五）单称肯定命题：（这个）这个）S S是是P P。单称肯定命题反映主项单称肯定命题反映主项S S所指称的某特定对象具有谓所指称的某特定对象具有谓 项项P P的性质。的性质。（六）单称否定命题：（六）单称否定命题：（这个）（这个）S S不是不是P P。单称否定命题反映主项单称否定命题反映主项S

10、S所指称的某特定对象不具有所指称的某特定对象不具有 谓项谓项P P的性质。的性质。高等教育出版社高等教育出版社类别类别界定界定命题形式命题形式符号化符号化简称简称全称肯定命题全称肯定命题断定所有思维对象具有断定所有思维对象具有某种性质的命题。某种性质的命题。所有所有S S是是P P。SAPSAPA A全称否定命题全称否定命题断定所有思维对象不具断定所有思维对象不具有某种性质的命题。有某种性质的命题。所有所有S S不是不是P P。SEPSEPE E特称肯定命题特称肯定命题断定有的思维对象具有断定有的思维对象具有某种性质的命题。某种性质的命题。有有S S是是P P。SIPSIPI I特称否定命题特

11、称否定命题断定有的思维对象不具断定有的思维对象不具有某种性质的命题。有某种性质的命题。有有S S不是不是P P。SOPSOPO O单称肯定命题单称肯定命题断定某个思维对象具有断定某个思维对象具有某种性质的命题。某种性质的命题。某个某个S S是是P P。（SAPSAP）（A A）单称否定命题单称否定命题断定某个思维对象不具断定某个思维对象不具有某种性质的命题。有某种性质的命题。某个某个S S不是不是P P。（SEPSEP）（E E）高等教育出版社高等教育出版社三、直言命题主、谓项的周延性三、直言命题主、谓项的周延性（一）定义（一）定义（二）周延情况（二）周延情况 （三）注意事项（三）注意事项高等

12、教育出版社高等教育出版社（一）定义（一）定义 所谓直言命题主、谓项的周延性，是指在一个直言命题所谓直言命题主、谓项的周延性，是指在一个直言命题中主、谓项的外延被断定的情况。中主、谓项的外延被断定的情况。高等教育出版社高等教育出版社（二）周延情况（二）周延情况 1.1.全称肯定命题的主项周延，谓项不周延全称肯定命题的主项周延，谓项不周延 2.2.全称否定命题的主、谓项都周延全称否定命题的主、谓项都周延 3.3.特称肯定命题的主、谓项都不周延特称肯定命题的主、谓项都不周延 4.4.特称否定命题的主项不周延，但谓项周延特称否定命题的主项不周延，但谓项周延 高等教育出版社高等教育出版社（三）注意事项（

13、三）注意事项 1.1.周延性问题是就直言命题中的主项或谓项而言的周延性问题是就直言命题中的主项或谓项而言的 2.2.周延问题是直言命题对其主、谓项外延的断定情周延问题是直言命题对其主、谓项外延的断定情 况，与主谓项外延在客观上存在什么关系是两个况，与主谓项外延在客观上存在什么关系是两个 不同的问题不同的问题 3.3.直言命题中主、谓项的周延性不应与命题的真假直言命题中主、谓项的周延性不应与命题的真假 问题混同问题混同 4.4.直言命题中主、谓项的周延性是就命题形式而言，直言命题中主、谓项的周延性是就命题形式而言，与命题的具体内容无关。与命题的具体内容无关。高等教育出版社高等教育出版社结论：结论

14、：（1 1）全称命题的主项周延；）全称命题的主项周延；（2 2）特称命题的主项不周延；）特称命题的主项不周延；（3 3）肯定命题的谓项不周延；）肯定命题的谓项不周延；（4 4）否定命题的谓项周延。）否定命题的谓项周延。高等教育出版社高等教育出版社四、直言命题间的真假关系四、直言命题间的真假关系（一）反对关系（一）反对关系（二）下反对关系（二）下反对关系（三）矛盾关系（三）矛盾关系（四）差等关系（四）差等关系高等教育出版社高等教育出版社（一）反对关系（一）反对关系 具有反对关系的两个命题具有反对关系的两个命题“不能同真，可以同假不能同真，可以同假”，即一个命题真，另一个命题必假；一个命题假，另一

15、即一个命题真，另一个命题必假；一个命题假，另一个命题可真可假。个命题可真可假。A A与与E E之间的真假制约关系就是反对关系。之间的真假制约关系就是反对关系。高等教育出版社高等教育出版社（二）下反对关系（二）下反对关系 具有下反对关系的两个命题具有下反对关系的两个命题“不能同假，可以同真不能同假，可以同真”，即一个命题假，另一个命题必真；一个命题真，另一即一个命题假，另一个命题必真；一个命题真，另一个命题可真可假。个命题可真可假。I I与与O O之间的真假制约关系就是下反对关系。之间的真假制约关系就是下反对关系。高等教育出版社高等教育出版社（三）矛盾关系（三）矛盾关系 具有矛盾关系的两个命题具

16、有矛盾关系的两个命题“不能同真，也不可同假不能同真，也不可同假”，即一个命题真，另一个命题必假；一个命题假，另一即一个命题真，另一个命题必假；一个命题假，另一个命题必真。个命题必真。A A与与O O、E E与与I I之间的真假制约关系都是矛盾关系。之间的真假制约关系都是矛盾关系。高等教育出版社高等教育出版社（四）差等关系（四）差等关系 具有差等关系的两个命题具有差等关系的两个命题“可以同真，也可同假可以同真，也可同假”，即在同质的条件下，全称命题真，则特称命题必真；即在同质的条件下，全称命题真，则特称命题必真；全称命题假，则特称命题可假；特称命题假，则全称全称命题假，则特称命题可假；特称命题假

17、，则全称命题必假；特称命题真，则全称命题可真。命题必假；特称命题真，则全称命题可真。A A与与I I、E E与与O O之间的真假制约关系都是差等关系之间的真假制约关系都是差等关系 高等教育出版社高等教育出版社逻辑方阵逻辑方阵 A E I O反 对 关反 对 关系系下下反对关系反对关系差差等等关关系系差差等等关关系系高等教育出版社高等教育出版社注意注意 :（1 1）传统逻辑的对当关系是以主项存在为前提的，）传统逻辑的对当关系是以主项存在为前提的，即预设主项即预设主项S S为非空词项。为非空词项。（2 2）在对当关系中，单称命题不能作全称命题处）在对当关系中，单称命题不能作全称命题处理，单称肯定命

18、题和单称否定命题是矛盾关系，理，单称肯定命题和单称否定命题是矛盾关系，而不是反对关系。而不是反对关系。高等教育出版社高等教育出版社基础逻辑题基础逻辑题甲班有人，其中：甲班有人，其中：I I、有的人通过了司考；有的人通过了司考；IIII、有的人未通过司考；有的人未通过司考；IIIIII、班长未通过司考，班长未通过司考，已知关于游泳的以上三句一真两假，问：甲班有已知关于游泳的以上三句一真两假，问：甲班有多少人通过了司考？多少人通过了司考？A.100A.100人会；人会；B.B.没有人会；没有人会；C.99C.99人会；人会；D.D.无法确定。无法确定。高等教育出版社高等教育出版社第二节第二节 直言

19、命题的直接推理直言命题的直接推理 一、直言命题对当关系推理一、直言命题对当关系推理 二、直言命题变形推理二、直言命题变形推理 高等教育出版社高等教育出版社一、直言命题对当关系推理一、直言命题对当关系推理 （一）根据矛盾关系的推理（一）根据矛盾关系的推理 （二）根据反对关系的推理（二）根据反对关系的推理 （三）根据下反对关系的推理（三）根据下反对关系的推理 （四）根据差等关系的推理（四）根据差等关系的推理 高等教育出版社高等教育出版社(一一)根据矛盾关系的推理根据矛盾关系的推理 SAP SOP SEP SIPSAP SOP SEP SIP SAP SOP SEP SIP SAP SOP SEP

20、SIP SOP SAP SIP SEP SOP SAP SIP SEP SOP SAP SIP SEP SOP SAP SIP SEP高等教育出版社高等教育出版社（二）根据反对关系的推理（二）根据反对关系的推理 SAP SEPSAP SEP SEP SAP SEP SAP高等教育出版社高等教育出版社（三）根据下反对关系的推理（三）根据下反对关系的推理 SIP SOPSIP SOP SOP SIP SOP SIP高等教育出版社高等教育出版社（四）根据差等关系的推理（四）根据差等关系的推理 SAP SIPSAP SIP SIP SAP SIP SAP SEP SOP SEP SOP SOP SEP

21、 SOP SEP高等教育出版社高等教育出版社二、直言命题变形推理二、直言命题变形推理 （一）换质法（一）换质法 （二）换位法（二）换位法 高等教育出版社高等教育出版社（一）换质法（一）换质法 1.1.换质法的定义换质法的定义 换质法是指通过改变一个直言命题的质，从而推出换质法是指通过改变一个直言命题的质，从而推出另一个直言命题的推理。另一个直言命题的推理。2.2.换质法的基本规则换质法的基本规则 （1 1）改变原命题的质，即把否定改为肯定，或由）改变原命题的质，即把否定改为肯定，或由肯定改为否定；肯定改为否定；（2 2）谓项改为与原词项相矛盾的词项。）谓项改为与原词项相矛盾的词项。高等教育出版

22、社高等教育出版社3.3.换质法的推理形式换质法的推理形式 SAP SAP SEP SEP SIP SIP SOP SOPPSEPSAPSOPSI高等教育出版社高等教育出版社4.4.换质法的基本功能换质法的基本功能 （1 1）从正反两个方面反映同一思维对象，可以帮助人）从正反两个方面反映同一思维对象，可以帮助人们从统一性中找出差别性，从差别性中找出统一性。们从统一性中找出差别性，从差别性中找出统一性。（2 2）换质法是语法修辞、调换句式、加强表达效果的）换质法是语法修辞、调换句式、加强表达效果的重要方法。重要方法。高等教育出版社高等教育出版社（二）换位法（二）换位法 1.1.换位法的定义换位法的

23、定义 通过交换直言命题主、谓项的位置而推出另一个直言通过交换直言命题主、谓项的位置而推出另一个直言命题的推理，称为换位法。命题的推理，称为换位法。2.2.换位法的基本规则换位法的基本规则 （1 1）只改变主项与谓项的位置，不改变命题的质；）只改变主项与谓项的位置，不改变命题的质；（2 2）在前提中不周延的项，在结论中也不得周延。）在前提中不周延的项，在结论中也不得周延。高等教育出版社高等教育出版社3.3.换位法的推理形式换位法的推理形式 SAP PISSAP PIS SEP PES SEP PES SIP PIS SIP PIS高等教育出版社高等教育出版社4.4.换位法的基本功能换位法的基本功

24、能 （1 1）改变命题断定的思维对象，从而获得新的命题）改变命题断定的思维对象，从而获得新的命题 （2 2）帮助人们明确一个直言命题的谓项是否周延，）帮助人们明确一个直言命题的谓项是否周延，说明有些话可以颠倒过来讲和有些话不可以颠倒过说明有些话可以颠倒过来讲和有些话不可以颠倒过来讲的原因。来讲的原因。高等教育出版社高等教育出版社第三节第三节 三段论三段论 一、什么是三段论一、什么是三段论 二、三段论的规则二、三段论的规则 三、三段论在司法审判中的作用三、三段论在司法审判中的作用高等教育出版社高等教育出版社一、什么是三段论一、什么是三段论 （一）三段论的定义（一）三段论的定义 （二）三段论的特点

25、（二）三段论的特点 （三）三段论的格和式（三）三段论的格和式 高等教育出版社高等教育出版社（一）三段论的定义（一）三段论的定义 1.1.定义定义 三段论是由包含一个共同项的两个直言命题作三段论是由包含一个共同项的两个直言命题作为前提，推出一个新的直言命题作为结论的推为前提，推出一个新的直言命题作为结论的推理。理。高等教育出版社高等教育出版社2.2.构成构成 （1 1）大前提）大前提 （2 2）小前提）小前提 （3 3）结论）结论 （4 4）推理规则）推理规则高等教育出版社高等教育出版社（二）三段论的特点（二）三段论的特点 三段论明确地体现了演绎推理的逻辑特征，从三段论明确地体现了演绎推理的逻辑

26、特征，从前提到结论的思维进程方向是一般导向特殊。前提到结论的思维进程方向是一般导向特殊。三段论的大前提通常表述一般性原理，小前提三段论的大前提通常表述一般性原理，小前提表述的是特殊性的知识，进而推出一个关于特表述的是特殊性的知识，进而推出一个关于特殊性知识的结论。殊性知识的结论。高等教育出版社高等教育出版社（三）三段论的格和式（三）三段论的格和式 1.1.三段论的格三段论的格 三段论的格就是根据中项在前提中所处的三段论的格就是根据中项在前提中所处的 不同位置来确定的。不同位置来确定的。高等教育出版社高等教育出版社（1 1）第一格：中项在大前提中作主项，在小前中）第一格：中项在大前提中作主项，在

27、小前中 作谓项作谓项（实际运用的三段论以第一格最为常见）。（实际运用的三段论以第一格最为常见）。其形式为：其形式为：M PM P S M S M S P S P高等教育出版社高等教育出版社（2 2）第二格：中项在大、小前提中都作谓项。）第二格：中项在大、小前提中都作谓项。其形式为：其形式为：P MP M S M S M S P S P高等教育出版社高等教育出版社（3 3）第三格：中项在大、小前提中都作主项。）第三格：中项在大、小前提中都作主项。其形式为：其形式为：M PM P M S M S S P S P高等教育出版社高等教育出版社（4 4）第四格：中项在大前提中作谓项，在小前提中作主项。）

28、第四格：中项在大前提中作谓项，在小前提中作主项。其形式为：其形式为：P MP M M S M S S P S P高等教育出版社高等教育出版社2.2.三段论的式三段论的式 三段论的式是指三段论中大、小前提和结论的命题三段论的式是指三段论中大、小前提和结论的命题形式的组合结构式。形式的组合结构式。2424个有效式：个有效式：第一格：第一格：AAAAAA，AAIAAI，AIIAII，EAEEAE，EAOEAO，EIOEIO；第二格：第二格：AEEAEE，AEOAEO，AOOAOO，EAEEAE，EAOEAO，EIOEIO；第三格：第三格：AAIAAI，AIIAII，EAOEAO，EIOEIO，IAI

29、IAI；OAOOAO；第四格：第四格：AAIAAI，AEEAEE，AEOAEO，EAOEAO，EIOEIO，IAIIAI。高等教育出版社高等教育出版社二、三段论的规则二、三段论的规则 （一）三段论的一般规则（一）三段论的一般规则 （二）三段论各格的具体规则（二）三段论各格的具体规则 高等教育出版社高等教育出版社（一）三段论的一般规则（一）三段论的一般规则 1.1.一个三段论有且只有三个不同的项一个三段论有且只有三个不同的项 2.2.中项在两前提中至少周延一次中项在两前提中至少周延一次 3.3.前提中不周延的项在结论中也不得周延前提中不周延的项在结论中也不得周延 4.4.从两个否定的前提得不出必

30、然的结论从两个否定的前提得不出必然的结论高等教育出版社高等教育出版社5.5.如果一个前提是否定的，那么结论也是否定的；如果一个前提是否定的，那么结论也是否定的；如果结论是否定的，那么必有一个前提是否定的如果结论是否定的，那么必有一个前提是否定的 6.6.两个特称前提得不出必然的结论两个特称前提得不出必然的结论 7.7.如果两前提有一特称，则结论必为特称如果两前提有一特称，则结论必为特称高等教育出版社高等教育出版社（二）三段论各格的具体规则（二）三段论各格的具体规则 1.1.第一格的具体规则：第一格的具体规则：（1 1）小前提必是肯定的；）小前提必是肯定的；（2 2）大前提必是全称的。）大前提必

31、是全称的。高等教育出版社高等教育出版社2.2.第二格的具体规则：第二格的具体规则：（1 1）前提中必有一个是否定的；）前提中必有一个是否定的；（2 2）大前提必是全称的。）大前提必是全称的。高等教育出版社高等教育出版社第三格的具体规则：第三格的具体规则：（1 1）小前提必是肯定的；）小前提必是肯定的；（2 2）结论是特称的；）结论是特称的；（3 3）至少有一个前提是全称的。）至少有一个前提是全称的。高等教育出版社高等教育出版社4.4.第四格的具体规则：第四格的具体规则：（1 1）如果前提中有一否定命题，那么大）如果前提中有一否定命题，那么大 前提是全称的；前提是全称的；（2 2）如果大前提是肯

32、定的，那么小前提）如果大前提是肯定的，那么小前提 是全称的；是全称的；（3 3）如果小前提为肯定的，那么结论是）如果小前提为肯定的，那么结论是 特称的；特称的；（4 4）前提不能是特称否定的；）前提不能是特称否定的；（5 5）结论不能是全称肯定的。）结论不能是全称肯定的。高等教育出版社高等教育出版社三、三段论在司法审判中的作用三、三段论在司法审判中的作用（一）（一）“审判格审判格”审判格的大前提总是全称命题，小前提为肯定命题。审判格的大前提总是全称命题，小前提为肯定命题。（二）应用（二）应用 具有普遍适用性质的法律规定作为大前提，把某一案件具有普遍适用性质的法律规定作为大前提，把某一案件 的事

33、实作为小前提，断定其具有大前提援引的法律条文的事实作为小前提，断定其具有大前提援引的法律条文 所规定的性质，据此推出有关该案件的法律结论。所规定的性质，据此推出有关该案件的法律结论。高等教育出版社高等教育出版社第四节第四节 谓词逻辑自然推理谓词逻辑自然推理 一、什么是谓词逻辑一、什么是谓词逻辑 二、谓词公式的生成二、谓词公式的生成 高等教育出版社高等教育出版社一、什么是谓词逻辑一、什么是谓词逻辑 谓词逻辑是现代形式逻辑的重要组成部分，它是谓词逻辑是现代形式逻辑的重要组成部分，它是通过把简单命题分析为主词、谓词、量词等非命通过把简单命题分析为主词、谓词、量词等非命题成分，来研究简单命题的形式结构

34、和推理的规题成分，来研究简单命题的形式结构和推理的规律与规则的逻辑理论。律与规则的逻辑理论。高等教育出版社高等教育出版社二、谓词公式的生成二、谓词公式的生成 谓词公式即谓词逻辑的命题公式，是指在分析命谓词公式即谓词逻辑的命题公式，是指在分析命题的个体词、谓词和量词的基础上，依据一定规题的个体词、谓词和量词的基础上，依据一定规则对命题进行完全符号化后得到的公式。则对命题进行完全符号化后得到的公式。高等教育出版社高等教育出版社（一）个体词、谓词和量词的分析方法（一）个体词、谓词和量词的分析方法 1.1.个体词个体词 个体词是指简单命题中表示个体的语词。个体词是指简单命题中表示个体的语词。2.2.谓

35、词谓词 谓词是用来说明个体词的，根据谓词所说明的谓词是用来说明个体词的，根据谓词所说明的 个体词的情况，谓词可分为一元谓词、二元谓个体词的情况，谓词可分为一元谓词、二元谓 词、三元谓词等。词、三元谓词等。高等教育出版社高等教育出版社 3.3.量词量词 量词就是刻画简单命题中个体词数量的语词。量词就是刻画简单命题中个体词数量的语词。在谓词逻辑中只分析两种量词，一是全称量词，在谓词逻辑中只分析两种量词，一是全称量词，即表示个体词所指称对象全部的语词，如即表示个体词所指称对象全部的语词，如“所所有有”、“任一任一”等；二是存在量词，即表示个体等；二是存在量词，即表示个体词词 所指称的某个或某些对象的

36、语词，如所指称的某个或某些对象的语词，如“有的有的”、“有些有些”、“至少有一个至少有一个”等。含有全称量词的等。含有全称量词的简单命题称为全称命题，含有存在量词的命题称简单命题称为全称命题，含有存在量词的命题称为存在命题。为存在命题。高等教育出版社高等教育出版社（二）谓词公式的形成规则（二）谓词公式的形成规则 1.1.谓词的后边或两边带有一个或多个个体词的是原子谓词的后边或两边带有一个或多个个体词的是原子 公式，原子公式是公式；公式，原子公式是公式；2.2.如果如果A A是公式，那么是公式，那么A A是公式；是公式；3.3.如果如果A A和和B B是公式，那么是公式，那么ABAB、ABAB、

37、ABAB、ABAB是公式；是公式；4.4.如果如果A A是公式，是公式，V V是一个体变元，那么是一个体变元，那么vAvA、vAvA是公式；是公式；5.5.如果如果A A是公式，那么（是公式，那么（A A）是公式；）是公式；6.6.只有符合以上只有符合以上5 5条规则生成的表达式才是公式。条规则生成的表达式才是公式。高等教育出版社高等教育出版社三、谓词逻辑的自然推理方法三、谓词逻辑的自然推理方法 （一）（一）LNPLNP系统的形式语言系统的形式语言 （二）（二）LNPLNP系统的推理规则系统的推理规则 （三）（三）LNPLNP系统的完全性与可靠性系统的完全性与可靠性 高等教育出版社高等教育出版

38、社推荐：推荐：观看观看 阳光下的罪恶阳光下的罪恶高等教育出版社高等教育出版社 1.1.如何理解直言命题主、谓项的周延性？如何理解直言命题主、谓项的周延性？2.2.矛盾关系与反对关系存在何种联系与区别？矛盾关系与反对关系存在何种联系与区别？3.3.简述直言命题直接推理的种类与特征。简述直言命题直接推理的种类与特征。4.4.换质法与换位法推理的法律意义是什么？换质法与换位法推理的法律意义是什么？5.5.三段论推理的特点和规则是什么？三段论推理的特点和规则是什么？6.6.三段论有哪几个格？怎样区分三段论的格和式？三段论有哪几个格？怎样区分三段论的格和式？本章思考题本章思考题高等教育出版社高等教育出版

39、社本章思考题本章思考题7.7.什么是谓词逻辑？什么是谓词逻辑？8.8.如何理解个体词、谓词、量词？如何理解个体词、谓词、量词？9.9.谓词公式的生成规则有哪几条？谓词公式的生成规则有哪几条？10.LNP10.LNP系统与系统与NPNP系统有何联系与区别？系统有何联系与区别？11.11.如何理解和运用如何理解和运用NPNP系统的量词推理规则？系统的量词推理规则？12.LNP12.LNP系统的推理有哪些基本步骤？系统的推理有哪些基本步骤？高等教育出版社高等教育出版社本章主要参考书目本章主要参考书目1.1.张大松张大松,蒋新苗主编蒋新苗主编:法律逻辑学教程法律逻辑学教程,高等教育出版社高等教育出版社

40、,2003,2003年版。年版。2.2.何向东主编何向东主编:逻辑学教程（第二版逻辑学教程（第二版),),高等教育出版社，高等教育出版社，20042004年版。年版。3.3.雍琦雍琦,金承光主编金承光主编:法律逻辑教与学法律逻辑教与学，法律出版社，法律出版社 20072007年版。年版。4.4.黄伟力黄伟力:法律逻辑学新论法律逻辑学新论，上海交通大学出版社，上海交通大学出版社20002000年版。年版。5.5.梁庆寅主编梁庆寅主编:法律逻辑研究法律逻辑研究，法律出版社，法律出版社 20052005年版。年版。高等教育出版社高等教育出版社本章主要参考书目本章主要参考书目6.6.江天骥主编，江天骥主编，西方逻辑史研究西方逻辑史研究，人民出版社，人民出版社，19841984年版。年版。7.7.陈波：陈波：逻辑哲学导论逻辑哲学导论,人大出版社人大出版社,2002,2002年版。年版。8.8.陶济著：陶济著：欧洲哲学史著名命题史话欧洲哲学史著名命题史话,北京出版社北京出版社,1989,1989年版。年版。9.9.苏天辅著：苏天辅著：人类重要的逻辑命题人类重要的逻辑命题,湖北教育出版社湖北教育出版社,2000,2000年版。年版。10.10.陈嘉映：陈嘉映：语言哲学语言哲学,北大出版社北大出版社,2003,2003年版。年版。高等教育出版社高等教育出版社