Tolong jelaskan mengenai Saul Kripke

Saul Aaron Kripke (; 13 November 1940 – 15 September 2022) 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.