范疇類(lèi)型邏輯是當(dāng)代自然語(yǔ)言邏輯中的一個(gè)重要分支，其使用邏輯學(xué)中的方法，甚至數(shù)學(xué)中的方法為自然語(yǔ)言問(wèn) 題的解決提供一條形式化的解決路徑。當(dāng)下范疇類(lèi)型邏輯中主要有傳統(tǒng)的范疇類(lèi)型邏輯、多模態(tài)的范疇類(lèi)型邏輯、對(duì)稱(chēng)范疇語(yǔ)法三個(gè)分支，其中傳統(tǒng)的范疇類(lèi)型邏輯 是在不結(jié)合的蘭貝克演算的基礎(chǔ)上通過(guò)添加算子或者結(jié)構(gòu)假設(shè)的方式而獲得的一個(gè)范疇類(lèi)型邏輯分支；本書(shū)將從漢語(yǔ)反身代詞回指照應(yīng)問(wèn)題出發(fā)，以具體的語(yǔ)言學(xué)問(wèn) 題為基礎(chǔ)，通過(guò)構(gòu)造三類(lèi)不同范疇類(lèi)型邏輯對(duì)這一問(wèn)題的解決方案，說(shuō)明三者之間的區(qū)別和聯(lián)系，特別是在處理語(yǔ)言學(xué)問(wèn)題上的優(yōu)缺點(diǎn)。