元逻辑
概述
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑演算的语法和语义。形式化的逻辑系统一旦建立，逻辑学家对运用各项规则在系统内部推演定理，就不再有主要的兴趣，他们转而关心这些系统本身的特征，从而进入元逻辑的研究。元逻辑与逻辑的区分在于对象的不同，逻辑是刻画人们实际的思维过程，元逻辑则探究逻辑本身的特征，其关键在于，逻辑必须形式化。
2 扩展释义
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑演算的语法和语义。形式化的逻辑系统一旦建立，逻辑学家对运用各项规则在系统内部推演定理，就不再有主要的兴趣，他们转而关心这些系统本身的特征，从而进入元逻辑的研究。元逻辑与逻辑的区分在于对象的不同，逻辑是刻画人们实际的思维过程，元逻辑则探究逻辑本身的特征，其关键在于，逻辑必须形式化。
9 词语组词
相关词条
本词条最后更新于 2026-07-12 12:44:35
友情链接
抓书网
短词网
书号查询
星云网
字谈字畅 字体排印播客是什么意思？
中国期刊方阵期刊是什么意思？
长春天气预报30天是什么意思？
厚德学派是什么意思？
刘小娜是什么意思？专家解读 权威解读「刘小娜」的含义、读音与用法，一文读懂词语内涵。 liú xiǎo nà 2026-06-30 15:41:16
幼儿园春季学期教育教学工作计划是什么意思？
查看新疆天气-菏泽天气预报 查看新疆天气 新疆是什么意思？
批量去除文本行右边空格 文本数字是什么意思？
本溪天气预报30天是什么意思？
ico远程获取 远程实时获取并显示网站的Favicon.ico文件，美化网站外链显示效果是什么意思？
恒心的励志句子是什么意思？
急诊护理实习周记(汇编19篇)是什么意思？
浓香型白酒的传统酿造工艺有哪些是什么意思？
矛部首的字是什么意思？
处女座今曰运势是什么意思？
漂是什么意思？