單模態(tài)框架內(nèi)的缺省

陳林琳

【摘要】英語(yǔ)句中通常會(huì)出現(xiàn)省略個(gè)別詞匯或者短語(yǔ)的現(xiàn)象，我們把這種現(xiàn)象叫做缺省。母語(yǔ)為非英語(yǔ)的人群很容易在理解這類句子的時(shí)候產(chǎn)生歧義，本文旨在用邏輯學(xué)中的一元的思想來(lái)解析子句省略句的句法和語(yǔ)義，重點(diǎn)會(huì)用到蒙太格語(yǔ)法以及模態(tài)邏輯的思想來(lái)為大家解讀缺省句。

【關(guān)鍵詞】缺??；形式語(yǔ)義；模態(tài)邏輯

中圖分類號(hào)：H31

文獻(xiàn)標(biāo)識(shí)碼：A

文章編號(hào)：1006-0278（2015）04-135-01

組合模型得到類似連接符組合的過(guò)程很像組合的蘭貝克演算。向右做除法的算子、向左做除法的算子和連接的乘積算子分別表述為：/a，＼a和·a.非組合連接符表示為/a，＼a和·a，和非組合蘭貝克演算NL相似，這也是考慮到wrapping和中加情況中嵌入點(diǎn)的界定。如果組合連詞被應(yīng)用，則不考慮上述情況。Wrapping算子表述為/w，＼w和·w，這和Morrill的非連續(xù)算子，↓，↑和⊙相似。當(dāng)A和省去的B的函項(xiàng)意義結(jié)合時(shí)，一個(gè)類似B＼wA的范疇函項(xiàng)表達(dá)式是范疇A的非完整表達(dá)式。換句話說(shuō)，函項(xiàng)B＼wA是一個(gè)不斷圍繞B回指自己以形成函項(xiàng)A。A不間斷的生成范疇B·wA，這意味著范疇A的表達(dá)式是包含了不定嵌入的范疇B的表達(dá)式。最后，我們來(lái)看缺省模型，這是一個(gè)很新的概念，也是源于缺省和亞省略在wrapping模型中的交互作用最后形成的模型。

系統(tǒng)的推理能力基于不同推理模型之間的交互作用。以下交互規(guī)則是由組合模型、非組合模型和wrapping模型這兩者之間的交互。

Wrapping附加的特殊技能更加清晰地體現(xiàn)在下面的框架條件中：

第二個(gè)交互作用規(guī)則對(duì)分析缺省和亞缺省十分重要，在本章中我會(huì)按照Hendriks教授的標(biāo)注方法，把這條規(guī)則標(biāo)為[MA]。它是定義缺省模型g和wrapping模型w之間交互作用的，MA支持混合結(jié)合性，例如，包含兩個(gè)不同模型的結(jié)合性。除此之外，還具有其他特性：

我們給出（9）的框架規(guī)則：

我們要注意區(qū)分組合性，非組合性，wrapping和缺省模型交互的不同，假設(shè)這些模型是依據(jù)（7）和（9）進(jìn)行交互作用的，多模態(tài)分析能同時(shí)呈現(xiàn)缺省和亞缺省。下一節(jié)中我們會(huì)介紹多模態(tài)對(duì)缺省句的分析。

缺省的多模態(tài)分析

首先我們通過(guò)指派到詞項(xiàng)，來(lái)給出一個(gè)語(yǔ)言表達(dá)式的多模態(tài)分析：

John studies logic and Charles phonetics

（5）

我們用范疇語(yǔ)法分析這個(gè)例子：

其中，TV是（NP＼aS）/aNP的縮寫，指派及物動(dòng)詞，連接左邊的主語(yǔ)NP和右邊的賓語(yǔ)NP，派生的下一步就是在范疇外面加上方括號(hào)，這樣先行詞序列就有了一種限制的形式，再結(jié)合前面的規(guī)則，我們得到：

語(yǔ)言表達(dá)式分析的好處在于，不管目標(biāo)類型有沒有減少，它都起到一個(gè)限制的作用。在這種特殊例子中，目標(biāo)類型就是S。根據(jù)Gentzen序列演算，多模態(tài)框架中類型轉(zhuǎn)換是有效的，如果我們能將所有分散的分支歸納為公理。當(dāng)然，通過(guò)推理規(guī)則和反向交互規(guī)則我們也很容易將分支結(jié)構(gòu)歸納，這會(huì)起到一個(gè)移除類型以形成連詞的作用，不管是對(duì)前件，還是緊隨隨后的類型。由于這個(gè)歸納過(guò)程過(guò)于復(fù)雜，在這里我們就不說(shuō)了。

我們引入一個(gè)向后的規(guī)則[/gL]，起到一個(gè)將派生分裂成兩個(gè)更小的半派生，或者叫次派生（subderivation），然后這兩個(gè)亞派生又能繼續(xù)分裂成更小的派生。前面說(shuō)了那么多，我們?cè)賮?lái)詳細(xì)看看缺省結(jié)構(gòu)子句Charles phonetics，被分析為一組非組合范疇（NP，NP）n。因?yàn)橛蟹墙Y(jié)構(gòu)分支的存在，被省去的動(dòng)詞信息沒有在派生過(guò)程中丟失，逗號(hào)能指示其位置。連接詞的范疇提供了一個(gè)生產(chǎn)連接項(xiàng)的具體過(guò)程，（X＼X）/X。這里我們列舉的缺省和Morr111（1994）還有所不同，Morrill其實(shí)是有將關(guān)聯(lián)、非關(guān)聯(lián)和wrapping結(jié)合在一起了，根據(jù)他的研究，連接詞的范疇必須被寫成（（（TV·w（TV＼wS））＼aS）/a（TV＼wS），這樣才能更清楚的解釋缺省結(jié)構(gòu)的不同連接詞。跟之前的范疇（X＼X）/X相比較，左邊參數(shù)范疇記為《TV·w（TV＼wS），右邊的參數(shù)范疇記為（TV＼wS）。

在范疇語(yǔ)法中，語(yǔ)義學(xué)跟句法的關(guān)系聯(lián)系相當(dāng)緊密，前面的例子中也能給出缺省結(jié)構(gòu)的語(yǔ)義解釋，我們就不做介紹了。/I，＼i和·i的推理規(guī)則如下：

在處理語(yǔ)義問題上向右的規(guī)則[/iR]和[＼iR]和lambda結(jié)構(gòu)一致，向左的規(guī)則和功能應(yīng)用對(duì)應(yīng)。[·B]和[·L]負(fù)責(zé)配對(duì)和投射。TV是假定的及物動(dòng)詞，第一個(gè)結(jié)合的語(yǔ)義和第二個(gè)相同，R是一個(gè)及物動(dòng)詞語(yǔ)義的二元關(guān)系，我們給出一個(gè)一個(gè)完整的并列結(jié)構(gòu)的語(yǔ)義解釋。

參考文獻(xiàn)：

[1] Barbara H Partee. A Brief History ofthe Syntax-Semantics In-terface in Westem Formal LinguisticsEMl.University of Massachusetts，Amherst ，2012.

[2] Richard Montague.Formal Philosophy， Yale University[M].New Haven，1974.