元邏輯
元

元邏輯　　　yuán luó jí

以形式化的邏輯系統(tǒng)為研究對(duì)象的理論。采取公理化的方法，研究形式語(yǔ)言、形式系統(tǒng)和邏輯演算的語(yǔ)法和語(yǔ)義。*塔爾斯基認(rèn)為“元邏輯”大致即“關(guān)于邏輯的科學(xué)”或即“演繹科學(xué)的邏輯語(yǔ)法與語(yǔ)義學(xué)”。西方邏輯學(xué)著作中以“元”(meta-)為前綴詞頭的術(shù)語(yǔ)頗多，如“元定理”、“元語(yǔ)言”、“元演算”等。