Numire si necesitate

„Prelegerile lui Kripke sunt o borna in evolutia recenta a filosofiei. Profundul simt comun al lui Kripke si geniul sau in a formula exemple sugestive pentru testarea plauzibilitatii teoriilor fac ca temele pe care le abordeaza sa nu mai arate niciodata la fel ca inainte.” (Times Literary Supplement)

Saul Kripke (n. 1940, New York) a inceput sa arate o inzestrare matematica deosebita si un interes puternic pentru intrebari filosofice la o varsta frageda. La 15 ani a dezvoltat o semantica pentru logica modala cuantificata, iar demonstratia sa a completitudinii semanticii modale a aparut in The Journal of Symbolic Logic, atunci cand avea 19 ani.

Kripke este unul dintre cei mai importanti si mai influenti filosofi analitici din ultima parte a secolului XX. Este totodata unul dintre logicienii matematicieni de frunte, care a adus contributii epocale in domeniul logicii modale (este inventatorul „semanticii lumilor posibile”), al logicii intuitioniste si in teoria multimilor. Principalele contributii ale lui Kripke se inscriu in aria metafizicii, filosofiei limbajului, epistemologiei, filosofiei mintii, filosofiei logicii si matematicii. A propus de asemenea o noua teorie a adevarului care urmareste sa evite problema paradoxelor semantice, cum ar fi paradoxul „mincinosului”.

RECENZII