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