Saul Aaron Kripke (născut la 13 noiembrie 1940) este un filosof și logician american. Este profesor de filosofie la Centrul Universitar din New York și profesor emerit la Universitatea Princeton. Începând cu anii 1960, Kripke a fost o figură centrală într-o serie de domenii legate de logica matematică, filozofia limbii, filosofia matematicii, metafizica, epistemologia și teoria seturilor. O mare parte din opera sa rămâne nepublicată sau există doar ca înregistrări pe bandă și manuscrise în circulație privată. Kripke a primit premiul Schock în 2001 în logică și filosofie.
Kripke a avut contribuții influente și originale în logică, în special logică modală. Opera sa a influențat profund filozofia analitică; contribuția sa principală este o semantică a logicii modale care implică lumi posibile, numită acum semantica Kripke. O altă contribuție a lui este argumentul că necesitatea este o noțiune „metafizică”, care trebuie separată de noțiunea epistemică a priori, și că există adevăruri necesare care sunt adevăruri a posteriori, cum ar fi ”apa asta este H2O”. El a contribuit, de asemenea, la o lectură originală a lui Wittgenstein, numită „Kripkenstein”. O serie de prelegeri din Princeton din 1970, publicată în formă de carte în 1980 ca Naming and Necessity, este considerată una dintre cele mai importante lucrări filosofice ale secolului al XX-lea.
(Exemplu de model Kripke pentru logica temporală liniară, o logică modală particulară.)
Contribuțiile lui Kripke la filosofie includ:
- Semantica Kripke pentru logica modală și conexă, publicată în mai multe eseuri începând cu adolescența sa.
- Prelegerile sale din anul 1970, la Princeton, Naming and Necessity (publicate în 1972 și 1980), care au restructurat în mod semnificativ filozofia limbajului.
- Interpretarea lui a lui Wittgenstein.
- Teoria sa despre adevăr.
El a contribuit de asemenea la teoria seturilor (a se vedea teoria setului admisibil ordininal și Kripke-Platek).
Lasă un răspuns