论文部分内容阅读
性质语意逻辑研究自然语言的交际性下的推理问题,即语言交际者的命题态度,主观意向下的主观态度,即是研究性质语意命题的真假判断,研究语意指向下的语义指向的真假判断,该真假判断是显前提的语义关系形式、隐前提的语义关系形式与语义指向的语义关系形式,以及它们之间的语义指向关系的形式比较判断,根据此判断1可保证语义有意义的句子进行求解:2可判断句子对话中无用的废话:这样可为计算机建立一个语义判断的逻辑真值。