模态逻辑与思维方法
逆向思维从常规思路的反方向寻找方案,用以突破思维定势。
进阶
约 3 分钟
3 道测验
三段论:格与式
用七条一般规则和文恩图两条路径,快速判定一个三段论是否有效,并识别最常见的三类错误。
挑战
约 4 分钟
3 道测验
精编
传统形式逻辑导论
逻辑学以思维形式及其规律为研究对象,考察推理形式的有效性。
挑战
约 3 分钟
3 道测验
传统形式逻辑导论
任何思维形式都由逻辑常项与逻辑变项两部分构成。
挑战
约 3 分钟
3 道测验
传统形式逻辑导论
在同一思维过程中,每一概念或命题必须保持确定的内容,A 就是 A。
挑战
约 3 分钟
3 道测验
传统形式逻辑导论
两个互相矛盾的命题不能同时为真,其中必有一假。
挑战
约 3 分钟
3 道测验
传统形式逻辑导论
两个互相矛盾的命题必有一个为真,没有第三种可能。
挑战
约 3 分钟
3 道测验
传统形式逻辑导论
任何被断定为真的命题都必须有充足理由,且理由与结论之间有必然联系。
挑战
约 3 分钟
3 道测验
传统形式逻辑导论
形式有效指前提真时结论必然真;内容真实指命题与事实相符。二者是不同层面的评价。
挑战
约 3 分钟
3 道测验
传统形式逻辑导论
用人工符号把自然语言中的推理结构翻译出来,以便精确检验其有效性。
挑战
约 3 分钟
3 道测验
概念、词项与定义
内涵是概念所反映对象的特有属性,外延是概念所指对象的范围。
挑战
约 3 分钟
3 道测验
概念、词项与定义
按外延可分单独词项与普遍词项,按内涵可分集合词项与非集合词项。
挑战
约 3 分钟
3 道测验
概念、词项与定义
两个词项外延之间的关系有全同、真包含、真包含于、交叉、全异五种。
挑战
约 3 分钟
3 道测验
概念、词项与定义
定义由被定义项、定义项和定义联项构成,最常用的是属加种差法。
挑战
约 3 分钟
3 道测验
概念、词项与定义
定义必须遵守相称、不循环、不含糊、一般不用否定式等规则。
挑战
约 3 分钟
3 道测验
概念、词项与定义
划分是把一个属概念分成若干种概念,以明确其外延的逻辑方法。
挑战
约 3 分钟
3 道测验
概念、词项与定义
限制是增加内涵、缩小外延;概括是减少内涵、扩大外延。
挑战
约 3 分钟
3 道测验
概念、词项与定义
欧拉图用圆表示词项的外延,用圆的包含与相交关系直观呈现词项间的关系。
挑战
约 3 分钟
3 道测验