从什么角度划分,逻辑学分为数理逻辑与什么逻辑?

发布网友发布时间：2022-04-25 16:42

共3个回答

热心网友时间：2023-07-08 23:02

从总体来看，逻辑学可分为形式逻辑和辩证逻辑两大门类。
形式逻辑又分为传统形式逻辑和现代形式逻辑。传统形式逻辑主要包括演绎逻辑和归纳逻辑；
现代形式逻辑主要是指数理逻辑（又称符号逻辑）。
数理逻辑又有许多分支，如模态逻辑、规范逻辑、多值逻辑、优选逻辑、结构逻辑、程序设计逻辑等。

逻辑学分为形式逻辑（普通逻辑）、数理逻辑、哲学逻辑、模糊逻辑、非形式逻辑、辩证逻辑、制约逻辑等。

逻辑学研究的对象主要是思维的逻辑形式及其基本规律和简单的逻辑方法,教学内容主要包括引论、命题逻辑、词项逻辑、模态逻辑、归纳逻辑、逻辑基本规律和论证等。在“逻辑现代化”思想的指导下，我们对内容的取舍与安排，立足现代逻辑的高度处理传统逻辑内容，保留其精华，力求现代逻辑与传统逻辑的有机结合；注意密切联系思维和自然语言的实际与特点,按照认知规律和教学要求，力求做到先进性、科学性和适用性的有机统一，富有启发性，以期达到我们的教学目的。

热心网友时间：2023-07-08 23:03

命题逻辑，归纳逻辑等传统逻辑

热心网友时间：2023-07-08 23:03

逻辑经历了从传统逻辑到现代逻辑的发展。
传统逻辑包括概念逻辑、词项逻辑、古典命题逻辑、古典归纳逻辑。
现代逻辑即数理逻辑。包括：一阶逻辑、公理集合论、模型论、递归论和证明论。
详见《数理逻辑基础》中国人民大学出版社 2003年版