שמות והכרח מאת סול קריפקי אחד הטקסטים הקלאסיים בפילוסופיה של הלשון בת זמננו. ראשיתו בסדרת הרצאות שנשא סול קריפקי ב-1970, לה הוסיף הקדמה ב-1980. נקודת המוצא שלו היא תמונה חדשה על משמעותם של שמות פרטיים ועל טבעם של עולמות אפשריים: תמונה, שיש לה זיקה לסוגיות שונות בפילוסופיה של המדע והמתימטיקה. קריפקי מאוניברסיטת פרינסטון נודע בחידושיו המהפכניים בתחום הלוגיקה המודאלית והפילוסופיה של הלשון.