An electronic companion to this text by Kripke, including commentary, bibliographies, and biographi...