疑問句(簡稱問句)是自然語言中“問題”相對應的語言形式,問句邏輯作為現代邏輯的一個擴充型研究領域,一個重要的研究內容就是如何建立問句邏輯的形式系統。它是指通過創建或構造形式系統以及形式語義模型的技術手段來處理“問句”,并實現“問句”的全面符號化,以此能夠使問句具有精確性和嚴格性,從而進行嚴密的邏輯推理。目前,這項研究相對于問句的描述性分析并不是問句邏輯研究的主流,雖有一些學者已經做出了非常有意義的工作,例如,阿奎斯特在1965年出版的《問句邏輯研究的新出路》一書中建立了一個把命令邏輯與知道邏輯融合為一的系統,并通過這個系統對問句開展語形和語義的處理[1],但是我們不得不承認面對自然語言中“問題”的多樣性和歧義性,建立一個完善完整的問句邏輯的形式系統并非易事。因此,在建立問句邏輯的形式系統之前,對自然語言中的問句進行必要的形式分析,將其精確的符號化,這是建立問句邏輯形式系統的前提和基礎,這也是現代邏輯方法應用的重要體現。在現代漢語中,問句的類型可以從問句的結構上分為初等問句和復合問句。初等問句是按照漢語語法中單句形式的疑問句,而那些由初等問句與陳述句或者是初等問句與初等問句組合而成的稱為復合問句,一般是漢語語法中復句形式的疑問句。本文將針對“初等問句”展開相關探討。

一、對前人“問句的邏輯形式分析”的相關研究

評述一階邏輯理論和系統是目前最為完善的邏輯理論體系之一,依據這一體系,我國的邏輯學家宋文淦先生在總結前人研究的基礎上,對問句邏輯的形式系統做出了進一步探討。他給出了一個以一階邏輯為基礎,外加疑問算子(?)擴展而成的問句邏輯系統,這個系統所使用的形式語言被稱為LE。其中重要的前期工作就是對從邏輯上分類的問句加以形式分析,這也是目前我國國內關于問句形式分析最具代表性的研究成果。宋先生的問句形式分析,采納了貝爾納普關于問句類型的“兩分法”,即“抑問句”和“孰問句”之分,以及他對直接解答集的研究。“基本抑問句”與“一元孰問句”在貝爾納普那里都被稱為“初等問句(el-ementaryinterrogatives)”[2]。首先,對于基本抑問句,宋先生針對此類問句主要采用命題邏輯的形式分析方法?；疽謫柧涠际窃趩柧渲刑峁┤我鈧€有窮多個供選命題,要求被問者從中進行選擇并給出該問句的“直接解答”。概括起來,含有任意n個供選命題的基本抑問句,總共產生了三種一般形式的抑問句———?nm(p1,…pn)、?nm!(p1,…pn)、?nc(p1,…pn),它們分別表示的意義為:n項舉m例的抑問句、恰好m個擇取抑問句以及全列抑問句。其中?nm、?nm!、?nc為抑問句形成算子,n表示這三類問句都提供的供選命題的個數,令其分別為p1,p2,…pn,m表示從供選命題中擇取至少能成立的命題個數,m!表示從供選命題中擇取恰好m個成立的命題,c則表示從供選命題中擇取出全部可成立的命題個數,并且1≤m≤n。[3]16例如,問句<1>“明天學生黨員開會嗎?”用p來表示這個問句的“直接解答集”,那么問句刻畫形式為<1'>?21(p,p)。

另外,宋文淦先生對一元孰問句的形式分析主要集中在對一元孰個體問句,即“哪個(些)問句”的形式分析上,宋先生在這部分中采用的是一階謂詞邏輯作為分析工具。與基本抑問句相對應,一元孰個體問句也可以分為舉m例孰問句,恰好m個擇取孰問句與全列孰問句三種。這類一元孰問句形式分別表示為(?mx)P(x),(?m!x)P(x),(?cx)P(x)。其中(?mx)、(?m!x)、(?cx)都是在問句邏輯形式語言LE中含有自由變元的疑問量詞;而P(x)是一個一元命題函數,可以被看成是表示x具有某種復合的(包括簡單的)性質[3]16。例如,問句<2>“我們學校哪一個年級的學生黨員開會呀?”我們用G(x)表示某一個年級的黨員,用M(x)表示參加會議的黨員,根據這個特指問句的直接解答,可以將它形式為:<2'>(x)?(G(x)∧M(x))。宋先生的邏輯形式分析方法建立在一階邏輯的基礎之上,結合了問句“直接解答集”觀點,于是將問句的邏輯形式與問句的解答之間建立起某種特定的聯系,從而將對問句的形式分析轉化為對解答的形式分析,因為問句的解答從本質上講就是一個命題,因此問句的形式分析最終歸結于命題的形式分析。這種方法使用的形式語言是一階邏輯的擴充系統———問句邏輯系統的形式語言LE,該方法的優勢之處在于通過利用經典命題邏輯與現代一階謂詞邏輯來對自然語言中基本問句類型內部的形式邏輯特征做出了清晰明確的描述,尤其是對問句中一類質疑含有數量關系的“哪個(些)”問句的進行了嚴格的形式刻畫;另外,從語法上考慮問句之間的邏輯推理與演算,也具有直接性的特點。然而對于問句的形式分析來說,該方法還有不足之處。

在自然語言中問句是紛繁復雜的,那么對問句進行形式分析,能否找到一種方法相對將多樣化問句通過該方法加以形式刻畫這是關鍵。具體來說,在現代漢語中,我們會在日常生活中提出以下幾個問句:<3>明天學生黨員開會嗎?<4>學生黨員什么時間開會呀?與問句<1>相比不難發現,問句<3>中的“明天”主要負載了提問者所需要了解的信息,是該問句的提問重點,這樣的提問重點被稱為“對比焦點”,是指“問句提問時說話人要有意強調的信息或著重說明的部分,通常在漢語疑問句中是運用重音進行凸顯,在口語交際中表現十分突出”[4],問句<3>顯然與問句<1>不一樣。如將它們不加以區分都采用“直接解答”的邏輯形式分析方法,最終問句<3>的形式還是要表達為與問句<1>相同的形式<1'>。這樣就無法分析到問句內部,也就無法準確地刻畫不同問句的邏輯形式。另外,問句<4>是以“什么時間”(when)為標志的特指問句,對于這一特指問句要得到它的所有直接解答并不是一件容易的事情,因為我們可以說出“明天學生黨員開會”、“明天上午8:30學生黨員開會”、“下周一學生黨員開會”等等若干個滿足<4>的直接解答,如采用刻畫問句<2>那樣的方法,就會得到一個有無窮長析取支的析取式,宋文淦先生曾指出類似<4>的問句有無窮直接解答,是一個無意義的問句,這顯然和我們的常識不符,所以邏輯形式分析方法也不適用于這種特指問句。由于該方法對于現代漢語中一些特殊的初等問句,無法根據其規則進行形式分析,存在著一定的缺陷,因此我們在研究方法上需要另辟蹊徑。