Based on certain new thoughts and methods proposed by modern logic, such as type hierarchy theory, possible worlds semantics, fuzzy and abductive logic, this paper describes and analyses the logical features of metaphor from the perspectives of construction, essence, truth conditions and inference. Finally, It elaborates the dialectic and cooperative relationships between metaphor and logic, pointing out that the essential logical features of metaphor are adaptive and expansionary.