Saul A. Kripke

Saul Aaron Kripke was an American philosopher and logician. He was a distinguished professor of philosophy at the Graduate Center of the City University of New York and a professor emeritus at Princeton University. From the 1960s until his death, he was a central figure in a number of fields related to mathematical and modal logic, philosophy of language and mathematics, metaphysics, epistemology, and recursion theory.

Read more on Wikipedia