خلاصه ماشینی:
"کریپکی بهویژه به سبب دیدگاههایش درباره موضوعات زیر شناخته شده است: موضوعاتی مانند مفهوم ضرورت؛ این همانی و جهانهای ممکن؛ ذاتگرایی (به این معنا که اشیا دارای خصوصیات ذاتی هستند)؛ مسئلة نامهای خاص و چگونگی ارجاع آنها به اشیا و نحوه معنی داشتن آنها؛ نسبت بین مفاهیم مختلف ضرورت؛ تحلیلیت؛ مفهوم پیشینی؛ مسئلة مفهوم باور و مسائل مربوط به آن؛ مفهوم حقیقت و مسائل مربوط به آن؛ شکگرایی؛ مفهوم پیروی از قاعده؛ مبحث زبان خصوصی ویتگنشتاین.
اما میدانیم که این دو نام خاص در جهان واقعی شخص واحدی را نشانگری میکنند، پس نتیجه میگیریم که آنها در هر جهان ممکن نیز همان شخص واحد را نشانگری میکنند؛ و چون به عقیدة کریپکی «این همان» همواره ضروری است بنابراین جملهای که میگوید «حافظ خواجه شمسالدین محمد است» باید یک حقیقت ضروری باشد.
چون توصیف مرتبط با «حافظ» ممکن است با توصیف مرتبط با «خواجه شمسالدین محمد» متفاوت باشد، و چون این توصیفها در بعضی جهانهای دیگر، مرجع متفاوت داشته باشند، طبیعی است تصور شود که جملة «حافظ خواجه شمسالدین محمد است» جملهای تصادفی است درست به همان طریق که «سعدی نویسندة گلستان است» جملهای تصادفی است.
همانگونه که کریپکی بر این نکته اصرار کرد که «پیشینی» و «ضرورت» دو مفهوم متمایز و جدا از یکدیگر هستند، درست به همان سان تأکید کرد که تحلیلی بودن نیز مفهوم سومی است که نباید با دو مفهوم دیگر، یعنی با ضرورت و با پیشینی بودن، خلط شود."