Saul Aaron Kripke is an American philosopher and logician. He is a professor emeritus

Emeritus

Emeritus is a post-positive adjective that is used to designate a retired professor, bishop, or other professional or as a title. The female equivalent emerita is also sometimes used.-History:...

 at Princeton

Princeton University

Princeton University is a private research university located in Princeton, New Jersey, United States. The school is one of the eight universities of the Ivy League, and is one of the nine Colonial Colleges founded before the American Revolution....

 and teaches as a Distinguished Professor of Philosophy at the CUNY Graduate Center

CUNY Graduate Center

The Graduate Center of the City University of New York brings together graduate education, advanced research, and public programming to midtown Manhattan hosting 4,600 students, 33 doctoral programs, 7 master's programs, and 30 research centers and institutes...

. Since the 1960s Kripke has been a central figure in a number of fields related to mathematical logic

Mathematical logic

Mathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...

, philosophy of language

Philosophy of language

Philosophy of language is the reasoned inquiry into the nature, origins, and usage of language. As a topic, the philosophy of language for analytic philosophers is concerned with four central problems: the nature of meaning, language use, language cognition, and the relationship between language...

, philosophy of mathematics

Philosophy of mathematics

The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of mathematics and to understand the place of...

, metaphysics

Metaphysics

Metaphysics is a branch of philosophy concerned with explaining the fundamental nature of being and the world, although the term is not easily defined. Traditionally, metaphysics attempts to answer two basic questions in the broadest possible terms:...

, epistemology, and set theory

Set theory

Set theory is the branch of mathematics that studies sets, which are collections of objects. Although any type of object can be collected into a set, set theory is applied most often to objects that are relevant to mathematics...

. Much of his work remains unpublished or exists only as tape-recordings and privately circulated manuscripts.