本书以认知意义为视角,以类比为基础,以计算程序为手段,以隐喻的真值和推理为研究对象,对隐喻展开了多学科研究.为解决隐喻的逻辑问题,作者深入研究隐喻语言的句法结构,概念结构,可能世界语义学,以语义角色的介入改造传统谓词演算,建构NETMET计算程序.