在对语言意义的形式转化为基础上逻辑学的研究构造了形式语言,并且它是进一步分析自然语言的工具。一度逻辑对于自然语言的分析的使用性遭到质疑,但是这直接导致了自然语言逻辑研究的兴起与发展。逻辑学与自然语言的关系请看下面的分析。
1. 作为工具的形式语言
在构造自然语言的过程中,如果要把只关注语句形式的演绎规则加以形式化,这个就不能再用自然语言为这些语句的构造来演绎规则公式,而必须构造一种翻译自然语言的形式语言。
一个语义的表现其实是用另一种语言来表达的,当我们把谓词逻辑中的公式看作英语或其他人类语言的表达式的语义来表现的时候,这些表现就是一种自己的语法和语义的逻辑,也就是谓词逻辑语言中的表达形式。
2. 谓词逻辑的局限性
在自然语言的研究中,引发出一些问题,就是由谓语逻辑所构成的形式语言来作为辅助语言分析的语义模式并不是很完善,我们在对自然语言中的某些区别在谓词逻辑中做出判断的时候,要进一步思考这些区别在语言具体意义上的相关性。
3. 自然语言逻辑研究
自然语言逻辑的研究也就是语言形式的研究,为一种自然语言建立逻辑,其目标是表达所有可以在自然语言中加以表达的概念,这说明可以利用自然语言做出有效的推理,然后在结合这些对语言进行适当的语言的描述。研究自然语言的逻辑,不仅是具有理论价值,而且具有使用的价值。