复合命题与演绎推理
联言命题及其真值·基本概念与定义
联言命题断定若干事物情况同时存在,形式为「p 并且 q」。
按经典形式逻辑体系组织:传统形式逻辑导论、概念与词项、定义与划分、直言命题与对当关系、三段论格与式、复合命题演绎推理、归纳与类比、论证与反驳、谬误与悖论、模态逻辑与思维方法。术语与判定规则均采用经典教材表述,每门配 3 道测验题。
晏子出使楚国。楚人不开大门,只在旁边开了一个小洞,让他钻进去。晏子站住不进,说:出使狗国的人,才从狗门进去;今天我出使的是楚国,不该走这个门。楚人只好开大门迎他。见到楚王,楚王又问:齐国没有人了吗,怎么派你来?晏子答:齐国派人出使有个规矩——贤能的人出使贤明的国君,不中用的人出使不中用的国君;我最不中用,所以被派到这儿来了。他每一句都是「如果……那么……」的假言推理,楚王一句也驳不倒。
思维形式与四条基本规律,以及「形式有效」与「内容真实」的根本区别。
概念的内涵与外延、词项间的五种关系,以及定义与划分的经典规则。
A、E、I、O 四种直言命题的结构、周延性,以及对当关系逻辑方阵。
三段论的结构、四个格与式、一般规则,以及规则法与文恩图两条判定路径。
联言、选言、假言与负命题的真值条件,以及假言推理、选言推理与二难推理。
完全归纳与不完全归纳、穆勒五法、类比推理,以及归纳的局限。
论证三要素、直接与间接论证、反驳的三条路径,以及图尔敏模型。
形式谬误与非形式谬误的分类,以及说谎者、罗素等经典悖论。
模态命题与可能世界语义学,以及辩证思维、系统思维和逆向思维。