前言：尋找寫(xiě)作靈感？中文期刊網(wǎng)用心挑選的問(wèn)域角度下的初等問(wèn)句，希望能為您的閱讀和創(chuàng)作帶來(lái)靈感，歡迎大家閱讀并分享。

疑問(wèn)句(簡(jiǎn)稱問(wèn)句)是自然語(yǔ)言中“問(wèn)題”相對(duì)應(yīng)的語(yǔ)言形式,問(wèn)句邏輯作為現(xiàn)代邏輯的一個(gè)擴(kuò)充型研究領(lǐng)域,一個(gè)重要的研究?jī)?nèi)容就是如何建立問(wèn)句邏輯的形式系統(tǒng)。它是指通過(guò)創(chuàng)建或構(gòu)造形式系統(tǒng)以及形式語(yǔ)義模型的技術(shù)手段來(lái)處理“問(wèn)句”,并實(shí)現(xiàn)“問(wèn)句”的全面符號(hào)化,以此能夠使問(wèn)句具有精確性和嚴(yán)格性,從而進(jìn)行嚴(yán)密的邏輯推理。目前,這項(xiàng)研究相對(duì)于問(wèn)句的描述性分析并不是問(wèn)句邏輯研究的主流,雖有一些學(xué)者已經(jīng)做出了非常有意義的工作,例如,阿奎斯特在1965年出版的《問(wèn)句邏輯研究的新出路》一書(shū)中建立了一個(gè)把命令邏輯與知道邏輯融合為一的系統(tǒng),并通過(guò)這個(gè)系統(tǒng)對(duì)問(wèn)句開(kāi)展語(yǔ)形和語(yǔ)義的處理[1],但是我們不得不承認(rèn)面對(duì)自然語(yǔ)言中“問(wèn)題”的多樣性和歧義性,建立一個(gè)完善完整的問(wèn)句邏輯的形式系統(tǒng)并非易事。因此,在建立問(wèn)句邏輯的形式系統(tǒng)之前,對(duì)自然語(yǔ)言中的問(wèn)句進(jìn)行必要的形式分析,將其精確的符號(hào)化,這是建立問(wèn)句邏輯形式系統(tǒng)的前提和基礎(chǔ),這也是現(xiàn)代邏輯方法應(yīng)用的重要體現(xiàn)。在現(xiàn)代漢語(yǔ)中,問(wèn)句的類型可以從問(wèn)句的結(jié)構(gòu)上分為初等問(wèn)句和復(fù)合問(wèn)句。初等問(wèn)句是按照漢語(yǔ)語(yǔ)法中單句形式的疑問(wèn)句,而那些由初等問(wèn)句與陳述句或者是初等問(wèn)句與初等問(wèn)句組合而成的稱為復(fù)合問(wèn)句,一般是漢語(yǔ)語(yǔ)法中復(fù)句形式的疑問(wèn)句。本文將針對(duì)“初等問(wèn)句”展開(kāi)相關(guān)探討。   一、對(duì)前人“問(wèn)句的邏輯形式分析”的相關(guān)研究   評(píng)述一階邏輯理論和系統(tǒng)是目前最為完善的邏輯理論體系之一,依據(jù)這一體系,我國(guó)的邏輯學(xué)家宋文淦先生在總結(jié)前人研究的基礎(chǔ)上,對(duì)問(wèn)句邏輯的形式系統(tǒng)做出了進(jìn)一步探討。他給出了一個(gè)以一階邏輯為基礎(chǔ),外加疑問(wèn)算子(?)擴(kuò)展而成的問(wèn)句邏輯系統(tǒng),這個(gè)系統(tǒng)所使用的形式語(yǔ)言被稱為L(zhǎng)E。其中重要的前期工作就是對(duì)從邏輯上分類的問(wèn)句加以形式分析,這也是目前我國(guó)國(guó)內(nèi)關(guān)于問(wèn)句形式分析最具代表性的研究成果。宋先生的問(wèn)句形式分析,采納了貝爾納普關(guān)于問(wèn)句類型的“兩分法”,即“抑問(wèn)句”和“孰問(wèn)句”之分,以及他對(duì)直接解答集的研究。“基本抑問(wèn)句”與“一元孰問(wèn)句”在貝爾納普那里都被稱為“初等問(wèn)句(el-ementaryinterrogatives)”[2]。首先,對(duì)于基本抑問(wèn)句,宋先生針對(duì)此類問(wèn)句主要采用命題邏輯的形式分析方法。基本抑問(wèn)句都是在問(wèn)句中提供任意個(gè)有窮多個(gè)供選命題,要求被問(wèn)者從中進(jìn)行選擇并給出該問(wèn)句的“直接解答”。概括起來(lái),含有任意n個(gè)供選命題的基本抑問(wèn)句,總共產(chǎn)生了三種一般形式的抑問(wèn)句———?nm(p1,…pn)、?nm!(p1,…pn)、?nc(p1,…pn),它們分別表示的意義為:n項(xiàng)舉m例的抑問(wèn)句、恰好m個(gè)擇取抑問(wèn)句以及全列抑問(wèn)句。其中?nm、?nm!、?nc為抑問(wèn)句形成算子,n表示這三類問(wèn)句都提供的供選命題的個(gè)數(shù),令其分別為p1,p2,…pn,m表示從供選命題中擇取至少能成立的命題個(gè)數(shù),m!表示從供選命題中擇取恰好m個(gè)成立的命題,c則表示從供選命題中擇取出全部可成立的命題個(gè)數(shù),并且1≤m≤n。[3]16例如,問(wèn)句<1>“明天學(xué)生黨員開(kāi)會(huì)嗎?”用p來(lái)表示這個(gè)問(wèn)句的“直接解答集”,那么問(wèn)句刻畫(huà)形式為<1'>?21(p,p)。   另外,宋文淦先生對(duì)一元孰問(wèn)句的形式分析主要集中在對(duì)一元孰個(gè)體問(wèn)句,即“哪個(gè)(些)問(wèn)句”的形式分析上,宋先生在這部分中采用的是一階謂詞邏輯作為分析工具。與基本抑問(wèn)句相對(duì)應(yīng),一元孰個(gè)體問(wèn)句也可以分為舉m例孰問(wèn)句,恰好m個(gè)擇取孰問(wèn)句與全列孰問(wèn)句三種。這類一元孰問(wèn)句形式分別表示為(?mx)P(x),(?m!x)P(x),(?cx)P(x)。其中(?mx)、(?m!x)、(?cx)都是在問(wèn)句邏輯形式語(yǔ)言LE中含有自由變?cè)囊蓡?wèn)量詞;而P(x)是一個(gè)一元命題函數(shù),可以被看成是表示x具有某種復(fù)合的(包括簡(jiǎn)單的)性質(zhì)[3]16。例如,問(wèn)句<2>“我們學(xué)校哪一個(gè)年級(jí)的學(xué)生黨員開(kāi)會(huì)呀?”我們用G(x)表示某一個(gè)年級(jí)的黨員,用M(x)表示參加會(huì)議的黨員,根據(jù)這個(gè)特指問(wèn)句的直接解答,可以將它形式為:<2'>(x)?(G(x)∧M(x))。宋先生的邏輯形式分析方法建立在一階邏輯的基礎(chǔ)之上,結(jié)合了問(wèn)句“直接解答集”觀點(diǎn),于是將問(wèn)句的邏輯形式與問(wèn)句的解答之間建立起某種特定的聯(lián)系,從而將對(duì)問(wèn)句的形式分析轉(zhuǎn)化為對(duì)解答的形式分析,因?yàn)閱?wèn)句的解答從本質(zhì)上講就是一個(gè)命題,因此問(wèn)句的形式分析最終歸結(jié)于命題的形式分析。這種方法使用的形式語(yǔ)言是一階邏輯的擴(kuò)充系統(tǒng)———問(wèn)句邏輯系統(tǒng)的形式語(yǔ)言LE,該方法的優(yōu)勢(shì)之處在于通過(guò)利用經(jīng)典命題邏輯與現(xiàn)代一階謂詞邏輯來(lái)對(duì)自然語(yǔ)言中基本問(wèn)句類型內(nèi)部的形式邏輯特征做出了清晰明確的描述,尤其是對(duì)問(wèn)句中一類質(zhì)疑含有數(shù)量關(guān)系的“哪個(gè)(些)”問(wèn)句的進(jìn)行了嚴(yán)格的形式刻畫(huà);另外,從語(yǔ)法上考慮問(wèn)句之間的邏輯推理與演算,也具有直接性的特點(diǎn)。然而對(duì)于問(wèn)句的形式分析來(lái)說(shuō),該方法還有不足之處。   在自然語(yǔ)言中問(wèn)句是紛繁復(fù)雜的,那么對(duì)問(wèn)句進(jìn)行形式分析,能否找到一種方法相對(duì)將多樣化問(wèn)句通過(guò)該方法加以形式刻畫(huà)這是關(guān)鍵。具體來(lái)說(shuō),在現(xiàn)代漢語(yǔ)中,我們會(huì)在日常生活中提出以下幾個(gè)問(wèn)句:<3>明天學(xué)生黨員開(kāi)會(huì)嗎?<4>學(xué)生黨員什么時(shí)間開(kāi)會(huì)呀?與問(wèn)句<1>相比不難發(fā)現(xiàn),問(wèn)句<3>中的“明天”主要負(fù)載了提問(wèn)者所需要了解的信息,是該問(wèn)句的提問(wèn)重點(diǎn),這樣的提問(wèn)重點(diǎn)被稱為“對(duì)比焦點(diǎn)”,是指“問(wèn)句提問(wèn)時(shí)說(shuō)話人要有意強(qiáng)調(diào)的信息或著重說(shuō)明的部分,通常在漢語(yǔ)疑問(wèn)句中是運(yùn)用重音進(jìn)行凸顯,在口語(yǔ)交際中表現(xiàn)十分突出”[4],問(wèn)句<3>顯然與問(wèn)句<1>不一樣。如將它們不加以區(qū)分都采用“直接解答”的邏輯形式分析方法,最終問(wèn)句<3>的形式還是要表達(dá)為與問(wèn)句<1>相同的形式<1'>。這樣就無(wú)法分析到問(wèn)句內(nèi)部,也就無(wú)法準(zhǔn)確地刻畫(huà)不同問(wèn)句的邏輯形式。另外,問(wèn)句<4>是以“什么時(shí)間”(when)為標(biāo)志的特指問(wèn)句,對(duì)于這一特指問(wèn)句要得到它的所有直接解答并不是一件容易的事情,因?yàn)槲覀兛梢哉f(shuō)出“明天學(xué)生黨員開(kāi)會(huì)”、“明天上午8:30學(xué)生黨員開(kāi)會(huì)”、“下周一學(xué)生黨員開(kāi)會(huì)”等等若干個(gè)滿足<4>的直接解答,如采用刻畫(huà)問(wèn)句<2>那樣的方法,就會(huì)得到一個(gè)有無(wú)窮長(zhǎng)析取支的析取式,宋文淦先生曾指出類似<4>的問(wèn)句有無(wú)窮直接解答,是一個(gè)無(wú)意義的問(wèn)句,這顯然和我們的常識(shí)不符,所以邏輯形式分析方法也不適用于這種特指問(wèn)句。由于該方法對(duì)于現(xiàn)代漢語(yǔ)中一些特殊的初等問(wèn)句,無(wú)法根據(jù)其規(guī)則進(jìn)行形式分析,存在著一定的缺陷,因此我們?cè)谘芯糠椒ㄉ闲枰肀脔鑿健?p#分頁(yè)標(biāo)題#e#   二、問(wèn)句的“問(wèn)域”概念   在日常生活中,人們由于缺少某個(gè)方面的信息,在特定的范圍內(nèi)對(duì)所需要的信息提出疑問(wèn),要求回答者在這個(gè)范圍內(nèi)給予解答,這是問(wèn)題提出的過(guò)程。其中,在問(wèn)題邏輯中,研究者將這個(gè)特定的范圍用術(shù)語(yǔ)表示為“問(wèn)域”(interrogativerange)。“域,指界限或范圍,問(wèn)題的問(wèn)域是指一個(gè)問(wèn)題中所包含的未知項(xiàng)所應(yīng)取值的范圍,即問(wèn)題的解答所取值的范圍”[5]。“問(wèn)域是交際的雙方必須共同遵守的一種規(guī)范,也是問(wèn)題的必要組成成分”[3]134。因此,問(wèn)域?qū)?wèn)題產(chǎn)生著重要的影響。問(wèn)句表達(dá)問(wèn)題,問(wèn)域在問(wèn)句的表現(xiàn)形式通常是一些名詞、代詞、數(shù)詞等,問(wèn)域雖然根據(jù)不同疑問(wèn)信息會(huì)各不相同,但從問(wèn)句的三種基本類型來(lái)看,它們的問(wèn)域是相對(duì)穩(wěn)定的。例如,下列問(wèn)句:(1)“板藍(lán)根”是一種植物的根嗎?(2)無(wú)軌電車上的電動(dòng)機(jī)用的是什么電?(3)藍(lán)鯨與海豚哪一個(gè)游得快?問(wèn)句(1)是一個(gè)是非問(wèn)句,它的問(wèn)域是針對(duì)“板藍(lán)根與一種植物的根”是否具有關(guān)系來(lái)提問(wèn)的,可以說(shuō)是對(duì)于“板藍(lán)根是一種植物的根”這一陳述句整體的疑問(wèn);對(duì)問(wèn)句(2)來(lái)說(shuō),它是一個(gè)以“什么(電)”為標(biāo)志的特指問(wèn)句,因此該問(wèn)句的問(wèn)域就應(yīng)當(dāng)是對(duì)于電動(dòng)機(jī)電的種類的疑問(wèn);而問(wèn)句(3)則是一個(gè)選擇問(wèn)句,它在意義上等同于問(wèn)句“藍(lán)鯨游得快或是海豚游得快”,所以它的問(wèn)域主要在“藍(lán)鯨”和“海豚”的游速之間產(chǎn)生的疑問(wèn)?？梢?jiàn),三種初等問(wèn)句的問(wèn)域都表達(dá)了隱藏于問(wèn)句之中的某種思想的范圍,而這種隱藏的思想與問(wèn)題的提出密切相關(guān),它是問(wèn)題提出的前提,用陳述句表示,在語(yǔ)言學(xué)中被稱為“預(yù)設(shè)”(presupposition)。因此,問(wèn)句的問(wèn)域可以說(shuō)是問(wèn)句的預(yù)設(shè)的范圍。在這里主要討論的是一般的初等問(wèn)句,接著我們來(lái)看內(nèi)部含有“對(duì)比焦點(diǎn)”的問(wèn)句,主要是指一些特殊的初等是非問(wèn)句。例如前文中提到的初等是非問(wèn)句“明天學(xué)生黨員開(kāi)會(huì)嗎?”含有對(duì)比焦點(diǎn)“明天”。這類問(wèn)句含有內(nèi)部的對(duì)比焦點(diǎn),而對(duì)比焦點(diǎn)主要承載了問(wèn)句提問(wèn)的疑問(wèn)信息,是問(wèn)句的中心,那么這種特殊的問(wèn)句其問(wèn)域要限定問(wèn)句的提問(wèn)信息范圍就必須體現(xiàn)在問(wèn)句的“對(duì)比焦點(diǎn)”上,因此,“對(duì)比焦點(diǎn)”的范圍是這類問(wèn)句的問(wèn)域,這也是其區(qū)別于一般問(wèn)句問(wèn)域的特殊性表現(xiàn)。   三、從“問(wèn)域”角度開(kāi)展初等問(wèn)句的邏輯形式分析   對(duì)于每一個(gè)問(wèn)題來(lái)說(shuō),確定問(wèn)題的問(wèn)域是提出問(wèn)題、解答問(wèn)題的前提,無(wú)論哪一個(gè)問(wèn)題,它都勿庸置疑的含有自身的問(wèn)域,從整體上而言這是一種較為確定的范圍,所以我們可以將“問(wèn)域”作為研究問(wèn)句邏輯形式的切入口,展開(kāi)基于“問(wèn)域”上的問(wèn)句形式分析。這種刻畫(huà)形式的方法是以各個(gè)問(wèn)句自身的不同疑問(wèn)信息為依據(jù)的,結(jié)合了問(wèn)句的“對(duì)比焦點(diǎn)”,具有形式分析上的特殊性,而類型基本相同的問(wèn)句之間又存在著相互聯(lián)系,表現(xiàn)在“問(wèn)域”上的共性可以引入到一般問(wèn)句的形式分析中去,這又體現(xiàn)了這種刻畫(huà)方法的一般性。因此,特殊性與一般性的結(jié)合是這種方法的顯著特點(diǎn),這也是提出該方法的必要之處。另外,需要說(shuō)明的是,“問(wèn)句”形式分析作為本文探討內(nèi)容的中心,是在問(wèn)句邏輯領(lǐng)域里展開(kāi)的,那么,元邏輯的研究也是不可或缺的研究方法,所以這種分析方法像邏輯形式分析方法一樣仍然建立在一階邏輯基礎(chǔ)上,其形式語(yǔ)言為一階邏輯形式語(yǔ)言L的擴(kuò)充,我們將其稱為L(zhǎng)D。下面就嘗試著對(duì)基本問(wèn)句的形式展開(kāi)“問(wèn)域”上的分析。   “問(wèn)域”的問(wèn)句形式分析中的形式語(yǔ)言LD主要包括兩個(gè)部分———初始符號(hào)和公式形成規(guī)則:首先LD初始符號(hào)的規(guī)定如下:1.一階謂詞邏輯符號(hào):(1)括號(hào):),(;(2)個(gè)體變?cè)?X1,X2,X3,…;(3)聯(lián)結(jié)詞:,∧,∨,→;(4)量詞:,;(5)等詞:=;(6)個(gè)體常元:a1,a2,a3,…;(7)命題符:S1,S2,S3,…;(8)謂詞符:P1,P2,P3,…;2.擴(kuò)充符號(hào):(1)疑問(wèn)算子:?;(2)問(wèn)域符:[];其中,“個(gè)體變?cè)c個(gè)體常元統(tǒng)稱為L(zhǎng)D的項(xiàng)”[6]。其次,公式形成規(guī)則如下:1.每一個(gè)命題符S都是一個(gè)LD公式;2.如果P是一個(gè)n元謂詞,b1,…,bn都是項(xiàng),則P(b1,…,bn)是LD公式;3.如果b1和b2都是項(xiàng),則(b1=b2)是LD公式;4.如果S1和S2都是LD公式,則,S1,(S1∧S2),(S1∨S2)和(S1→S2)都是LD公式;5.如果S是LD公式,x是個(gè)體變?cè)?則(x)S和(x)S都是LD公式;6.如果S是LD公式,其中不出現(xiàn)?,則[?][S]是LD公式;   從公式形成規(guī)則1到5,可以看出這些都是一階謂詞邏輯的公式形成規(guī)則,而6與7是在前5條規(guī)則基礎(chǔ)上派生出來(lái)的,因此,我們說(shuō)形式語(yǔ)言LD是一階邏輯形式語(yǔ)言L的擴(kuò)充。這里需要說(shuō)明的是,規(guī)則6中的符號(hào)[?],是由問(wèn)域符附加疑問(wèn)算子組成的,它可以解釋為“問(wèn)域作用于問(wèn)句”,這個(gè)特殊符號(hào)的建立,使含有疑問(wèn)焦點(diǎn)的問(wèn)句,都能夠通過(guò)“問(wèn)域”給予形式表達(dá)。首先,關(guān)于三種初等問(wèn)句的形式分析,可以分別表示為:(Ⅰ)初等是非問(wèn)句形式分析可以表示為:[?][p∨p];(Ⅱ)初等選擇問(wèn)句形式分析可以表示為:[?][p1∨p2∨…∨pn];(Ⅲ)初等特指問(wèn)句形式分析可以表示為:[?][(x)(P(x))];   由于問(wèn)域作用于整個(gè)問(wèn)句,所以一般初等是非問(wèn)句與選擇問(wèn)句采用的是命題邏輯為分析工具,而一般特指問(wèn)句則采用謂詞邏輯為分析工具,主要的原因是由于表達(dá)特指問(wèn)句的問(wèn)句,它的問(wèn)域是作用于某個(gè)特定的疑問(wèn)詞上,即通常人們理解的“wh”問(wèn)詞,問(wèn)詞都是內(nèi)嵌于問(wèn)句之中的,因此也可以說(shuō)問(wèn)域作用于問(wèn)句的內(nèi)部,所以采用謂詞邏輯分析較為準(zhǔn)確與精細(xì)。另外,命題符P與謂詞符P(x)所表示的不是邏輯形式分析方法中提到的“直接解答”,而是問(wèn)句“強(qiáng)預(yù)設(shè)”的形式表達(dá)。接著我們來(lái)看問(wèn)句內(nèi)部含有“對(duì)比焦點(diǎn)”的特殊是非初等問(wèn)句。舉例說(shuō)明,如以下問(wèn)句:<5>經(jīng)理是周一乘坐CA1562航班去北京出差嗎?<6>經(jīng)理是周一乘坐CA1562航班去北京出差嗎?<7>經(jīng)理是周一乘坐CA1562航班去北京出差嗎?首先問(wèn)句<5>至<7>之間存在著緊密的聯(lián)系,從它們的語(yǔ)言表達(dá)來(lái)看,問(wèn)句去掉著重線后,都是一個(gè)一般的初等是非問(wèn)句:<8>經(jīng)理是周一乘坐CA1562航班去北京出差嗎?但是還要明確這四個(gè)問(wèn)句根據(jù)加著重線的不同分別表達(dá)不同的是非問(wèn)句,就問(wèn)句<5>的語(yǔ)義信息表明,該問(wèn)句除去“周一”這個(gè)對(duì)比焦點(diǎn),其他部分的信息都是明確的,也可以說(shuō)如果除去這個(gè)對(duì)比焦點(diǎn),問(wèn)句中其他部分就能夠在語(yǔ)義上明確表達(dá)一個(gè)有所斷定的命題,因此,我們可從帶有對(duì)比焦點(diǎn)的部分考慮將其作為疑問(wèn)的重點(diǎn)加以形式分析,轉(zhuǎn)化為問(wèn)域符和疑問(wèn)算子[?]共同作用的范圍。這類特殊的初等是非問(wèn)句的形式化基本思路如下:#p#分頁(yè)標(biāo)題#e#   首先,我們令“m”表示“經(jīng)理是周一出差”,“p”是表示“經(jīng)理是乘坐CA1562航班出差”,“b”是表示“經(jīng)理是去北京出差”,針對(duì)一般初等是非問(wèn)句<8>按照形式分析公式(Ⅰ)可形式化為:<8'>[?][(m∧p∧b)∨((m∧p∧b))]那么<8'>形式刻畫(huà)的是非問(wèn)句<8>在語(yǔ)義上根本表達(dá)了以下涵義:<8''>“經(jīng)理周一乘坐CA1562航班去北京出差還是經(jīng)理沒(méi)有周一乘坐CA1562航班去北京出差的嗎?”顯然該問(wèn)句的“問(wèn)域”表現(xiàn)在形式分析中也是作用于整個(gè)問(wèn)句。   其次,對(duì)于問(wèn)句<5>至<7>來(lái)說(shuō),它們都具有不同的“對(duì)比焦點(diǎn)”,問(wèn)句<5>的“對(duì)比焦點(diǎn)”為“周一”,問(wèn)句<6>的“對(duì)比焦點(diǎn)”為“乘坐CA1562航班”,而問(wèn)句<7>的“對(duì)比焦點(diǎn)”則為“去北京”,這些區(qū)別于一般初等是非問(wèn)句<8>。因此,形式分析的著重點(diǎn)應(yīng)該主要放于這些問(wèn)句的“對(duì)比焦點(diǎn)”上,并且使問(wèn)句的“問(wèn)域”也作用于“對(duì)比焦點(diǎn)”,基于此考慮,問(wèn)題<5>至<7>的形式分析可以表示為:<5'>[?][m∨m]∧p∧b;<6'>[?][p∨p]∧m∧b;<7'>[?][b∨b]∧m∧p;經(jīng)過(guò)形式分析后,我們從問(wèn)句的語(yǔ)義上可以理解<5'>至<7'>分別表達(dá)的涵義為:<5''>“經(jīng)理是在周一還是不在周一乘坐CA1562航班去北京出差的嗎?”;<6''>“經(jīng)理周一是乘坐CA1562航班還是沒(méi)有乘坐CA1562航班去北京出差的嗎?”;<7''>“經(jīng)理周一乘坐CA1562航班是去北京還是不是去北京出差的嗎?”;從這里可以看出,對(duì)比焦點(diǎn)使具有相同語(yǔ)言表達(dá)的問(wèn)句實(shí)際在語(yǔ)義上是存在著相當(dāng)明顯的差異。   我們通過(guò)問(wèn)句在“問(wèn)域”角度上的邏輯形式分析,在一定程度上能夠把這種差異性表現(xiàn)出來(lái),為了更加清晰地理解建立在形式語(yǔ)言LD上的“問(wèn)域”的問(wèn)句形式分析,我們將從問(wèn)句及其解答的相互關(guān)系角度,對(duì)這種形式分析方法做出進(jìn)一步地說(shuō)明。于是假設(shè)我們對(duì)初等是非問(wèn)句<5>至<8>全部做出否定解答,可以根據(jù)這四個(gè)問(wèn)句的語(yǔ)義表示<5''>至<8''>分別得到它們的否定解答為:<5''a>“經(jīng)理沒(méi)有在周一乘坐CA1562航班去北京出差的”可用形式刻畫(huà)為:<5'a>(m)∧p∧b;<6''a>“經(jīng)理周一不是乘坐CA1562航班去北京出差的”可用形式刻畫(huà)為:<6'a>(p)∧m∧b;<7''a>“經(jīng)理周一乘坐CA1562航班不是去北京出差的”可用形式刻畫(huà)為:<7'a>(b)∧m∧p;<8''a>“并非經(jīng)理周一乘坐CA1562航班去北京出差的”可用形式刻畫(huà)為:<8'a>(m∧p∧b)另外,我們從三個(gè)問(wèn)句的形式分析<5'>至<7'>根據(jù)邏輯形式規(guī)則可以得到它們的等價(jià)形式表達(dá):<5'b>[?][(m∧p∧b)∨((m)∧p∧b)];<6'b>[?][(p∧m∧b)∨((p)∧m∧b)];<7'b>[?][(b∧m∧p)∨((b)∧m∧p)];我們又知道初等是非問(wèn)句[?][(P∨P)]的直接解答有兩種:P與P,其中否定解答為P,因此,問(wèn)句<5>至<8>的否定解答從它們的形式表達(dá)<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)很顯然對(duì)于初等是非問(wèn)句<5>至<8>的否定解答,通過(guò)“問(wèn)域”形式分析方法分析的結(jié)果———<5'c>至<8'c>與通過(guò)語(yǔ)義表達(dá)上得到的結(jié)果———<5'a>至<8'a>兩者也是完全一致的。   因此,建立在問(wèn)句“問(wèn)域”理論上的問(wèn)句形式分析方法,在處理含有對(duì)比焦點(diǎn)的初等問(wèn)句的形式和一般的初等問(wèn)句研究上可以被證明是具有邏輯可行性的,并且我們看到這種方法能夠?qū)⒁话愕膯?wèn)句形式分析與特殊的問(wèn)句形式分析統(tǒng)一起來(lái),這樣更加能夠使邏輯貼近對(duì)自然語(yǔ)言中“問(wèn)句”的理解。   結(jié)　語(yǔ)   本文對(duì)現(xiàn)代漢語(yǔ)中含有“對(duì)比焦點(diǎn)”的初等問(wèn)句給出問(wèn)域的形式分析,這只是本人從一個(gè)新的角度對(duì)問(wèn)句形式分析的一個(gè)初步探索,藉此希望發(fā)揮現(xiàn)代邏輯形式分析方法在語(yǔ)言學(xué)研究中的作用,肯定還存在許多不足之處,懇請(qǐng)同行學(xué)者共同研究?？梢哉f(shuō),“問(wèn)題”不斷,我們的探索也將永不間斷。