Saul Aaron Kripke war ein amerikanischer Philosoph und Logiker. Er schrieb wegweisende Beiträge zur Logik, insbesondere auf dem Feld der Modallogik und zur Sprachphilosophie, insbesondere zur Namenstheorie.