以形式化的逻辑系统为研究对象的理论。采取公理化的方法，研究形式语言、形式系统和逻辑演算的语法和语义。*塔尔斯基认为“元逻辑”大致即“关于逻辑的科学”或即“演绎科学的逻辑语法与语义学”。西方逻辑学著作中以“元”(meta-)为前缀词头的术语颇多，如“元定理”、“元语言”、“元演算”等。