元理论

---

以某一理论或某类理论为研究对象的一种理论。

数学、逻辑学是作为元理论研究对象的最早一批学科。科学家们现在准备为物理学、化学、生物学、语言学等建立元理论。科学学、科学方法论和科学逻辑实质上都是元理论。元理论中分析的基点是把某种有内容的相应科学理论形式化。

形式化理论是在特殊语言即对象语言中表达出来的，而研究形式化理论的性质、构成规则、证明方法等的元理论则是以元语言建立起来的。元理论包括两方面：(1)语法方法，它研究形式化理论的结构；(2)语义方面，即分析它的语言的解释。

元理论在论证、完善和进一步发展相应的有内容的对象理论方面起著十分重要的作用。