範疇類型邏輯是當代自然語言邏輯中的一個重要分支，其使用邏輯學中的方法，甚至數學中的方法為自然語言問 題的解決提供一條形式化的解決路徑。當下範疇類型邏輯中主要有傳統的範疇類型邏輯、多模態的範疇類型邏輯、對稱範疇語法三個分支，其中傳統的範疇類型邏輯 是在不結合的蘭貝克演算的基礎上通過添加算子或者結構假設的方式而獲得的一個範疇類型邏輯分支；本書將從漢語反身代詞回指照應問題出發，以具體的語言學問 題為基礎，通過構造三類不同範疇類型邏輯對這一問題的解決方案，說明三者之間的區別和聯繫，特別是在處理語言學問題上的優缺點。