弄清查询(nqcx.com) - 免费实用便民查询工具大全网
功能直达
元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑演算的语法和语义。形式化的逻辑系统一旦建立，逻辑学家对运用各项规则在系统内部推演定理，就不再有主要的兴趣，他们转而关心这些系统本身的特征，从而进入元逻辑的研究。元逻辑与逻辑的区分在于对象的不同，逻辑是刻画人们实际的思维过程，元逻辑则探究逻辑本身的特征，其关键在于，逻辑必须形式化。
【元的意思】：元 yuán（ㄩㄢˊ） （一）、头、首、始、大：元凶。元首。元旦。元年。元勋。元帅。状元（科举考试第 详情>
【逻的意思】：逻（邏） luó（ㄌㄨㄛˊ） （一）、巡察：巡逻。逻吏（巡逻官）。逻骑。逻卒。（二）、遮拦：“蛛蝥结 详情>
【辑的意思】：辑（輯） jí（ㄐ一ˊ） （一）、聚集，特指聚集材料编书：辑录。辑要。辑逸。编辑。纂辑。（二）、聚集 详情>
