图书介绍：本书是从逻辑角度研究隐喻的专著，这部专著的首要任务是试图用计算的方式解决隐喻真值问题。要解决隐喻的真值计算问题，首先要构建NETMET（net of metaphor）计算程序，为此，作者就对下面问题展开了深入的研究：语言的表层结构和深层结构、隐喻的句法结构、语言的概念结构、可能世界语义学，对传统谓词演算（PC）进行改造后的拓展谓词演算XPC.接下来作者还研究了隐喻所基于的类比的逻辑，包括类比接达逻辑、类比映射逻辑和类比迁移逻辑等。作者还研究了隐喻的生成、解释和真值问题。这些问题涉及隐喻的生成机制、解释机制、隐喻的逻辑释义的类比等值、基于演绎推理—溯因推理的蕴含复合体、隐喻所基于的类比的证实条件、隐喻的词汇意义和语义公设等。对这些问题展开深入研究并建构NETMET计算程序之后，作者就能用XPC语言对隐喻性语言进行编码并在NETMET程序中执行运算。