致謝

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 類比遷移
6 隱喻性交往
7 類比和真值
8 隱喻與推理
9 詞彙意義
10 結論

參考文獻
索引

斯坦哈特（Steinhart）是威廉帕特森（William Paterson）大學的哲學教授。他在賓夕法尼亞大學獲計算機科學學士學位，在波士頓大學獲哲學碩士學位，在紐約大學獲哲學博士學位。他曾經有好幾年從事軟件設計。他的一些計算程序獲得過專利。後來他轉向哲學研究。他用當代分析方法和邏輯方法以及分析工具和邏輯工具從事形而上學研究，對歷史形而上體繫（尤其是柏羅丁哲學體繫、新柏拉圖主義和萊布尼茨）有著濃厚的興趣。他研究過尼采，以及隱喻（用可能世界語義學分析隱喻）。他在形而上學和計算機科學方面寫過大量論文和專著並由此在“Chronotrip”紀錄片中被突出報道。他對宗教哲學也逐漸產生興趣，興趣點在形式科學和神學的交會之處。他是美國學術界非常活躍的人物。
斯坦哈特的這部專著，首要任務是試圖用計算的方式解決隱喻真值問題。如果這個問題得到解決，那麼，這本書將通過“把隱喻運用於計算機以促進哲學方法上的進步。把隱喻結構理論運行於稱作NETMET的計算機程序的這一研究工作將闡明計算機能被運用於復雜的哲學問題的方法。計算機在許多智能活動領域已被認為是強大的解決問題的工具。哲學家們越來越頻繁地使用計算機”（Steinhart 2001）。
要解決隱喻的真值問題，首先要構建NETMET計算程序，為此，作者就對以下問題展開了深入的研究：語言的表層結構和深層結構、隱喻的句法結構、語言的概念結構、可能世界語義學，對傳統謂詞演算（PC，predicate calculus）進行的改造（所得結果是拓展謂詞演算XPC，xtended predicate calculus）。接下來作者還研究了隱喻所基於的類比的邏輯，包括類比接達邏輯、類比映射邏輯和類比遷移邏輯等。
作者還研究隱喻的生成、解釋和真值問題。這些問題涉及隱喻的生成機制、解釋機制、隱喻的邏輯釋義的類比等值、蘊含復合體（implication complex）、溯因推理的邏輯問題、隱喻所基於的類比的證實條件、隱喻的詞彙意義和語義公設等。
對這些問題展開深入研究並建構NETMET計算程序之後，作者
就能用XPC語言對隱喻性語言進行編碼並在NETMET程序中執行運算。這本專著出色地完成了預期的任務。
這本專著以認知意義為視角、以類比為基礎、以計算程序為手段、以隱喻的真值和推理為研究對像，對隱喻展開了多學科研究。這些學科至少包括了邏輯學、哲學、形式語言學、結構主義語言學、隱喻學、計算機科學、可能世界語義學等。該書自出版以來一直到未來若干年在多個學科上都處於最前沿的陣地，是一部值得傳播的著作。這本專著有許多特色，主要的有：首先，本書研究的是隱喻的邏輯真值和隱喻的謂詞演算，使用的是NETMET網絡和演繹一溯因推理，因此本書具有“理論的明晰性、內部的一致性、經驗的概括性、可公開的檢驗性和可公開的拓展性”等特點（Steinhart 2001）。
其次是多學科性。本書集隱喻學、邏輯學（哲學邏輯與數理邏輯）、語言學（計算語言學、形式語言學、結構主義語言學、可能世界語義學）於一身，對隱喻展開多學科研究。