逻辑学：属于思维科学。思维科学揭示思维的本质和规律。
不变成分，决定逻辑内容
可变成分，决定逻辑内容
思维形式结构的规律性：
① 任意代入皆真——逻辑规律 ② 任意代入皆假——逻辑矛盾 ③ 不确定真假
逻辑学的主题：判断推理的有效性
逻辑学的作用：有助于辨别与战胜各种谬误和诡辩，有助于正确地认识和有效地交际。
第二章 概念
*对象的属性 是对象的 和的统称。
本质属性/偶有属性/固有属性
“用于交换的劳动产品” “物美价廉” “劳动产品”
概念：是反映对象的本质属性的思维形式
相容
不相容
被定义的概念=（邻近）属概念
+ 种差
关系
全同 属种 交叉 矛盾(外延之和=论域) 对立（外延之和<论域） 定义
*定义规则：P17
三要素
规则
*划分和分解 用“B ”是否是“A ”的方式验证。 A A B B C
“中学生”是“学生”（划分） “保山”不是“云南”（分解）
概括和限制
概括：扩外延，减内涵 “男人”——“人” *充分条件
限制：扩内涵，减外延 “动物”——“哺乳动物” *必要条件
判断：对某对象具有或不具有某种属性有所断定的思维形式。 *判断皆有真假
表达判断的语句被称为“命题” 原子命题：是不包含和自身不同命题的命题。 命题 “支命题” *它的真值由其之命题的真值惟一地确定。
划分
子项外延之和 = 母项 子项外延不相容 子项外同一层次 依照统一划分标准 母项 子项 划分标准 “矛盾”
联言命题 选言命题 假言命题 负命题
联言
是对几种事物情况同时都加以断定的复合命题。
“p ∧q ” “全真才真，一假即假” 是断定在几种事物情况中至少有一种存在的复合命题。
相容选言：至少有一种，也可都存在
“p ∨q ”“全假才假，一真即真” 不相容选言：有且只有一种存在 “p ∨q ”“一真一假才真”
是断定事物之间条件关系的复合命题。
充分条件： “p → q ” “前真后假才假” 必要条件： “p ← q ” “前假后真才假”
充要条件： “p q ” “前后相同则真，不同则假
负命题：否定一个命题的命题
“p¬ q ” “原真非假，原假非真”
由n 个命题变项加以定义的是“n 元真值联结词”。 重言式 矛盾式 非重言可真式
等值于
推理：是由得出的思维过程
前提结论
*100%证据支持为“必然性推理”。/<100%证据支持为“或然性推理”
推理的有效性，不是就推理的内容和意义而言的，而是就推理的形式结构而言的。（*结论正确，也不一定有效）
命题推理有四种：
1.联言推理：前提或结论为联言命题，并依据联言命题的逻辑性质进行的推理。
2.选言推理：前提中有一个选言命题，并依据选言命题的逻辑性质进行的推理。
3.假言推理：前提中有一假言命题，并依据假言命题的逻辑性质进行的推理。
4.二难推理：是由两个假言命题和一个二支选言命题做前提构成的命题推理。
第四章词项逻辑——传统的逻辑原子学
1主项——所断定的对象
四要素 2谓项——所断定的的性质
3联项——所做的断定 “质”
4量项——主项外延被断定的情况 “量”
A ：全称肯定
种类 E: 全称否定
I ：特称肯定 O ：特称否定
*词项的周延性：在一个直言命题中，如果其主项（或谓项）的全部外延都被断定，就称该主项（或谓项）是周延的。
量决定主项是否周延，质决定谓项是否周延
*见下表
对当关系
同一素材的命题：即主、谓项相同的命题（逻辑变项相同的命题）
A 反对关系 E
逻辑方阵
I 下反对关系 O
从属关系
从属
关
系
矛 盾
盾 矛
反对：A 真则E 假，A 假E 不定 从属：（详见P82）
以上有四组关系
矛盾：真假情况相反
下反对：I 假O 真，I 真O 不定
第三节 命题变形直接推理
直接推理：是由三个直言命题构成的推理形式 1.换质法：换联项
2.换位法：换主谓项 *注意周延
3.质位混换法
第四节 直言三段论
1包含且只包含三个不同词项
2每此项出现两次
3两名提为前提，一命题为结论
规 则
格 与 式
四种：
256式
① 中项在前提中至少周延一次
② 前提中不周延的项，在结论中也不周延 ③ 两个否定前提不能得出任何结论轮
④ 两前提中有一个是否定的，结论必是否定的 ⑤ 若结论是否定的，前提之一必是否定的 ⑥ *两个特称前提无结论
⑦
*量前提中有一个是特称，结论也是特称
三段论的省略式：是省略一个前提或结论的三段论
第七章模态逻辑
第一节概述
“modal”，“形态，样式”。指客观事物或人们认识的存在和发展的样式、情状、趋势等。
分类：客观模态：客观事物本身的存在样式、情状和趋势等。
主观模态：指人的认识中的确定性或不确定性。
逻辑模态：指逻辑上的必然性和可能性。
非逻辑模态：指逻辑模态之外的模态，物理模态、生物模态、哲学模态等等
狭义模态：（真性模态）是关于必然性与可能性等这类性质的模态
广义模态：包括关于应该、允许、禁止等的道义模态，以及关于知道、相信
等的认知模态等。
第二节模态命题及其推理
必肯□P
必否□¬ P □P 反对□¬ P 可肯◇P
可否◇¬ P 从属矛盾矛盾从属
◇P 下反对◇¬ P
