單模態框架內的缺省

陳林琳

【摘要】英語句中通常會出現省略個別詞匯或者短語的現象，我們把這種現象叫做缺省。母語為非英語的人群很容易在理解這類句子的時候產生歧義，本文旨在用邏輯學中的一元的思想來解析子句省略句的句法和語義，重點會用到蒙太格語法以及模態邏輯的思想來為大家解讀缺省句。

【關鍵詞】缺省；形式語義；模態邏輯

中圖分類號：H31

文獻標識碼：A

文章編號：1006-0278（2015）04-135-01

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

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

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

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

我們給出（9）的框架規則：

我們要注意區分組合性，非組合性，wrapping和缺省模型交互的不同，假設這些模型是依據（7）和（9）進行交互作用的，多模態分析能同時呈現缺省和亞缺省。下一節中我們會介紹多模態對缺省句的分析。

缺省的多模態分析

首先我們通過指派到詞項，來給出一個語言表達式的多模態分析：

John studies logic and Charles phonetics

（5）

我們用范疇語法分析這個例子：

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

語言表達式分析的好處在于，不管目標類型有沒有減少，它都起到一個限制的作用。在這種特殊例子中，目標類型就是S。根據Gentzen序列演算，多模態框架中類型轉換是有效的，如果我們能將所有分散的分支歸納為公理。當然，通過推理規則和反向交互規則我們也很容易將分支結構歸納，這會起到一個移除類型以形成連詞的作用，不管是對前件，還是緊隨隨后的類型。由于這個歸納過程過于復雜，在這里我們就不說了。

我們引入一個向后的規則[/gL]，起到一個將派生分裂成兩個更小的半派生，或者叫次派生（subderivation），然后這兩個亞派生又能繼續分裂成更小的派生。前面說了那么多，我們再來詳細看看缺省結構子句Charles phonetics，被分析為一組非組合范疇（NP，NP）n。因為有非結構分支的存在，被省去的動詞信息沒有在派生過程中丟失，逗號能指示其位置。連接詞的范疇提供了一個生產連接項的具體過程，（X＼X）/X。這里我們列舉的缺省和Morr111（1994）還有所不同，Morrill其實是有將關聯、非關聯和wrapping結合在一起了，根據他的研究，連接詞的范疇必須被寫成（（（TV·w（TV＼wS））＼aS）/a（TV＼wS），這樣才能更清楚的解釋缺省結構的不同連接詞。跟之前的范疇（X＼X）/X相比較，左邊參數范疇記為《TV·w（TV＼wS），右邊的參數范疇記為（TV＼wS）。

在范疇語法中，語義學跟句法的關系聯系相當緊密，前面的例子中也能給出缺省結構的語義解釋，我們就不做介紹了。/I，＼i和·i的推理規則如下：

在處理語義問題上向右的規則[/iR]和[＼iR]和lambda結構一致，向左的規則和功能應用對應。[·B]和[·L]負責配對和投射。TV是假定的及物動詞，第一個結合的語義和第二個相同，R是一個及物動詞語義的二元關系，我們給出一個一個完整的并列結構的語義解釋。

參考文獻：

[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.