“Kripke challenged the notion that anyone who uses terms, especially proper names, must be able to correctly identify what the terms refer to,” said Michael Devitt, a distinguished professor of philosophy who recruited Professor Kripke to the City University Graduate Center in Manhattan. “Rather, people can use terms like ‘Einstein,’ ‘springbok,’ perhaps even ‘computer,’ despite being too ignorant or wrong to provide identifying descriptions of their referents,” Professor Devitt said. “We can use terms successfully not because we know much about the referent but because we’re linked to the referent by a great social chain of communication.”
The Pulitzer Prize-winning historian Taylor Branch, writing in The New York Times Magazine in 1977, said Professor Kripke had “introduced ways to distinguish kinds of true statements — between statements that are ‘possibly’ true and those that are ‘necessarily’ true.” “In Professor Kripke’s analysis,” he continued, “a statement is possibly true if and only if it is true in some possible world — for example, ‘The sky is blue’ is a possible truth, because there is some world in which the sky could be red. A statement is necessarily true if it is true in all possible worlds, as in ‘The bachelor is an unmarried man.'”
Read more of this story at Slashdot.