请问「元逻辑」是什么意思?
2026-07-10 22:34:05
「元逻辑」读音
拼音 yuán luó jí,注音 ㄩㄢˊ ㄌㄨㄛˊ ㄐㄧˊ
| 拼音字母 | yuan luo ji |
|---|---|
| 拼音首字母 | ylj |
| 注音符号 | ㄩㄢ ㄌㄨㄛ ㄐㄧ |
| 注音首符号 | ㄩㄌㄐ |
「元逻辑」释义
扩展释义 元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑演算的语法和语义。形式化的逻辑系统一旦建立,逻辑学家对运用各项规则在系统内部推演定理,就不再有主要的兴趣,他们转而关心这些系统本身的特征,从而进入元逻辑的研究。元逻辑与逻辑的区分在于对象的不同,逻辑是刻画人们实际的思维过程,元逻辑则探究逻辑本身的特征,其关键在于,逻辑必须形式化。
推荐