By Kripke, Distinguished Professor of Philosophy and Computer Science/Professor Emeritus of Philosophy Saul A