文章
986
10
作者
Dr. Kai Borrmann
古蘭經作為資料庫
凱·博爾曼（Kai Borrmann）博士
柏林
2022年12月15日
計算（Calculemus）
毫不令人吃驚的是，伊斯蘭研究在使用程式設計時主要是作為一種從古蘭經中「查找」某些經文的工具，這比使用書籍形式的目錄標記（indices）和用語索引（concordances）的早期方法有巨大的優勢。但使用電腦本身就是一種經注（tafs¯ır）：試圖重現古蘭經經文的邏輯結構，有助於我們從一開始評估我們對經文的理解程度。
動畫製作軟體（SWISH）在這件事情上提供了一個很好的工具，它是一個運行初構程式（PROLOG）【邏輯程式設計語言】的連線環境，它允許將代碼放到網上，然後可以通過提問來解決。當我們在提示符「?-」後面提出問題時，初構程式將回答「真」（true）或「假」（false）（或者，不太理想的情況下，回答各種錯誤消息）。乍聽起來這可能很無聊，但當我們的問題以及代碼開始變得更加複雜時，事實證明就不那麼無聊了。
定義非法（har¯am）
首先，我們可以為自己編寫一個由三個規則（rules）和兩個事實（facts）組成的簡單資料庫。【1】如果某行為（action）X是強制（命令）性的，那麼這種行為被稱為「主命」（fard）【法爾德，意為「天職」，舊譯「天命」】。如果不做行為X是強制（命令）性的，那麼這種行為就是「非法」（har¯am）【哈拉姆，意為禁止】。除了我們被強制命令不可以做行為X的時候，在除此之外的情況下，這種行為都是被允許的，則稱為「合法」（hal¯al）【哈拉，意為允許】：
1.主命（X）：-o（X）。2.非法（X）：-o（\+X）。3.合法（X）：-\+o（\+X）。4.o（禱告）。5.o（\+喝酒）。
顯然，禱告是「主命」，不是「非法」，而喝酒是「非法」，不是「合法」。那麼吸大麻是怎麼樣呢？由於資料庫沒有告訴我們任何有關不可以吸煙的強制命令，因此這種行為也是「合法」。更一般地說，只要鑒於資料庫中沒有給出任何相反的資訊，預設情況下我們都可以推斷任何行為是「合法」，因為根據定義，「合法」是指「沒有任何明確規定的禁止」。
「筆直的道路」【正道】
古蘭經第1章的最後幾行似乎暗示有兩類人：實質上是符合正確的人和走在破滅之路上的人，想必是指猶太人和基督徒。這一想法受到了文獻學者曼弗雷德·烏爾曼（Manfred Ullmann）的挑戰，他提出的問題是，「’an֒amta ֒alayhim」所指的是什麼：這樣的人或他們容易犯的行為？我們提議，虛詞「bi-˙gayri」表示某些適用於救贖道路之外的某些行為-而不是人：
古蘭經1：6：hdi-n¯a s. -s. ir¯at.a l-mustaq¯ıma求你引領我們正路古蘭經1：7：s. ir¯at.a llad ¯ ¯ına ’an֒amta ֒alayhim ˙gayri l-ma˙gd ¯ ¯ubi ֒alayhim wa-l¯a d ¯ -d ¯ ¯all¯ına你所襄助者的路，不是受譴怒者的路，也不是迷誤者的路1.正道（X）：-\+（批評（X）；偏離（X））。2.合主心意（X）：正道（X）。3.偏離（通姦）。4.批評（說謊）。
再次重申，只要是不被批評或沒有偏離正途，每一個行為X都是合乎真主心意的；這首先意味著主禱文（Lord’s prayer）和開端章（fatiha）【法諦海哈，古蘭經第1章】之間比迄今所預期的更加接近，其次，意味著一種關於我們行為的開放世界（Open-world）假設：確實，只要神聖的經典沒有告訴我們相反的情況，這些行為就沒有問題。
古蘭經篇章作為論據
現在尋找規則和事實的方法可以應用於整個古蘭經篇章：
1. 古蘭經94：1：’a-lam našrah. la-ka s.adraka難道我沒有為你而開拓你的胸襟嗎？2. 古蘭經94：2：wa-wad¯ a֒n¯a ֒an-ka wizraka我卸下了你的重任3. 古蘭經94：3：llad¯¯ı ’anqad¯ a z.ahraka即使你的背擔負過重的4. 古蘭經94：4：wa-rafa֒n¯a la-ka d¯ ikraka而提高了你的聲望5. 古蘭經94：5：fa-’inna ma֒a l-֒usri yusran與艱難相伴的，確是容易6. 古蘭經94：6：’inna ma֒a l-֒usri yusran與艱難相伴的，確是容易7. 古蘭經94：7：fa-’id¯¯a fara˙gta fa-ns.ab當你的事務完畢時8. 古蘭經94：8：wa-’il¯a rabbika fa-r˙gab你應當勤勞，你應當向你的主懇求
我們將嘗試將把古蘭經94章作為一個長論據來解讀。那麼，它的大部分經文只不過是「若則敘述」（if-then statements），條件句式（conditionals），與至少另一個既定的其他前提一起，可以讓我們得出結論。【2】我們在「?-」提示符後面提出的問題就是這個進一步前提，而出現結果「真」或「假」就是我們得到的結論。起始的前提是先知的生活中存在「֒usr」或「重任」（burden）。現在寫下規則或條件句式，我們被迫明確說明從「重任」的前提中得出的結果：
9. šrh. （nahnu,anta,s.adraka）：- yusr.10. wd ¯ ֒（nahnu,anta,wizraka）：- yusr.11. rf֒（nahnu,d ¯ ikraka）：- yusr.12. nqd ¯ （wizraka,z.ahrka）：- \+wd ¯ ֒（nahnu,anta,wizraka）.13. ns.b（anta,r˙gb（anta,rabbika））：- fr˙g（anta,֒usr）.14. fr˙g（anta,֒usr）：- yusr.15. yusr：-֒usr.16. ֒usr.
我們在古蘭經94：2、4和8中發現的連接詞「wa」，即「和」（and）發生了什麼？初構程式將任何以點結尾的從句視為隱式連接，因此「wa」已被處理。
古蘭經94：5和6告訴我們，如果有「艱難」【hardship，困苦】，也會有「容易」【release，解脫】。這個想法在下面的第15行和第16行中得到了體現：存在「艱難」（第16行）。有「艱難」，就有「容易」（第15行）。有了「容易」，你就克服了「艱難」（第14行）。克服了「艱難」後，你再次「提高」-ns.b-「向你的主懇求-r˙gb-」（第13行）。如果我們沒有-否定被寫成「\+」-從你的「背」上拿走「重任」，那麼「重任」會讓你失望（第12行）。如果有「容易」，那麼我們就卸下了你「背」上的「重任」（第10行），舉起了你的「聲望」（第11行），「開拓」了你的「胸襟」（第9行）。
現在我們可以開始提問了。你的「背」還負重嗎？第16、15和10行暗示「重任」將從你身上被卸下。根據第12行，如果事實並非如此，「重任」就會負擔在你的「背」上；但既然被卸下了，就不會讓你擔負過重（當然「重任」仍然存在，但不會持續太久，取決於我們的信念）。
因此，從下往上閱讀，我們對古蘭經94章的解讀就變成了一個以「肯定前件」（Modus ponens）為論證形式的長論據，大多數讀者直觀地接受這種形式。
但找到這種形式迫使我們決定古蘭經94：7和8在談論什麼。這些僅僅是附錄嗎，正如魯迪·帕雷特（Rudi Paret）細緻的德語翻譯所表示的那樣：
古蘭經94：7：Wenn du nun （mit etwas） fertig bist, dann （bleib nicht untätig, sondern wende dich einer neuen Aufgabe zu und） mühe dich ab （auch wenn du dabei in Schwierigkeiten gerätst. Sie werden nicht unüberwindlich sein, und du wirst es nachher wieder leichter be kommen） （?）.古蘭經94：8：Und stell dein Verlangen （ganz） auf deinen Herrn ein!
或者它們是前面經文中闡釋的論據的一部分？我們的解讀認為，「ns.b（anta,r˙gb（anta,rabbika））」是一個複雜的從句，其中一項活動嵌入另一項活動中：「引導你自己（再次）努力追求你的主」。
古蘭經94：5和94：6中的修辭重複經我們的解讀被壓縮成一行，「yusr：-֒usr」。通過這種方式，可以大規模地減少古蘭經冗餘：資料庫中的規則或事實都不需要超過一次的重複說明。
【1】在初構程式（PROLOG）中，規則是由「:-」連接的從句，因此「若A，則B」（If A then B）寫為「A:-B」。
【2】古蘭經94：7中的虛詞「fa-’id¯¯a」，即「若，則」（if, then），清楚地表明了一個條件句式短語「若A，則B」。但請注意，初構程式對此有相反的排序，顯而易見的是B:-A，其中A代表所謂的「主體」-前件（antecedent），而「B」代表所謂的「頭」（論據的結果）。
這篇文章翻譯自Dr. Kai Borrmann的在線文章「The Qur’¯an as database」
https://www.academia.edu/92942119/The_Qur%C4%81n_as_database