Saul Aaron Kripke
Towering American philosopher and logician widely regarded as one of the most influential thinkers of the 20th century, who created Kripke semantics for modal logic as a teenager and revolutionized metaphysics and the philosophy of language with Naming and Necessity (1972).