前言：尋找寫作靈感？中文期刊網用心挑選的問域角度下的初等問句，希望能為您的閱讀和創作帶來靈感，歡迎大家閱讀并分享。
疑問句(簡稱問句)是自然語言中“問題”相對應的語言形式,問句邏輯作為現代邏輯的一個擴充型研究領域,一個重要的研究內容就是如何建立問句邏輯的形式系統。它是指通過創建或構造形式系統以及形式語義模型的技術手段來處理“問句”,并實現“問句”的全面符號化,以此能夠使問句具有精確性和嚴格性,從而進行嚴密的邏輯推理。目前,這項研究相對于問句的描述性分析并不是問句邏輯研究的主流,雖有一些學者已經做出了非常有意義的工作,例如,阿奎斯特在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>的問句有無窮直接解答,是一個無意義的問句,這顯然和我們的常識不符,所以邏輯形式分析方法也不適用于這種特指問句。由于該方法對于現代漢語中一些特殊的初等問句,無法根據其規則進行形式分析,存在著一定的缺陷,因此我們在研究方法上需要另辟蹊徑。#p#分頁標題#e# 二、問句的“問域”概念 在日常生活中,人們由于缺少某個方面的信息,在特定的范圍內對所需要的信息提出疑問,要求回答者在這個范圍內給予解答,這是問題提出的過程。其中,在問題邏輯中,研究者將這個特定的范圍用術語表示為“問域”(interrogativerange)。“域,指界限或范圍,問題的問域是指一個問題中所包含的未知項所應取值的范圍,即問題的解答所取值的范圍”[5]。“問域是交際的雙方必須共同遵守的一種規范,也是問題的必要組成成分”[3]134。因此,問域對問題產生著重要的影響。問句表達問題,問域在問句的表現形式通常是一些名詞、代詞、數詞等,問域雖然根據不同疑問信息會各不相同,但從問句的三種基本類型來看,它們的問域是相對穩定的。例如,下列問句:(1)“板藍根”是一種植物的根嗎?(2)無軌電車上的電動機用的是什么電?(3)藍鯨與海豚哪一個游得快?問句(1)是一個是非問句,它的問域是針對“板藍根與一種植物的根”是否具有關系來提問的,可以說是對于“板藍根是一種植物的根”這一陳述句整體的疑問;對問句(2)來說,它是一個以“什么(電)”為標志的特指問句,因此該問句的問域就應當是對于電動機電的種類的疑問;而問句(3)則是一個選擇問句,它在意義上等同于問句“藍鯨游得快或是海豚游得快”,所以它的問域主要在“藍鯨”和“海豚”的游速之間產生的疑問。可見,三種初等問句的問域都表達了隱藏于問句之中的某種思想的范圍,而這種隱藏的思想與問題的提出密切相關,它是問題提出的前提,用陳述句表示,在語言學中被稱為“預設”(presupposition)。因此,問句的問域可以說是問句的預設的范圍。在這里主要討論的是一般的初等問句,接著我們來看內部含有“對比焦點”的問句,主要是指一些特殊的初等是非問句。例如前文中提到的初等是非問句“明天學生黨員開會嗎?”含有對比焦點“明天”。這類問句含有內部的對比焦點,而對比焦點主要承載了問句提問的疑問信息,是問句的中心,那么這種特殊的問句其問域要限定問句的提問信息范圍就必須體現在問句的“對比焦點”上,因此,“對比焦點”的范圍是這類問句的問域,這也是其區別于一般問句問域的特殊性表現。 三、從“問域”角度開展初等問句的邏輯形式分析 對于每一個問題來說,確定問題的問域是提出問題、解答問題的前提,無論哪一個問題,它都勿庸置疑的含有自身的問域,從整體上而言這是一種較為確定的范圍,所以我們可以將“問域”作為研究問句邏輯形式的切入口,展開基于“問域”上的問句形式分析。這種刻畫形式的方法是以各個問句自身的不同疑問信息為依據的,結合了問句的“對比焦點”,具有形式分析上的特殊性,而類型基本相同的問句之間又存在著相互聯系,表現在“問域”上的共性可以引入到一般問句的形式分析中去,這又體現了這種刻畫方法的一般性。因此,特殊性與一般性的結合是這種方法的顯著特點,這也是提出該方法的必要之處。另外,需要說明的是,“問句”形式分析作為本文探討內容的中心,是在問句邏輯領域里展開的,那么,元邏輯的研究也是不可或缺的研究方法,所以這種分析方法像邏輯形式分析方法一樣仍然建立在一階邏輯基礎上,其形式語言為一階邏輯形式語言L的擴充,我們將其稱為LD。下面就嘗試著對基本問句的形式展開“問域”上的分析。 “問域”的問句形式分析中的形式語言LD主要包括兩個部分———初始符號和公式形成規則:首先LD初始符號的規定如下:1.一階謂詞邏輯符號:(1)括號:),(;(2)個體變元:X1,X2,X3,…;(3)聯結詞:,∧,∨,→;(4)量詞:,;(5)等詞:=;(6)個體常元:a1,a2,a3,…;(7)命題符:S1,S2,S3,…;(8)謂詞符:P1,P2,P3,…;2.擴充符號:(1)疑問算子:?;(2)問域符:[];其中,“個體變元與個體常元統稱為LD的項”[6]。其次,公式形成規則如下:1.每一個命題符S都是一個LD公式;2.如果P是一個n元謂詞,b1,…,bn都是項,則P(b1,…,bn)是LD公式;3.如果b1和b2都是項,則(b1=b2)是LD公式;4.如果S1和S2都是LD公式,則,S1,(S1∧S2),(S1∨S2)和(S1→S2)都是LD公式;5.如果S是LD公式,x是個體變元,則(x)S和(x)S都是LD公式;6.如果S是LD公式,其中不出現?,則[?][S]是LD公式; 從公式形成規則1到5,可以看出這些都是一階謂詞邏輯的公式形成規則,而6與7是在前5條規則基礎上派生出來的,因此,我們說形式語言LD是一階邏輯形式語言L的擴充。這里需要說明的是,規則6中的符號[?],是由問域符附加疑問算子組成的,它可以解釋為“問域作用于問句”,這個特殊符號的建立,使含有疑問焦點的問句,都能夠通過“問域”給予形式表達。首先,關于三種初等問句的形式分析,可以分別表示為:(Ⅰ)初等是非問句形式分析可以表示為:[?][p∨p];(Ⅱ)初等選擇問句形式分析可以表示為:[?][p1∨p2∨…∨pn];(Ⅲ)初等特指問句形式分析可以表示為:[?][(x)(P(x))]; 由于問域作用于整個問句,所以一般初等是非問句與選擇問句采用的是命題邏輯為分析工具,而一般特指問句則采用謂詞邏輯為分析工具,主要的原因是由于表達特指問句的問句,它的問域是作用于某個特定的疑問詞上,即通常人們理解的“wh”問詞,問詞都是內嵌于問句之中的,因此也可以說問域作用于問句的內部,所以采用謂詞邏輯分析較為準確與精細。另外,命題符P與謂詞符P(x)所表示的不是邏輯形式分析方法中提到的“直接解答”,而是問句“強預設”的形式表達。接著我們來看問句內部含有“對比焦點”的特殊是非初等問句。舉例說明,如以下問句:<5>經理是周一乘坐CA1562航班去北京出差嗎?<6>經理是周一乘坐CA1562航班去北京出差嗎?<7>經理是周一乘坐CA1562航班去北京出差嗎?首先問句<5>至<7>之間存在著緊密的聯系,從它們的語言表達來看,問句去掉著重線后,都是一個一般的初等是非問句:<8>經理是周一乘坐CA1562航班去北京出差嗎?但是還要明確這四個問句根據加著重線的不同分別表達不同的是非問句,就問句<5>的語義信息表明,該問句除去“周一”這個對比焦點,其他部分的信息都是明確的,也可以說如果除去這個對比焦點,問句中其他部分就能夠在語義上明確表達一個有所斷定的命題,因此,我們可從帶有對比焦點的部分考慮將其作為疑問的重點加以形式分析,轉化為問域符和疑問算子[?]共同作用的范圍。這類特殊的初等是非問句的形式化基本思路如下:#p#分頁標題#e# 首先,我們令“m”表示“經理是周一出差”,“p”是表示“經理是乘坐CA1562航班出差”,“b”是表示“經理是去北京出差”,針對一般初等是非問句<8>按照形式分析公式(Ⅰ)可形式化為:<8'>[?][(m∧p∧b)∨((m∧p∧b))]那么<8'>形式刻畫的是非問句<8>在語義上根本表達了以下涵義:<8''>“經理周一乘坐CA1562航班去北京出差還是經理沒有周一乘坐CA1562航班去北京出差的嗎?”顯然該問句的“問域”表現在形式分析中也是作用于整個問句。 其次,對于問句<5>至<7>來說,它們都具有不同的“對比焦點”,問句<5>的“對比焦點”為“周一”,問句<6>的“對比焦點”為“乘坐CA1562航班”,而問句<7>的“對比焦點”則為“去北京”,這些區別于一般初等是非問句<8>。因此,形式分析的著重點應該主要放于這些問句的“對比焦點”上,并且使問句的“問域”也作用于“對比焦點”,基于此考慮,問題<5>至<7>的形式分析可以表示為:<5'>[?][m∨m]∧p∧b;<6'>[?][p∨p]∧m∧b;<7'>[?][b∨b]∧m∧p;經過形式分析后,我們從問句的語義上可以理解<5'>至<7'>分別表達的涵義為:<5''>“經理是在周一還是不在周一乘坐CA1562航班去北京出差的嗎?”;<6''>“經理周一是乘坐CA1562航班還是沒有乘坐CA1562航班去北京出差的嗎?”;<7''>“經理周一乘坐CA1562航班是去北京還是不是去北京出差的嗎?”;從這里可以看出,對比焦點使具有相同語言表達的問句實際在語義上是存在著相當明顯的差異。 我們通過問句在“問域”角度上的邏輯形式分析,在一定程度上能夠把這種差異性表現出來,為了更加清晰地理解建立在形式語言LD上的“問域”的問句形式分析,我們將從問句及其解答的相互關系角度,對這種形式分析方法做出進一步地說明。于是假設我們對初等是非問句<5>至<8>全部做出否定解答,可以根據這四個問句的語義表示<5''>至<8''>分別得到它們的否定解答為:<5''a>“經理沒有在周一乘坐CA1562航班去北京出差的”可用形式刻畫為:<5'a>(m)∧p∧b;<6''a>“經理周一不是乘坐CA1562航班去北京出差的”可用形式刻畫為:<6'a>(p)∧m∧b;<7''a>“經理周一乘坐CA1562航班不是去北京出差的”可用形式刻畫為:<7'a>(b)∧m∧p;<8''a>“并非經理周一乘坐CA1562航班去北京出差的”可用形式刻畫為:<8'a>(m∧p∧b)另外,我們從三個問句的形式分析<5'>至<7'>根據邏輯形式規則可以得到它們的等價形式表達:<5'b>[?][(m∧p∧b)∨((m)∧p∧b)];<6'b>[?][(p∧m∧b)∨((p)∧m∧b)];<7'b>[?][(b∧m∧p)∨((b)∧m∧p)];我們又知道初等是非問句[?][(P∨P)]的直接解答有兩種:P與P,其中否定解答為P,因此,問句<5>至<8>的否定解答從它們的形式表達<5'b>至<7'b>以及<8'>中分析得到:<5'c>(m)∧p∧b;<6'c>(p)∧m∧b;<7'c>(b)∧m∧p;<8'c>(m∧p∧b)很顯然對于初等是非問句<5>至<8>的否定解答,通過“問域”形式分析方法分析的結果———<5'c>至<8'c>與通過語義表達上得到的結果———<5'a>至<8'a>兩者也是完全一致的。 因此,建立在問句“問域”理論上的問句形式分析方法,在處理含有對比焦點的初等問句的形式和一般的初等問句研究上可以被證明是具有邏輯可行性的,并且我們看到這種方法能夠將一般的問句形式分析與特殊的問句形式分析統一起來,這樣更加能夠使邏輯貼近對自然語言中“問句”的理解。 結 語 本文對現代漢語中含有“對比焦點”的初等問句給出問域的形式分析,這只是本人從一個新的角度對問句形式分析的一個初步探索,藉此希望發揮現代邏輯形式分析方法在語言學研究中的作用,肯定還存在許多不足之處,懇請同行學者共同研究?？梢哉f,“問題”不斷,我們的探索也將永不間斷。