逻辑中的元级概念

语言和思维的主要作用是将主观规定的性质归于事物,然后断言之。对语言和思维的这一研究构成了元语言的基础。属性本身亦是一类事物,故也可以把元语言看作是对象语言。这个事实具有重要的影响,并成为逻辑和 AI 领域内许多研究的基础。本文将综述这方面工作。