以認知意義為視角、以類比為基礎、以計算程式為手段、以隱喻的真值和推理為研究物件，對隱喻展開了多學科研究。為解決隱喻的邏輯問題，作者深入研究隱喻語言的句法結構、概念結構、可能世界語義學，以語義角色的介入改造傳統謂詞演算，建構NETMET計算程式。在探討隱喻所基於的類比邏輯之後研究類比等值，並透過類比等值，研究隱喻的生成、解釋、蘊含複合體（implication complex）、溯因推理、隱喻的證實條件、隱喻的詞彙意義和語義公設等。
　　
本書涉及邏輯學、哲學、電腦科學、形式語言學、結構主義語言學、可能世界語義學、隱喻學等，可供漢語、英語、哲學、邏輯學、電腦科學等專業的本科生、碩士生、博士生閱讀，也可供不同學科的教師用作教學參考書。


致謝
1 導論
1.隱喻與邏輯
2.隱喻及可能世界語義學
3.類比配對物
4.理論建構型隱喻
5.分析隱喻
6.電腦的哲學運用
附錄1.1 隱喻文本範例
附錄1.2 對存在的類比推理
2 語言
1.引言
2.語言
3.隱喻的語法
4.命題
5.作為網路的命題
6.結論
附錄2.1 語義學
3 概念結構
1.引言
2.概念網路
3.類型的分類等級
4.類型分體論等級
5.過程的分類等級
6.對照結構
7.網路中的對稱性
8.規則和詞彙衍推
9.概念場
10.結論
附錄3.1 樣本描述
4 類比
1.引言
2.趨向形式化的類比理論
3.類比推理階段
4.類比接達
5.受約束滿足類比檢索
6.NETMET中的接達階段
7.類比映射
8.受約束滿足的類比映射
9.比例類比的難點
10.類比映射規則
11.結論
5 類比遷移
1.引言
2.類比遷移
3.亞符號類比遷移
4.類比遷移的擴展範例
5.類比遷移規則
6.類比遷移和歸納推理
7. 類比