跳转到内容

用户:Rowe Wilson Frederisk Holme/逻辑语/bridi的概念

维基教科书,自由的教学读本

这一章节给出了基本逻辑语语句结构的图表示例。首先介绍的是最具普遍性的语法模式。然后是逻辑语句子基本成分的连续变化。有很多的其他语法功能在这一章中并未出现,不过这些细节内容将会在之后的章节被提及。所以本章在一定意义上是对之后内容的快速浏览。不过它们在之后将会以较慢的速度介绍。当然在这些讨论语法的过程中也会顺带介绍大多数的逻辑语单字。

来让我们讨论一下约翰、山姆和他们之间的关系:

示例 2.1

John is the father of Sam
约翰是山姆的父亲。

示例 2.2

John hit Sam.
约翰打山姆。

示例 2.3

John is taller than Sam.
约翰比山姆高。

这些例子都描述了约翰和山姆之间的关系,然而,在英语中我们使用一个名词“father”去描述了约翰和山姆例子2.1中的静态关系,用动词“hit”去描述例子2.2中的行为关系,用形容词“高”去描述例子2.3中的归因关系。而在逻辑语中我们并没有这样的语法n。表述这里有三个用逻辑语表述的具有相同结构的句子,而这些关系是用相同的词性表示的。在形式逻辑上,这种整体结构被称为“述语(predicate)”,而在逻辑语中则被称“bridi”,而中心词的词性则是“selbri”,逻辑学将与之相关的部分称之为“论元(argument)”,在逻辑语中则是“sumit”。这些逻辑语述术语将在本书的其余部分继续使用。

[[File:]]

在关系中,有一定数量的事务是相关的。而在英语中例如“give”可以存在三种位置关系:给予者(donor)、接受者(recipient)和给予物(gift)。

例 2.4

{{}}

以及

例 2.5

{{}}

这两句由于“约翰”和“山姆”之间相对位置的变换而产生了不同。

例 2.6

{{}}

这一句只是因为论元的特殊位置而显得有些奇怪,而“give”一词所表达的关系并没有发生改变。