逻辑笔记 D

导言法律逻辑学是开放教育本科、专科法学专业的一门考查课。

设置本课程的主要目的，是为了使学生比较系统地学习和掌握普通逻辑的基本知识、基本理论和基本方法；通过自觉地进行逻辑思维和表述论证的训练，提高思维的准确性和敏捷性，增强论证的逻辑力量；同时，为进一步学习和理解其他各门具体科学知识提供必要的逻辑分析工具。

本课程的基本教材是：姜成林主编、中央电大出版社出版的《普通逻辑学》（修订本）。

本门课程有两个鲜明的特点：一是它的内容具有很强的理论抽象性，公式、符号、图、表颇多；二是它的内容具有可操作性，处处都含有思维方法、演算技巧的应用。

因此。

为了学好本门课程，在学习方法上要求做到：第一．要认真阅读教材，在尽可能理解的基础上记住其中的基本概念、规则、逻辑形式，包括公式、符号等，并力求了解它们之间的内在联系，以点带面，由此及彼，融会贯通。

第二，要注重联系思维和论证的实际，努力把逻辑理论知识转化为思维的技能和论证的方法。

在学习过程中，要多做练习题，同时注意应用逻辑工具分析和解决日常思维和论证中存在的问题，把学习逻辑和应用逻辑自觉地结合起来。

第一章引论普通逻辑学的研究对象。

任何逻辑形式都由逻辑常项和变项两个部分组成。

普通逻辑学的性质。

学习普通逻辑学的意义和方法。

第二章概念概念的性质。

概念的两个逻辑基本特征。

概念和语词。

概念的作用。

概念的种类。

单独概念和普遍概念。

集合概念和非集合概念。

正概念和负概念。

概念间的关系。

全同关系。

真包含于关系。

真包含关系。

交叉关系。

全异关系。

定义的性质。

定义的方法。

定义的规则。

定义的作用。

划分的性质。

划分的方法。

划分的规则。

分类与列举。

概念的限制和概括。

第三章简单判断及其演绎推理（一）判断的性质。

判断和语句。

判断的种类。

性质判断的性质。

性质判断由主项、谓项、联项和量项四部分组成。

在性质判断中，逻辑常项是联项和量项。

性质判断的种类。

单称肯定判断：某个S是P。

单称否定判断：某个S不是P。

特称肯定判断：有S是P。

特称否定判断：有S不是P。

全称肯定判断：所有S是P。

全称否定判断：所有S不是P。

传统逻辑把单称判断当全称判断看待。

因此，六种判断归为四种（即A、E、I、O）。

但在使用中要注意，在某些推理形式中，单称判断不能当作全称判断处理。

性质判断的真假情况。

同一素材A、E、I、O之间的真假关系。

矛盾关系的特点。

反对关系的特点。

下反对关系的特点。

差等关系的特点。

性质判断主谓项的周延性。

推理的概述。

推理的性质。

推理和复句、句群。

推理的种类。

推理的正确性和逻辑性。

性质判断直接推理。

演绎推理的性质。

直接推理的性质。

性质判断直接推理的性质。

性质判断直接推理的种类。

性质判断对当关系的直接推理的性质。

性质判断对当关系的直接推理的四种类型：根据性质判断矛盾关系的直接推理，共有八种有效的逻辑形式：SAP→ ；→SOP；SOP→ ；→SAP;EP→ ；→SIP；SIP→ ；→SEP。

根据性质判断反对关系的直接推理，共有两种有效的逻辑形式：SAP→ ；SEP→ 。

根据性质判断下反对关系的直接推理，共有两种有效的逻辑形式：→SOP；→SIP。

根据性质判断差等关系的直接推理，共有四种有效的逻辑形式。

SAP→SIP；→ ；SEP→SOP；→ 。

性质判断变形的直接推理的性质。

性质判断变形的直接推理的三种类型：换质法推理、换位法推理、换质位和换位质连续交替法推理。

换质法推理的性质。

换质法推理的推理规则。

换质法推理共有四种有效的逻辑形式：SAP→SE ；SEP→SA ；SIP→SO ；SOP→SI 。

换位法推理的性质。

换位法推理的推理规则。

换位法推理共有三种有效的逻辑形式：SAP→PIS （叫"复杂"或"变量"换位）；SEP→PES （叫"简单"或"等量"换位）；SIP→PIS （叫"简单"或"等量"换位）。

注意：O判断不能换位。

换质位和换位质连续交替法推理的性质。

换质位和换位质连续交替法推理共有七种有效的逻辑形式。

第四章简单判断及其演绎推理（二）性质判断间接推理--三段论。

三段论的性质。

三段论的组成部分。

三段论的公理。

三段论的一般规则。

三段论的一般规则是任何一个三段论合乎逻辑即形式有效的充分必要条件。

因此，是否遵守三段论的一般规则，是判定一个三段论是否有逻辑性的标准。

三段论的格和式。

三段论各格的特殊规则。

三段论各格均有其特殊规则。

这些特殊规则是从各格的有效式中概括出来的，它们都受三段论一般规则的制约，是保证各格的三段论合乎逻辑即形式有效的必要条件。

三段论的语言表达形式。

省略三段论。

省略三段论的三种形式。

恢复省略三段论的步骤。

关系判断及其推理。

关系判断的性质。

关系的逻辑性质。

关系判断的种类。

关系判断的推理。

第五章复合判断及其演绎推理（一）联言判断及其推理。

联言判断的性质。

联言判断的组成部分。

联言判断的逻辑形式：P并且q。

联言判断的真值。

联言判断的真假与联言肢的真假之间的关系可用真值表表示：联言推理。

联言推理的性质。

联言推理的种类。

联言推理分解式的性质。

联言推理分解式的逻辑形式：p并且q；所以，P（或q）。

联言推理合成式的性质。

联言推理合成式的逻辑形式：P，q ；所以，p并且q。

选言判断及其推理。

选言判断的性质。

选言判断的组成部分。

选言判断的种类。

相容选言判断的性质。

相容选言判断的逻辑形式：P或者q。

相容选言判断的真值。

相容选言判断的真假与选言肢的真假之间的关系可用真值表表示：不相容选言判断的性质。

不相容选言判断的逻辑形式：P要么q。

不相容选言判断的真值。

不相容选言判断的真假与选言肢的真假之间的关系可用真值表表示：选言判断的语言表达。

关于选言判断的选言肢应当穷尽的问题。

选言推理。

选言推理的性质。

选言推理的种类。

相容选言推理的性质。

相容选言推理的规则。

相容选言推理只有否定肯定式一种有效式，其逻辑形式是：或者p，或者q，非p（或非q）；所以，q（或非p）。

不相容选言推理的性质。

不相容选言推理的规则。

不相容选言推理共有两种有效式，即否定肯定式和肯定否定式。

否定肯定式的逻辑形式是：要么p，要么q，非p（或非q）；所以，q（或p）。

肯定否定式的逻辑形式是：要么p，要么q，p（或q）；所以，非q（或非p）。

假言判断。

假言判断的性质。

假言判断的组成部分。

假言判断的种类。

充分条件假言判断的性质。

充分条件假言判断的逻辑形式：如果P，那么q。

充分条件假言判断的真值。

充分条件假言判断的真假与其前、后件真假之间的关系可用真值表表示：必要条件假言判断的性质。

必要条件假言判断的逻辑形式：只有P，才q。

必要条件假言判断的真值。

必要条件假言判断的真假与其前、后件真假之间的关系可用真值表表示：充分必要条件假言判断的性质。

充分必要条件假言判断的逻辑形式：当且仅当P，则q。

充分必要条件假言判断的真值。

充分必要条件假言判断的真假与其前、后件真假之间的关系可用真值表表示：假言判断的语言表达。

假言推理。

假言推理的性质。

假言推理有五种形式，即：假言直接推理、假言三段论推理、假言联言推理、假言选言推理和假言连锁推理等。

除第一种外，其它四种均为假言间接推理。

假言直接推理。

假言直接推理的性质。

假言直接推理的种类。

假言易位推理。

假言易位推理的性质。

假言易位推理的规则。

假言易位推理的逻辑形式是：如果P，那么q；所以，只有q，才P。

或：只有P，才q；所以，如果q，那么P。

假言换质推理。

假言换质推理的性质。

假言换质推理的规则。

假言换质推理的逻辑形式是：如果P，那么q；所以，只有非P，才非q。

或：只有P，才q；所以，如果非P，那么非q。

假言易位换质推理。

假言易位换质推理的种类。

假言易位换质推理的性质。

假言易位换质推理的规则。

假言易位换质推理的逻辑形式是：如果P，那么q；所以，如果非q，那么非P。

或：只有P，才q；所以，只有非q，才非P。

第六章复合判断及其演绎推理（二）假言三段论推理。

假言三段论推理的性质。

假言三段论推理的种类。

充分条件假言三段论推理。

充分条件假言三段论推理的性质。

充分条件假言三段论推理的规则。

充分条件假言三段论推理有两种有效形式：肯定前件式和否定后件式。

肯定前件式的逻辑形式是：如果P，那么q，P；所以，q。

否定后件式的逻辑形式是：如果P，那么q，非q；所以，非P。

必要条件假言三段论推理。

必要条件假言三段论推理的性质。

必要条件假言三段论推理的规则。

必要条件假言三段论推理有两种有效形式：肯定后件式和否定前件式。

肯定后件式的逻辑形式是：只有P，才q，q；所以，P。

否定前件式的逻辑形式是：只有P，才q，非P；所以，非q。

充分必要条件假言三段论推理。

充分必要条件假言三段论推理的性质。

充分必要条件假言三段论推理的规则。

充分必要条件假言三段论推理有四种有效形式。

假言联言推理。

假言联言推理的性质。

假言联言推理的规则。

假言联言推理有四种有效形式。

即简单构成式、简单破坏式、复杂构成式、复杂破坏式。

假言选言推理（即二难推理）。

假言选言推理的性质。

假言选言推理的规则。

假言选言推理有四种有效形式。

即简单构成式、简单破坏式、复杂构成式、复杂破坏式。

假言连锁推理（又称"纯粹假言推理"）。

假言连锁推理的性质。

假言连锁推理的种类。

充分条件假言连锁推理有两种有效形式。

必要条件假言连锁推理有两种有效形式。

负判断及其等值推理。

负判断。

负判断的性质。

负判断的组成部分。

负判断的真值。

负判断的真假与其肢判断的真假之间的关系可用真值表表示：负判断的类型及其等值推理。

根据负判断否定的是简单判断还是复合判断，负判断可分为简单判断的负判断和复合判断的负判断两类。

在简单判断的负判断中，主要有负性质判断；在复合判断的负判断中，主要有负联言判断、负选言判断和负假言判断。

本教材只介绍上述几种主要的负判断及其等值推理。

负性质判断的性质。

负性质判断的等值判断。

负性质判断及其等值推理。

负性质判断的种类。

负全称肯定判断的性质。

负全称肯定判断的等值判断。

负全称肯定判断及其等值推理的逻辑形式是：←→SOP。

负全称否定判断的性质。

负全称否定判断的等值判断。

负全称否定判断及其等值推理的逻辑形式是：←→SIP。

负特称肯定判断的性质。

负特称肯定判断的等值判断。

负特称肯定判断及其等值推理的逻辑形式是：←→SEP。

负特称否定判断的性质。

负特称否定判断的等值判断。

负特称否定判断及其等值推理的逻辑形式是：←→SAP。

负复合判断及其等值推理。

负复合判断的性质。

负复合判断的种类。

负联言判断的性质。

负联言判断的等值判断。

负联言判断及其等值推理的逻辑形式是：并非（p并且q）←→ 非p或非q。

负选言判断及其等值推理。

负选言判断的种类。

负相容选言判断的性质。

负相容选言判断的等值判断。

负相容选言判断及其等值推理的逻辑形式是：并非（p或q）←→非p并且非q。