作者：張留華（國家社科基金重大項目“邏輯詞匯的歷史演進與哲學問題研究”首席專家、華東師范大學哲學系教授）

　　在我們的自然語言中，存在諸如“并且”“或者”“并非”“如果”“所有”之類的“小詞”（particles）。之所以稱之為“小詞”，至少可以從兩個方面來看。一是很少有人關(guān)注它們，而且因為被認為不指稱什么東西，它們常常連“名”也算不上：既不屬于“太陽”等所謂的“專名”，也不屬于“紅色”等所謂的“通名”。語法學家常常將它們與介詞、助詞、嘆詞等一道歸為“虛詞”。二是他們在語言學習中無足輕重。然而，稍加深入思考，我們又不難發(fā)現(xiàn)這些“小詞”似乎有“大”用。所謂的“虛詞”在語法學上又叫作“功能詞”，它們能使我們的語言表達豐富多變，在使用頻率上遠大于那些實詞。在日常表達或論文寫作中，倘若未能正確區(qū)分“如果”“只有”“但是”“況且”等詞，往往會給人留下“思路不清”“邏輯混亂”的印象。這似乎已經(jīng)觸及了“小詞”的秘密，但從哲學上看，“小詞”的理論重要性遠不止于此。在當代分析哲學中，這些小詞被稱作“邏輯詞”，有關(guān)它們的理論建構(gòu)和學術(shù)爭論關(guān)乎我們對于人類邏輯和理性的省察和探索。

　　邏輯學問多藏于小詞之中

　　邏輯學習在很大程度上就是學會掌握這些小詞。人們習慣于說“語言是邏輯的載體”，但這過于籠統(tǒng)，一種更能切中肯綮的說法或許是：邏輯的奧秘主要是在那些小詞之用法上。一個人不知道“比特”何意或者菽麥不分時，盡管這是一種認知缺陷，但并不會歸為邏輯謬誤。相比之下，一個人援引某一官方規(guī)則“只有通過考試者才能入圍”，抗議說：“我已經(jīng)通過考試結(jié)果卻沒能入圍，這是不公平的。”其中所暴露的對“只有……才”的誤解，就屬于邏輯問題了。類似這樣的小詞之用或許屬于“語法”范圍的工作，但它們并非普通語言學教程中的“語法知識”，而是哲學意義上的語法。當邏輯學家奎因說“邏輯學沿著語法之樹追求真理”時，正是在此意義上使用“語法”一詞的。

　　跟奎因的說法相一致，當代邏輯學作為一套專門學問，基本上也體現(xiàn)了對于“小詞”的分門別類研究：經(jīng)典一階邏輯中的命題演算專注于“如果”“并非”“并且”“或者”等句子聯(lián)結(jié)詞的邏輯行為研究，因此也稱作“聯(lián)結(jié)詞的邏輯”；在此基礎(chǔ)上，謂詞演算同時關(guān)注“所有”“有的”等量詞的邏輯行為，因此也被稱為“量詞的邏輯”；至于模態(tài)邏輯、時態(tài)邏輯、道義邏輯、認知邏輯等所謂“非經(jīng)典邏輯”，如其名稱所標明，它們所重點研究的則是另外一些小詞，如模態(tài)詞（“必然”“可能”等）、時態(tài)詞（“過去”“現(xiàn)在”“將來”等）、道義詞（“應(yīng)該”“允許”“禁止”等）、認知詞（“知道”“相信”等）。學習邏輯課程，在一種非常重要卻常被忽視的意義上，其宗旨正是要以系統(tǒng)的方式教會我們掌握這些小詞的用法，進而學會如何正確且一貫地開展由小詞用法所主導的諸種邏輯推理。這當然不是說我們在進入邏輯課堂之前，就完全不懂得邏輯思維，因為畢竟在母語習得中我們已經(jīng)無意識地學過這些小詞。但差別還是存在的：正如很多經(jīng)驗和常識不夠系統(tǒng)一樣，伴隨母語自然獲得的那些小詞用法頂多構(gòu)成了一種“邏輯本能”，無法稱得上“邏輯學問”。一個人本能地“會用”這些小詞，僅意味著他能在自己熟悉的場景下或正常的語式句型中正確運用，但往往難以應(yīng)對那些復(fù)雜和陌生語境。現(xiàn)代科學意義上的邏輯學，讓學習者對于小詞之用多了一份“語義自覺和自控”：位于“如果”“并非”“或者”等小詞用法背后的正是我們普遍遵循的“肯定前件式”和“否定肯定式”等邏輯推理規(guī)則，而且這些小詞之間有著緊密的內(nèi)在聯(lián)系，譬如，當我們承認“A且非B”后就無法進而斷言“如果A那么B”或“只有B才A”。

　　借助小詞把握思維形式乃至世界結(jié)構(gòu)

　　當從現(xiàn)代形式系統(tǒng)的角度來研究這些小詞時，借用數(shù)學上的變量常量之分，邏輯學家把它們稱作“邏輯常項”，以區(qū)別于那些被認為變化之后不會影響我們思維“邏輯性”因而常被處理為“變項”的詞語。對于變項，通常采用普通的字母ABC等表示；而對于常項，則專門設(shè)計了一套人工符號，譬如：用→表示“如果”，用∨表示“或者”，用[~符號~]表示“并非”。如此符號化“小詞”，并不只是抽象或記法縮略的需要，它代表著我們對于人類思維形式的把握和凸顯。如果說邏輯學之所以又稱作“形式邏輯”是因為其研究對象乃思維的形式結(jié)構(gòu)（而非內(nèi)容）的話，那么形式性之所以能反映思維的邏輯性則主要是因為其中作為常項的那些小詞。也正是在這種意義上，塔斯基、奎因、布蘭頓等哲學家直接把這些小詞稱作“邏輯詞”，以凸顯其在人類語言和思維系統(tǒng)中的獨特地位。

　　站在語言進化的角度，可以設(shè)想，這些邏輯詞之所以能彰顯思維形式，可能是人類長期社會實踐中所積累（或“自然選擇”）的某種思想和行為方式在人類語言中的凝聚和固化。而從形而上學的視角看，這些小詞之所以能成功刻畫思維結(jié)構(gòu)，并幫助我們應(yīng)對日常及科學研究中的各種推理難題，羅素等哲學家試圖論證，是因為它們反映著我們作為認識者與外部世界在結(jié)構(gòu)上的暗合。換言之，這些小詞的意義或許是源自對于這個世界之自然結(jié)構(gòu)（或曰秩序）的指稱，正如“太陽”一詞的意義源于宇宙中所存在的一顆恒星。

　　文化差異或源于對小詞的釋義

　　邏輯相通，是不同民族之間語言翻譯、文化理解得以可能的基本條件。按照奎因的說法，“我們把邏輯植入了翻譯手冊”。根據(jù)所謂的“徹底翻譯”原則，一位人類學家把某初民部落語（或任何其他可以設(shè)想的陌生語言）中明顯接受為真的一句形如“A ka bu A”的話翻譯為“A并且非A”時，這與其說是表明了該部落文化（因為公開承認矛盾而）不具有邏輯思維能力，毋寧說倒可以直接證明：該人類學家把小詞“ka”“bu”分別翻譯為“并且”“非”，是一種糟糕的翻譯。類似地，當一群小孩子在做某種“暗語”游戲時，完全可以把“并且”說成“或者”，把“或者”說成“并且”，但這并不意味著這群孩子的“邏輯”與我們成人的“邏輯”不相通，更多只是表明他們的“邏輯記法”不同，此即通常所謂“純語詞之爭”。當然，不同文化或亞文化群體之間可以進行語言翻譯，并不意味著翻譯總是具有確定性。文化基因上的差異，不僅會使得某一語言中的“實詞”在另一語言中找不到恰當?shù)膶?yīng)詞，而且在最微妙也最根本之處，還可能會以某種方式影響不同語言中（甚至是同一語言中）不同群體對于邏輯詞（“小詞”）的用法釋義或?qū)ζ湟饬x完整性的追求。

　　譬如，同是在英語世界，達米特等直覺主義邏輯學家在界定否定詞“并非”時，并不完全認同經(jīng)典邏輯理論中的雙重否定律。他們承認由“A”可以推出“并非非A”，卻不接受反方向由“并非非A”到“A”的推理，因為，在他們看來，后者在某些情況下并不成立，譬如，當把“證實”僅限于“直接證明”（而排除“間接證明”）時，“上帝不存在”被證偽并不意味著“上帝存在”已被證實。還有，普里斯特等弗協(xié)調(diào)邏輯學家接受雙重否定律，卻不認同經(jīng)典邏輯學家所信奉的“爆炸原理”（即，由假命題作為前提可以推出任意命題），由此使得他們可以承認特定情況下的所謂“真矛盾”，如，說謊者語句“這句話不是真的”既真又假。類似地，漢語中對于析取詞“或”的解讀，在有些場景下，可能會與英語中的標準解釋存在差異。譬如，從詞源上看，漢語“或”字常帶有“懷疑”之意，如孔子曰“或之者，疑之者”。因此當我們說“或A或B”時，可能并未意指A和B已經(jīng)窮盡了所有選項，也就不能由“或A或B”和“非A”作為前提，直接推出“B”。這些在邏輯詞釋義上的細微差別，不必有損于人類邏輯的統(tǒng)一性，因為只要我們不把現(xiàn)存任何一種經(jīng)典或非經(jīng)典的邏輯理論理解為有關(guān)邏輯詞的“終極學說”，它們頂多只是反映出人們在追求完整把握邏輯詞意義過程當中的內(nèi)部競爭，屬于語義反思層面的“二階論爭”。

　　現(xiàn)代科技的迅猛發(fā)展，特別是人工智能的出現(xiàn)，使得“認識自己”這一古老的哲學之問生發(fā)新的維度和意蘊，其中就包括對人類語言和思維的全方位反思。邏輯及理性作為當代人最基本的“規(guī)范”關(guān)懷，一直位于這場反思的根基處。然而，邏輯和理性的奧義不能在柏拉圖的天國尋找，我們應(yīng)返回人類的言語實踐，尤其是圍繞小詞養(yǎng)成的言語行為方式以及對小詞之用的探索與評價。當代形式邏輯和邏輯哲學在這場“認識自己”的新征程中的重要貢獻之一就在于：與認知語言學、認知心理學、語義學、計算機科學等一道，經(jīng)由小詞之門徑，向人類理性規(guī)范的縱深挺進。

　　《光明日報》（ 2022年03月09日 15版）