Kripke’s theory of general names attempts to prove that general names are rigid designators which lack descriptive content and have no sense. Their reference is fixed by the internal structure and passed down through casual chains. Kripke distinguishes natural kind names from mental type names. He discovers that the identical proposition of the former is Necessary A Posteriori Truth and the one of the latter is skeptical. He holds a new dualism position to the latter. Kripke’s argument is through his modal logic of possible world and his essential philosophy of language is undoubtedly the language reconstruction of Aristotle’s metaphysics. We hold that both natural kind names and mental type names can be explained by dialectically analyzing the identity.