前言

为强迫自己学一些课外知识，扩展自己的知识面，在 bilibili 上找到了【清华大学】逻辑学概论（全·配字幕）这门课，并写下抄书笔记。

正文

逻辑和逻辑学

逻辑学：以推理形式为主要研究对象的学科。

推理和推理形式

推理形式：推理的结构——同类的不同具体推理具有共同的结构，即推理形式。

有效推理形式

逻辑学研究的是哪些推理形式是有效推理形式。

有效推理形式：真前提通过有效推理形式只能得到真结论。即：通过有效推理形式，从真前提不会得到假结论。

逻辑学的特点

• 抽象性——数理逻辑的公理系统中：符号只是符号本身，具有非常高的抽象性。
• 应用性
• 工具性

逻辑学的基本准则

• 同一律—— A 是 A，跑题就是违背同一律
• （不）矛盾律—— A 不是非 A，A 和 A 的否定不能同时成立
• 排中律—— A 或 A 的否定必有一真