Proper names are rigid designators.
"Saul Aaron Kripke" is an American philosopher and logician. He is currently McCosh Professor of Philosophy, Emeritus, at Princeton University and teaches as a Distinguished Professor of Philosophy at the CUNY Graduate Center. Since the 1960s Kripke has been a central figure in a number of fields related to mathematical logic, philosophy of language, philosophy of mathematics, metaphysics, epistemology, and set theory. Much of his work remains unpublished or exists only as tape-recordings and privately circulated manuscripts. Kripke was the recipient of the 2001 Schock Prize in Logic and Philosophy. A recent poll conducted among philosophers ranked Kripke among the top ten most important philosophers of the past 200 years.If you enjoy these quotes, be sure to check out other famous philosophers! More Saul Kripke on Wikipedia.
Any necessary truth, whether a priori or a posteriori, could not have turned out otherwise.
It really is a nice theory. The only defect I think it has is probably common to all philosophical theories. It's wrong.