全站数据
8 4 2 0 5 8 1

什么是形式逻辑和数理逻辑

拿铁工程师 | 教育先行,筑梦人生!         
问题更新日期:2024-06-12 06:06:49

问题描述

什么是形式逻辑和数理逻辑,麻烦给回复
精选答案
最佳答案

形式逻辑以思维形式及其规律和简单的逻辑方法为对象,虽然使用少量人工语言,但主要使用自然语言。(日常语言) 。 形式逻辑是一般思维工具,比较一般化,只属于逻辑学。

数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。