Saul Kripke (born November 13, 1940) is an American philosopher and logician. The work he is best known for is "Naming and Necessity" (1980). Much of his best known work deal with the logic and language. Kripke was born in Bay Shore, New York. 