词项逻辑主要包括：1，直言命题。2，直接推理。3，三段论的定义、格与式；三段论的一般规则和特殊规则；三段论的还原与公理化；三段论的非标准形式。4，直言命题的存在含义问题。5，欧拉图、文恩图与三段论有效性的判定。

谓词逻辑的主要内容：1，个体词；一元谓词和关系谓词、原子公式；量词和量化公式；自然语言中性质命题和关系命题的符号化。2，模型和赋值；普遍有效式，不可满足式和偶真式。3，普遍有效式的判定问题：树形图方法；证明非普遍有效性的方法。4，谓词逻辑的自然推理：Qᴺ推演规则；Qᴺ有前提推演；Qᴺ定理及其证明。

归纳逻辑主要内容：1。简单枚举法；完全归纳法；科学归纳法。2，排除归纳法：因果关系的特点；求同法；求异法；求同求异并用法；共变法；剩余法。3，类比推理和假说演绎法。4，归纳方法合理性，休谟问题及其回答。

非形式逻辑主要内容：1，定义理论。2，论证理论：论证的识别；论证的评价；论证的建构。3，谬误理论：形式谬误；非形式谬误。（批判性思维）