逻辑、语法及机器翻译

本文仅就逻辑、语法、机器翻译边缘上出现的一些新的问题谈点浅见。过去我们的逻辑书,都给逻辑下“思维规律”的定义,这是不够恰当的。用现代逻辑知识来看,逻辑是以命题逻辑和一阶谓词逻辑为核心,以集合论和自然数论为连络点,和全体的数学发生关系的演绎体系。也许有人要问,难道逻辑只研究演绎体系,就不研究归纳逻辑么?不研究。归纳逻辑的内容,早已被现代学科放到哲学和数学的概率中去处理了。逻辑和数学的性质相似,是研究形式真理的科学。由于人们对逻辑的特性认识不足,所以,过去的著作只谈逻辑的无阶级性和工具性,很少谈到它形式的特征,