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