直言命题与对当关系
直言命题的结构·基本概念与定义
直言命题由主项、谓项、联项和量项四个部分组成。
按经典形式逻辑体系组织:传统形式逻辑导论、概念与词项、定义与划分、直言命题与对当关系、三段论格与式、复合命题演绎推理、归纳与类比、论证与反驳、谬误与悖论、模态逻辑与思维方法。术语与判定规则均采用经典教材表述,每门配 3 道测验题。
秦二世时,赵高牵着一头鹿走上大殿,对皇帝说:这是一匹马。皇帝笑了:丞相弄错了吧,这明明是鹿。赵高便回头问满朝大臣,有人低头不答,有人跟着说是马,也有几个人硬着头皮说是鹿,殿上吵成一片。其实那只动物只可能有一个真身份:说「这是鹿」和说「这不是鹿」,是必有一真、必有一假的一对;而说「是鹿」和说「是马」却可以同时为假——万一那本是一头驴呢。分清这两种关系,正是直言命题与对当关系要教的事。
思维形式与四条基本规律,以及「形式有效」与「内容真实」的根本区别。
概念的内涵与外延、词项间的五种关系,以及定义与划分的经典规则。
A、E、I、O 四种直言命题的结构、周延性,以及对当关系逻辑方阵。
三段论的结构、四个格与式、一般规则,以及规则法与文恩图两条判定路径。
联言、选言、假言与负命题的真值条件,以及假言推理、选言推理与二难推理。
完全归纳与不完全归纳、穆勒五法、类比推理,以及归纳的局限。
论证三要素、直接与间接论证、反驳的三条路径,以及图尔敏模型。
形式谬误与非形式谬误的分类,以及说谎者、罗素等经典悖论。
模态命题与可能世界语义学,以及辩证思维、系统思维和逆向思维。