论文部分内容阅读
尽管自然语言没有形式语言那样严格，在某些情况下甚至会造成歧义，但日常生活中，我们不可能放弃自然语言而采取形式语言作为人际交流的媒介。事实上，形式语义学的研究表明，自然语言本身也存在着多种值得研究的形式结构。自然语言有很多吸引人的特点，例如其中不含形式语言中那样的变元，并且为有效交际的工具，用于日常推理的自然语言可以被看做是可判定的。