本書的研究目的是探討漢語中部分句式的語義表達問題。這一研究的 理論基礎是形式語言學的研究方法論。具體地說，本文的理論依托不但包 括模型理論、規(guī)則對規(guī)則假設、邏輯翻譯理論和類型理論等形式語言學的 經(jīng)典思想，而且包括HPSG框架中的庫柏儲存理論、非組合性理論和事件語 義學的形式研究方法等新的理論成果。從形式語言學的研究方法出發(fā)，我 們對語義的描述采用的是邏輯公式的表現(xiàn)手段。本書提出了一種擴充的邏 輯語義分析法，并致力于應用這一分析框架來研究漢語部分句式的語義問 題。我們所提出的邏輯語義分析法的擴充性主要體現(xiàn)在兩個方面：一是加 入了(語義)類重設原則；二是在語義的分析過程中堅持把邏輯謂詞視為承 載著整個句式的主要語義信息。這兩個方面相輔相成，能夠盡可能地保證 分析過程的實效性和一致性。
     運用邏輯的方法來表現(xiàn)語義，其優(yōu)勢不僅體現(xiàn)為描寫本身的嚴謹性和 **性，并且*進一步地體現(xiàn)在使得語義描寫的計算機語言實現(xiàn)成為可能 。本書所使用的計算機語言是SICStus版本的Prolog語言，并對漢語部分句 式的語義生成過程進行了個案實現(xiàn)。就句式語義的生成過程而言，我們進 行分析的主要依據(jù)是類型驅(qū)動的語義生成思想。這一思想與我們所提出的 擴充的邏輯語義分析法是一致的。
     全書主體部分分為八章，各章所述內(nèi)容和結(jié)構安排具體如下。
     **章引言，主要總結(jié)和概述相關的研究背景，對本書所從事的研究 工作的意義和研究工作的基礎進行了說明，并對全書的結(jié)構安排做了介紹 。
     第二章形式語義的基本理論及其自動分析的原理，首先介紹模型理論 、規(guī)則對規(guī)則假設、邏輯翻譯理論和類型理論等形式語義研究中的幾個基 本理論思想，并指出這些基本理論思想既是本書所提出的語義分析法的基 礎，也是在Prolog語言中實現(xiàn)個案語義自動分析的基礎。接下去重點討論 基于定子句語法的Prolog語言的一些基本概念。
     第三章一種擴充的邏輯語義分析法，集中討論書中應用于語義分析的 一種擴充的邏輯語義分析法，特別是這一語義分析法所包含的兩條主要原 則，即類重設原則和邏輯謂詞原則，并在此基礎上進一步討論這一語義分 析法的理論內(nèi)涵和應用特點。
     第四章論元控制謂詞與非論元控制謂詞的邏輯語義分析與計算，是在 邏輯語言Lt和漢語部分語句系統(tǒng)Ct的范圍內(nèi)進行的。本章首先把漢語中由 動詞充當謂詞的情況歸納為論元控制謂詞和非論元控制謂詞，其中，論元 控制謂詞又分為主語論元控制謂詞和賓語論元控制謂詞，并對這幾類謂詞 的語義性質(zhì)進行了形式化的定義。此外，還對賓語論元控制謂詞做出了進 一步的次類區(qū)分和歸納。
     第五章量化句的邏輯語義分析與計算，先是對比并分析了生成量化句 的邏輯語義表達式的四種方案，接著討論了如何借助于HPSG的語法框架中 有關量詞儲存的理論來描寫漢語量詞轄域歧義的現(xiàn)象。本章的后半部分主 要討論了漢語中的存在量詞、能夠視為典型的存在量化句的“有”字句和 周遍性主語句分析作全稱量化句的條件。本章的邏輯語義分析是在上一章 邏輯語言Lt和漢語部分語句系統(tǒng)Ct基礎上所相應地擴充的邏輯語言Lq和漢 語部分語句系統(tǒng)Cq的范圍內(nèi)進行的。
     第六章“NP+在+處所+VP”句式的事件語義分析，是在邏輯語言Le和漢 語部分語句系統(tǒng)Ce進行的范圍內(nèi)展開討論的，它們相應地又是對上一章中 邏輯語言Lq和漢語部分語句系統(tǒng)Cq的擴充。本章重點對“NP+在 +NP_loc+Vt+NP”句式進行了分析。本章把這個句式從事件語義分析的角度 區(qū)分為簡單處所事件和復合處所事件，并認為這個句式能夠體現(xiàn)為復合處 所事件的條件是處所事件在所發(fā)生的持續(xù)時間內(nèi)包孕著另一個通常是非處 所性質(zhì)的事件。
     第七章再談若干句式的事件語義分析，把在前文中已討論過的各種句 式重新統(tǒng)一地置于事件語義的邏輯分析框架之中。從形式化的事件語義角 度出發(fā)，對相關的句式做出事件語義類型的一致性分類。本章研究試圖表 明，運用事件語義的邏輯分析方法，有可能使我們從一個新的視角出發(fā)對 漢語句式的語義性質(zhì)有*為深入的理解。
     第八章結(jié)語，是對全書研究工作的小結(jié)，指出了研究中仍存在的問題 ，并對后續(xù)的研究工作做了展望。
     此外，在各個主要章節(jié)(第二章至第七章)中，我們對一些重要的句式 格式都做了在Prolog語言環(huán)境下典型個案實現(xiàn)的演示。