元逻辑

元逻辑是以形式化的逻辑系统为研究对象的一门学科。主要研究形式语言、形式系统和逻辑演算的语法和语义。形式化的逻辑系统一旦建立，逻辑学家对运用各项规则在系统内部推演定理，就不再有主要的兴趣，他们转而关心这些系统本身的特征，从而进入元逻辑的研究。元逻辑与逻辑的区分在于对象的不同，逻辑是刻画人们实际的思维过程，元逻辑则探究逻辑本身的特征，其关键在于，逻辑必须形式化。