元理论
(希腊语为meta——之后，在……之后，希腊语为theona——观察、考察、研究) 一种以其他某一理论为研究对象的理论。 元理论研究任何一种理论含有的原理和概念的系统；确定该理论的范围；确定引入新概念及证明其原理等方面的方法，使之能够用更合理的方法形成体系。元理论是用元语言(元语言和对象语言)来表述的。当前，逻辑学的元理论(元逻辑)和数学的元理论(元数学)最为发展，在它们的发展中，希尔伯特、哥德尔、С．克林等人的著作起了特殊的作用。 在建立非数学学科的元理论方面仅仅迈出了第一步。 研究科学理论形式化的条件、研究形式化语言的结构性质(逻辑语法)和语义性质(逻辑语义学)是元理论的中心课题。由于控制论和计算技术的发展，这种研究获得了特殊意义。 |