Saul Aaron Kripke (/sɔːl ˈkrɪpki/; 13 November 1940 – 15 September 2022[1]) adalah seorang logikawan dan filsuf Amerika Serikat. Sejak 1960an, Kripke telah menjadi figur utama dalam sejumlah bidang terkait matematika logika, filsafat bahasa, filsafat matematika, metafisika, epistemologi dan teori himpunan.