应用程序的逻辑

第二个主要应用的一部分逻辑担忧逻辑和逻辑方法的使用在不同领域外部逻辑本身。最通用的应用程序语言的研究。逻辑也被应用于知识的学习,规范,和时间。

语言的研究

20世纪下半叶,目睹了一个密集的互动逻辑语言学在研究语法和研究语义。在语法最重要的发展是理论的兴起生成语法由美国语言学家诺姆·乔姆斯基。这种发展密切相关的理论递归函数,或可计算性,因为生成方法的基本思想是自然语言的句子结构良好的递归可枚举的。

想法从逻辑语义扩展到语言语义在1960年代由美国逻辑学家理查德·蒙塔古。一个一般反射的影响逻辑语义研究语言语义逻辑的象征意义是现在普遍认为适当的自然语言句子的语义表示的框架。

许多这些发展的简单应用程序的熟悉自然语言逻辑技术。在其他情况下,逻辑技术问题的目的是专门为开发应用语言学理论。有限的理论自动机例如,最初是为了开发建立哪种语法可能是由哪种自动机。

在发展的早期阶段数理逻辑正式的逻辑语言通常被视为一种仅仅“纯化”或管制版本的自然语言。最重要的净化应该已经消除模棱两可。慢慢地,然而,这一观点被意识到逻辑象征意义和普通话语运作方式在几个方面都有所不同。逻辑语言被认为是有益的自然语言比较的对象,而不是替代的自然语言的目的知识企业,通常是科学。的确,逻辑语言和自然语言之间的翻译的任务被证明是比预期的更困难。因此,任何讨论的逻辑语言和语言学的应用将会在第一时间处理逻辑概念的方式之间的差异出现在逻辑符号和它们的方式体现在自然语言。

自然语言之间最显著的差异之一和最常见的符号语言的逻辑在于动词的治疗。在定量的语言最初创建的Gottlob弗雷格,朱塞佩皮亚诺,伯特兰·罗素和其他人不同的以不同的方式使用这些动词表示。根据这个公认的想法,英语单词是用模棱两可的,因为它可以表达的是身份,是预测,是存在的,或者是类夹杂物,像下面的例子:

雅芳是主安东尼•艾登。泰山是金发。有吸血鬼。鲸鱼是一种哺乳动物。

这些据称可以用逻辑符号,表示不同的含义使用认证标志=,物质条件象征⊃(“如果…那么”)存在主义和通用量词(∃x)(“有一个x这样…”)和(∀x)(“x…”),和适当的名称和谓词,如下所示:

= e,或“主雅芳安东尼•艾登。“B (t),或“泰山是金发。”(∃x)(V (x)),或“有一个x这样x是一个吸血鬼。”(∀x)(W (x)⊃M (x)),或“x,如果x是一条鲸鱼,然后x是哺乳动物。”

当早期从自然语言符号逻辑学家谈到消除歧义,主要的例子他们所想要的是这个所谓模棱两可,这被称为Frege-Russell歧义。不过不清楚,歧义是真实的。这是不清楚的,换句话说,一个人必须属性的使用之间的差异以上模棱两可而非差异上下文这个词出现在不同的场合。事实上,显式语义英语量词可以开发的不是模棱两可的。

逻辑形式是另一个逻辑或哲学概念应用于语言学的20世纪下半叶。在大多数情况下,逻辑形式被认为是相同或密切相似的公式一阶逻辑(逻辑系统的量词(∃x)和(∀x)申请,或者“范围”,个体而不是集,函数,或其他实体)。在以后的工作中,乔姆斯基没有采用概念逻辑形式本身,尽管他使用一个名为六的概念术语显然被选建议“形式逻辑”——一个名称为一定程度的语法表示,在自然语言句子的解释中起着至关重要的作用。最初,分析了句子的低频,乔姆斯基的话说,“的标准自然语言的逻辑分析。“不过,事实证明,并不是唯一可能的一个标准的分析。

标准分析的一个重要组成部分的概念范围。在普通的一阶逻辑,这样的量词(∃的范围x)段的一个公式变量绑定到量词。表达的范围是由一对括号,量词,如(∃x)(-)。不同量词的范围被认为是嵌套的,在这个意义上,他们不能只重叠部分:其中一个是包含在其他,或者他们根本不重叠。这一概念的范围,称为“绑定范围”,是一种最无处不在的在现代语言学思想,分析一个句子的范围通常由一个等价替换的关系分析的标签树。

然而在数理逻辑,范围有另一个函数。他们还表示不同的逻辑术语的相对优先级逻辑;这个概念因此被称为“优先级范围。“因此,在句子

(∀x)((∃y)(xy))

可以用英语表达吗

每个人都喜欢一个人

存在量词在全称量词的范围和依赖于它。相比之下,在

(∃y)((∀x)(xy))

可以用英语表达吗

有人爱着每一个人

存在量词并不依赖于通用的。因此,这句话断言存在的一个普遍的心爱的人。

当涉及到自然语言,然而,并没有有效的理由认为逻辑范围的两个函数必须始终在一起。事实上可以构建一个显式的逻辑范围的两种相互区别。因此,优先级排序范围可以表示为[]和绑定范围由()。的区别可以用于所谓的“驴的句子,“这几个世纪以来一直困惑的语言学家。他们以这样的句子

如果彼得拥有一头驴,他打败了它

力是一样的吗

(∀x)((x是一个驴&彼得拥有吗x)⊃彼得跳动x)

这样的句子是令人困惑,因为量词的英文句子是词不定文章一个已存在的力量quantifier-hence的拼图,全称量词的来源。这个谜题被意识到的逻辑形式解决句子实际上是驴

(∃x)((x是一个驴&彼得拥有吗x])⊃彼得节拍x)

同样没有一般理论原因应该表示逻辑优先的分割句子括号和不是,例如,通过一个词项。例如,在英语全称量词任何有逻辑优先条件,一个句子的逻辑形式,如“我将感到惊讶如果有人对象”:

(∀x)((x是一个人&x对象)⊃我将感到惊讶)

此外,有可能两个自然语言量词重叠的范围只是部分。例子中发现所谓的分支量词在所谓的Bach-Peters句子和句子,例证通过以下:

一个男孩骗她吻了一个爱他的女孩。