元逻辑

---

(希腊语为meta——之后，在……之后，logos——词、概念、推理) 一种研究现代形式逻辑的系统和概念(参见元理论)的理论。

它研究论据、概念的可定性、形式化语言中的真理、解释、涵义等等理论问题。元逻辑分为逻辑语法和逻辑语义学两个部分。元逻辑的发展是与造成和研究形式化语言的特点相关联的。元逻辑领域中的主要著作是由弗雷格、波兰逻辑学家中的里沃夫——华沙学派的代表人物、希尔伯特、哥德尔、А．丘吉、卡尔纳普、ДЖ．凯门等人撰写的。