(doğum ismi, d. 1940, Bay Shore, Long Island, New York) Princeton Üniversitesi'nden emekli Amerikalı filozof ve mantıkçı. Rockefeller Üniversitesi ve Princeton Üniversitesi'nde dersler verdi. Emekli olduktan sonra,2003'ten itibaren New York Şehir Üniversitesi'nde öğretim görevlisi oldu. Model mantığın anlambilimine büyük katkılar yaptı. 1960'larda önemli yayınlar çıkardı. isimlendirme ve Gereklilik adlı kitabı en önemli çalışması olarak bilinir. Ludwig Wittgenstein'ın Felsefi Soruşturmalar adlı eserindeki önermelerinden ilham alarak dilbilimsel anlama şüphecilikle yaklaştı. Wittgenstein ve dilbilim hakkında yayınları vardır.
Belli olaylarda uzlaşımımızı açıklayan –yani ‘artı’ ile hepimizin toplamayı kastettiği veya hatta belli bir kişinin bunu kastettiği hiçbir nesnel olgu yoktur. Aksine, birbirimiz hakkında ‘artı’ ile toplamayı kastettiğimiz söyleme ruhsatımız, yalnızca genellikle uzlaştığımız şeklindeki kaba olgudan dolayı kendine destek olan ‘dil-oyunu’nun bir parçasıdır. … Çözüm bir kurala uyduğunu savunan her kişinin başkalarınca denetlenebileceği düşüncesine bağlıdır. Cemiyetteki diğerleri, kurala uyduğu farzedilen kişinin onların onayladıkları, kendi cevaplarıyla uzlaşan belli cevaplar verip vermediğini denetleyebilir.
Onların bunu denetleme şekli, genelde, dil oyununun ilkel bir parçasıdır. / Kripke
