●引 言／1
●第一節 現代模態邏輯的建立及存在的問題／1
●第二節 西方哲學研究中的邏輯分析傳統／7
●第三節 謂詞抽像：主題與脈絡／17
●第一章 謂詞抽像的觀念與發展歷程／26
●第一節 一類特殊的日常語言歧義現像及其哲學意義／26
●第二節 謂詞抽像思想的引入／35
●第三節 菲汀與謂詞抽像的完善／46
●第二章 謂詞抽像與模態Herbrand定理／51
●第一節 經典Herbrand定理／52
●第二節 模態繫統K′的Herbrand定理／66
●第三章 模態繫統K′的Herbrand定理的證明／82
●第一節 從右到左方向的證明／82
●第二節 加標公式表列繫統K′／84
●第三節 從左到右方向的證明／100
●第四章 模態繫統D′、T′、S4′的Herbrand定理及證明／110
●第一節 模態繫統D′、T′、S4′的Herbrand定理／110
●第二節 D′、T′、S4′的Herbrand定理的證明／120
●第五章 謂詞抽像與同一問題／143
●第一節 形上學視閾下的同一問題／144
●部分目錄

本書分為兩部分，靠前部分為謂詞抽像的邏輯研究。作者認為謂詞抽像的本質是一種形式轄域裝置，它使得證明模態Herbrand定理成為現實。第二部分為謂詞抽像的哲學應用。作者認為從謂詞抽像理論的角度看，一些相關哲學問題，包括同一性問題、模態語境下摹狀詞的指稱問題、以及當代知識論的核心問題——葛梯爾問題，都可以得到很好的解決。該選題的價值在於運用新邏輯方法來解決相關的邏輯與哲學問題。

魏燕俠 著