في كتابه الكلاسيكي “التسمية والضرورة”، تناول كريبك بالبحث الآلية الدلالية لأسماء الأعلام، ورفض النظريات التي أسسها فلاسفة مثل فريجه ورسل وسيرل على الأوصاف المحددة. وبحسب كريبك، الذي حاول تأسيس رأيه بحجج موجهة (جهوية) ودلالية ومعرفية، فإن أسماء الأعلام تدل على شيء محدد باعتبارها دوال ثابتة (rigid designators) ذات إحالات ثابتة. فليست الأوصاف المحددة هي ما يمكن أسماء الأعلام من الدلالة على نفس الشيء في جميع العوالم الممكنة. إذ من الممكن أن تدل الأوصاف المحددة على أشياء مختلفة في العوالم الممكنة المختلفة. إذن، يجب أن يكون هناك أساس آخر يمنح اسم العلم هويته عبر العوالم الممكنة. فبعد التسمية الأولى، يكتسب اسم العلم ثباته في دلالته من خلال استخدامات جماعة تستخدم ذلك الاسم وتنقله ضمن سلسلة سببية. لم يقصر كريبك فكرة الدال الثابت، والتي تسمى أيضاً بالنظرية السببية في الإحالة، على أسماء الأعلام، بل رأى أن أسماء الأنواع الطبيعية مثل الذهب والماء والحرارة والنمر هي أيضاً دوال ثابتة تماماً مثل أسماء الأعلام. وقد قادت هذه الأفكار إلى استنتاج أن قضايا الهوية التي تتضمن أسماء أعلام أو أسماء أنواع طبيعية هي قضايا ضرورية. وبناء على ذلك، في حالة وجود اسمين لشخص معين أو لنوع طبيعي معين، فإن قضية الهوية التي يرد فيها هذان الاسمان تكون ضرورية. على سبيل المثال، فإن قضايا مثل “الماء هو H2O” أو “الحرارة هي حركة الجزيئات” هي قضايا صادقة بالضرورة. ومع ذلك، فإن هذا النوع من التسميات هي أفعال ممكنة حدثت في إطار التجربة الحسية، وصدق مثل هذه القضايا يُعرف بعدياً (a posteriori). وفي هذه الحالة، يبرز وضع تكون فيه مجموعة من القضايا، التي تتضمن العديد من التعريفات في العلوم، ضرورية بعدية (necessary a posteriori). والحال أنه في فترة القرنين التي سبقت كريبك، كان يُنظر إلى مفهوم “الضروري” على أنه متلازم مع مفهومي “القبلي” (a priori) و”التحليلي”.

من ناحية أخرى، في “التسمية والضرورة”، انطلاقاً من مسألة “المتر العياري”، أظهر كريبك أنه يمكن أن تكون هناك أيضاً قضايا ممكنة قبلية (contingent a priori)، وبذلك جعل ماهية وحدود التمييز المعرفي بين القبلي والبعدي، الذي ترسخ منذ كانط، أمراً قابلاً للنقاش. وقد شوهد وضع مشابه سابقاً في الهجوم الذي شنه كواين ضد التمييز بين التحليلي والتركيبي الذي ترسخ أيضاً منذ كانط. أما الأحكام التركيبية القبلية، التي تعد من أهم عناصر نظام كانط الفلسفي، فقد تم استبعادها سلفاً. ومع فكرة كريبك بوجود قضايا ضرورية بعدية وقضايا ممكنة قبلية، أصبح الارتباط بين مفهومي الضرورة والقبلي، وهما مفهومان يحتلان مكانة مركزية جداً في فلسفة كانط، أمراً مشكوكاً فيه.