Las distinciones modales de Kripke y el concepto de proposicion

I analyze here some insights of Naming and Necessity that have become especially influential in the subsequent philosophy of language and metaphysics. Kripke's distinction between necessary truth and a priori truth plays a central role in two respects: it is fundamental to understand how essentialism has received support from Kripke's book; and it can be seen as closely related to another distinction between two independently plausible but confronted conceptions about what is the proposition expressed by a sentence.