元邏輯
元

元邏輯　　　yuán luó jí

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