出处：按学科分类—哲学、宗教 广东人民出版社《哲学辞典》第44页（239字）
(希腊语为meta——之后，在……之后，logos——词、概念、推理) 一种研究现代形式逻辑的系统和概念(参见元理论)的理论。
它研究论据、概念的可定性、形式化语言中的真理、解释、涵义等等理论问题。元逻辑分为逻辑语法和逻辑语义学两个部分。元逻辑的发展是与造成和研究形式化语言的特点相关联的。元逻辑领域中的主要着作是由弗雷格、波兰逻辑学家中的里沃夫——华沙学派的代表人物、希尔伯特、哥德尔、А．丘吉、卡尔纳普、ДЖ．凯门等人撰写的。