自然語言語義學(xué)是涉及語言學(xué)、邏輯學(xué)、計(jì)算機(jī)科學(xué)、心理學(xué)等諸多領(lǐng)域的一門學(xué)科。本書第1-6章和第8-10章主要介紹成分結(jié)構(gòu)語法及相關(guān)知識(shí)，第7章和第11-15章主要介紹類型邏輯語法(Lambek類型語法)，并討論了成分結(jié)構(gòu)語法和類型邏輯語法之間的異同。本書對(duì)自然語言語義學(xué)的介紹主要是基于英語的語法，作為導(dǎo)論性書籍，省略了許多更為復(fù)雜的邏輯形式。