模态逻辑与思维方法
模态命题与模态词·基本概念与定义
含有「必然」「可能」等模态词的命题是模态命题。
按经典形式逻辑体系组织:传统形式逻辑导论、概念与词项、定义与划分、直言命题与对当关系、三段论格与式、复合命题演绎推理、归纳与类比、论证与反驳、谬误与悖论、模态逻辑与思维方法。术语与判定规则均采用经典教材表述,每门配 3 道测验题。
《淮南子》里记着边塞上的一位塞翁。一天他家的马跑丢了,邻居都来安慰,老翁却说:丢了一匹马,怎么就不能是一件好事呢?过了几个月,那匹马带回一匹胡人的骏马。邻居都来道贺,老翁又说:白得一匹好马,怎么就不能是一件坏事呢?他儿子爱骑马,果真摔断了腿。邻居来慰问,老翁还是那句话:这怎么就不能是一件好事呢?一年后胡人入侵,边塞的青壮年九死一生,他儿子却因腿伤留了下来。老翁不是会算命,他只是在提醒:眼下看着「一定好」「一定坏」的事,换个条件就未必。
思维形式与四条基本规律,以及「形式有效」与「内容真实」的根本区别。
概念的内涵与外延、词项间的五种关系,以及定义与划分的经典规则。
A、E、I、O 四种直言命题的结构、周延性,以及对当关系逻辑方阵。
三段论的结构、四个格与式、一般规则,以及规则法与文恩图两条判定路径。
联言、选言、假言与负命题的真值条件,以及假言推理、选言推理与二难推理。
完全归纳与不完全归纳、穆勒五法、类比推理,以及归纳的局限。
论证三要素、直接与间接论证、反驳的三条路径,以及图尔敏模型。
形式谬误与非形式谬误的分类,以及说谎者、罗素等经典悖论。
模态命题与可能世界语义学,以及辩证思维、系统思维和逆向思维。