Saul Aaron Kripke (Bay Shore, 13 novembre 1940 – Plainsboro, 15 settembre 2022) è stato un filosofo, logico e matematico statunitense.
Professore emerito presso la Princeton University, insegnò anche al Graduate Center della City University of New York, dove gli è stato intitolato il Saul Kripke Center.[1]
Tra la fine degli anni cinquanta e gli anni sessanta, ha dato contributi decisivi allo sviluppo delle semantiche per le logiche modali, dando una caratterizzazione matematicamente precisa del concetto di mondo possibile.[2][3] Sulla base dei suoi studi di logica formale, ha sviluppato tesi originali e molto influenti in filosofia del linguaggio, metafisica e filosofia della logica. Queste tesi sono state presentate per la prima volta nel 1970, durante un ciclo di conferenze all'Università di Princeton, e sono poi confluite nel libro Naming and Necessity. Molto influente è stata anche la sua interpretazione della filosofia del linguaggio di Ludwig Wittgenstein, presentata nel libro Wittgenstein on Rules and Private Language.[4]