逻辑矛盾指的是形式逻辑,
1. 三段论逻辑是形式逻辑最早的分支,它研究的是A、E、I、O 4种形式的命题。20世纪以来已为它设计出多种公理基础。
2. 模态逻辑是用来表达包含模态概念(“必然”、“可能”、“不可能”、“偶然”、“严格蕴涵”等)的那些法则的逻辑。构造这种逻辑的最直截了当的方法,是向某些标准的非模态系统中加进表示模态概念的新的初始算子。现已构造出大量的模态逻辑系统。模态逻辑中有效性的定义大多用到“可能世界”概念。
3. 集合论是一种关于类的逻辑。它可以通过向某种形式的LPC中加进各种特殊的公理而被推导出来。集合论对于数学基础有重要意义。
4. 关于数学的逻辑基础,有可能不依靠集合论而以一种逻辑系统的形式来建立算术。现在已经有了自然数算术的一个很适宜的公理系统。但是自然数算术却既不是可判定的,又不是可完备地公理化的。
5. 广义地说,应用逻辑就是把逻辑原理应用于检验实际推理的有效性。为此有必要列举各种形式的常见的非有效的推理(逻辑谬误)。专门意义上的应用逻辑是指这样的逻辑系统,它把某个相对局限的思想或议论领域中的可靠的推理形式系统化。这类系统包括∶
(1)道义逻辑(讨论“务须”、“允许”之类的道德概念);
(2)相对价值逻辑(讨论“较优于”);
(3)认知逻辑(知道逻辑和相信逻辑);
(4)时间关系逻辑(讨论“现在”、“将来”、“过去”、“永远”等);(5)关于不能用蕴涵关系来分析的条件命题(如因果命题和反事实条件命题)的形式逻辑;
(6)关于人们议论中各种非命题因素(如问题、命令、告诫、意向表示等)的形式逻辑。
这些```理论性的知识了``大家慢慢吸收啊~```下课`
1. 三段论逻辑是形式逻辑最早的分支,它研究的是A、E、I、O 4种形式的命题。20世纪以来已为它设计出多种公理基础。
2. 模态逻辑是用来表达包含模态概念(“必然”、“可能”、“不可能”、“偶然”、“严格蕴涵”等)的那些法则的逻辑。构造这种逻辑的最直截了当的方法,是向某些标准的非模态系统中加进表示模态概念的新的初始算子。现已构造出大量的模态逻辑系统。模态逻辑中有效性的定义大多用到“可能世界”概念。
3. 集合论是一种关于类的逻辑。它可以通过向某种形式的LPC中加进各种特殊的公理而被推导出来。集合论对于数学基础有重要意义。
4. 关于数学的逻辑基础,有可能不依靠集合论而以一种逻辑系统的形式来建立算术。现在已经有了自然数算术的一个很适宜的公理系统。但是自然数算术却既不是可判定的,又不是可完备地公理化的。
5. 广义地说,应用逻辑就是把逻辑原理应用于检验实际推理的有效性。为此有必要列举各种形式的常见的非有效的推理(逻辑谬误)。专门意义上的应用逻辑是指这样的逻辑系统,它把某个相对局限的思想或议论领域中的可靠的推理形式系统化。这类系统包括∶
(1)道义逻辑(讨论“务须”、“允许”之类的道德概念);
(2)相对价值逻辑(讨论“较优于”);
(3)认知逻辑(知道逻辑和相信逻辑);
(4)时间关系逻辑(讨论“现在”、“将来”、“过去”、“永远”等);(5)关于不能用蕴涵关系来分析的条件命题(如因果命题和反事实条件命题)的形式逻辑;
(6)关于人们议论中各种非命题因素(如问题、命令、告诫、意向表示等)的形式逻辑。
这些```理论性的知识了``大家慢慢吸收啊~```下课`