元逻辑学,以形式化的逻辑系统为研究对象的一门逻辑学科。主要研究形式语言、形式系统和逻辑演算的语法、语义及二者关系。