构造逻辑演算的人工表意符号语言。在研究和讨论逻辑演算时,这种语言也是研究和讨论的对象。由于对象语言是一种人工表意符号语言,具有严格、精确的特点。在研究和证明逻辑演算的某些性质和规律时,往往要用到语言的一些性质和结构规律。因此首先要对语言进行研究。