跳至內容

用戶: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」一詞所表達的關係並沒有發生改變。