问问题描述
什么是形式逻辑和数理逻辑希望能解答下
答精选答案
形式逻辑以思维形式及其规律和简单的逻辑方法为对象，虽然使用少量人工语言,但主要使用自然语言。
(日常语言) 。 形式逻辑是一般思维工具,比较一般化，只属于逻辑学。数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。
本文来自作者[儒商岛]投稿，不代表公众科技网立场，如若转载，请注明出处：https://www.cpst.net.cn/zhuanyexuanze/202609/1076760.html
评论列表（4条）
我是公众科技网的签约作者“儒商岛”！
希望本篇文章《什么是形式逻辑和数理逻辑》能对你有所帮助！
本站[公众科技网]内容主要涵盖：教育咨询,知识百科
本文概览：形式逻辑以思维形式及其规律和简单的逻辑方法为对象，虽然使用少量人工语言,但主要使用自然语言。(日常语言) 。 形式逻辑是一般思维工具,比较一般化，只属于逻辑学。数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。