逻辑中的元级概念
作者机构:北京航空航天大学
出 版 物:《计算机科学》 (Computer Science)
年 卷 期:1992年第19卷第5期
页 面:8-13页
核心收录:
学科分类:12[管理学] 1201[管理学-管理科学与工程(可授管理学、工学学位)] 081104[工学-模式识别与智能系统] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术(可授工学、理学学位)]
摘 要:语言和思维的主要作用是将主观规定的性质归于事物,然后断言之。对语言和思维的这一研究构成了元语言的基础。属性本身亦是一类事物,故也可以把元语言看作是对象语言。这个事实具有重要的影响,并成为逻辑和 AI 领域内许多研究的基础。本文将综述这方面工作。