Saul Kripke
ساؤل ایرون کرپکے (13 نومبر 1940-15 ستمبر 2022) ایک امریکی تجزیاتی فلسفی اور منطق تھا۔ وہ نیویارک کی سٹی یونیورسٹی کے گریجویٹ سینٹر میں فلسفہ کے ممتاز پروفیسر اور پرنسٹن یونیورسٹی میں ایمریٹس پروفیسر تھے۔ کرپکے کو 20 ویں صدی کے آخری نصف کے سب سے اہم فلسفیوں میں سے ایک سمجھا جاتا ہے۔ 1960 کی دہائی سے وہ ریاضیاتی اور موڈل منطق، زبان اور ریاضی کے فلسفے، مابعد الطبیعات، علمیات، اور تکراری نظریہ سے متعلق متعدد شعبوں میں مرکزی شخصیت رہے ہیں۔ کرپکے نے منطق، خاص طور پر موڈل منطق میں بااثر اور اصل شراکت کی۔ اس کی بنیادی شراکت موڈل منطق کے لیے ایک سیمنٹکس ہے جس میں ممکنہ دنیا شامل ہے، جسے اب کرپکے سیمنٹکس کہا جاتا ہے۔ انہیں منطق اور فلسفہ میں 2001 کا شاک انعام ملا۔ کرپکے منطقی مثبتیت کے زوال کے بعد مابعد الطبیعات اور لازمییت کے احیاء کے لیے بھی جزوی طور پر ذمہ دار تھا، یہ دعوی کرتے ہوئے کہ ضرورت ایک مابعد الطبیعاتی تصور ہے جو ترجیحی کے علمی تصور سے الگ ہے، اور یہ کہ ایسی ضروری سچائیاں ہیں جو پوسٹریوری کے نام سے جانی جاتی ہیں، جیسے کہ پانی H2O ہے۔ 1970 کا پرنسٹن لیکچر سیریز، جو 1980 میں کتابی شکل میں نام اور ضرورت کے نام سے شائع ہوا، 20 ویں صدی کے سب سے اہم فلسفیانہ کاموں میں سے ایک سمجھا جاتا ہے۔ یہ ناموں کے تصور کو سخت نامزد کرنے والوں کے طور پر متعارف کراتا ہے، ہر ممکنہ دنیا میں ایک ہی شے کو نامزد کرتا ہے (چننا، اشارہ کرنا، حوالہ دینا)، جیسا کہ وضاحت کے برعکس ہے۔ اس میں کرپکے کا کازل تھیوری آف ریفرنس بھی شامل ہے، جو گوٹلوب فریج کے احساس کے تصور اور برٹرینڈ رسل کے وضاحت کے نظریہ میں پائے جانے والے وضاحتی نظریہ سے اختلاف کرتا ہے۔ کرپکے کو اکثر منطقی مثبتیت سے بچنے کے لیے 20 ویں صدی کے دوسرے عظیم فلسفی: ڈبلیو وی او کوائن کی مخالفت میں دیکھا جاتا ہے۔ کوئین نے لازمییت اور موڈل منطق کو مسترد کر دیا۔ کرپکے نے اپنی وٹگنسٹین آن رولز اینڈ پرائیویٹ لینگویج میں لڈوگ وٹگنسٹین کا ایک اصل مطالعہ بھی دیا، جسے "کرپکنسٹین" کے نام سے جانا جاتا ہے۔ اس کتاب میں ان کی اصول پر مبنی دلیل موجود ہے، جو معنی کے بارے میں شکوک و شبہات کے لیے ایک تضاد ہے۔ ان کا زیادہ تر کام غیر شائع ہے یا صرف ٹیپ ریکارڈنگ اور نجی طور پر تقسیم شدہ نسخوں کے طور پر موجود ہے۔ زندگی اور کیریئر ساؤل کرپکے ڈوروتھی کے کرپکے اور مائر ایس کرپکے سے پیدا ہونے والے تین بچوں میں سب سے بڑے تھے۔ ان کے والد اوماہا، نیبراسکا میں واحد قدامت پسند جماعت بیت ایل سیناگوگ کے رہنما تھے۔ ان کی والدہ نے بچوں کے لیے تعلیمی یہودی کتابیں لکھیں۔ ساؤل اور اس کی دو بہنیں، میڈلین اور نیٹا نے ڈنڈی گریڈ اسکول اور اوماہا سنٹرل ہائی اسکول میں تعلیم حاصل کی۔ چھ سال کی عمر تک خود کو قدیم عبرانی سکھاتے ہوئے، نو سال کی عمر تک شیکسپیئر کے مکمل کاموں کو پڑھتے ہوئے، اور ابتدائی اسکول کی تعلیم مکمل کرنے سے پہلے ڈیکارٹس کے کاموں اور پیچیدہ ریاضیاتی مسائل میں مہارت حاصل کرتے ہوئے، کرپکے کو ایک غیر معمولی شخص قرار دیا گیا۔ انہوں نے 17 سال کی عمر میں موڈل منطق میں اپنا پہلا مکمل نظریہ لکھا، اور اسے ایک سال بعد شائع کرایا۔ 1958 میں ہائی اسکول سے فارغ التحصیل ہونے کے بعد، کرپکے نے ہارورڈ یونیورسٹی میں تعلیم حاصل کی اور 1962 میں ریاضی میں بیچلر کی ڈگری کے ساتھ سمما کم لاڈ سے گریجویشن کیا۔ ہارورڈ میں اپنے سوفومور سال کے دوران، انہوں نے قریبی ایم آئی ٹی میں گریجویٹ سطح کا منطق کورس پڑھایا۔ گریجویشن کے بعد انہوں نے فلبرائٹ فیلوشپ حاصل کی، اور 1963 میں سوسائٹی آف فیلوز میں مقرر ہوئے۔ کرپکے نے بعد میں کہا، "کاش میں کالج چھوڑ سکتا۔ میں کچھ دلچسپ لوگوں سے واقف ہوا لیکن میں یہ نہیں کہہ سکتا کہ میں نے کچھ سیکھا ہے۔ میں نے شاید یہ سب ویسے بھی صرف اپنے طور پر پڑھ کر سیکھا ہوگا۔ " ہارورڈ میں مختصر طور پر پڑھانے کے بعد، کرپکے 1968 میں نیویارک شہر کی راکفیلر یونیورسٹی چلے گئے، جہاں انہوں نے 1976 تک پڑھایا۔ 1978 میں انہوں نے پرنسٹن یونیورسٹی میں چیئرڈ پروفیسرشپ حاصل کی۔ 1988 میں انہیں ہیومینٹیز میں نمایاں کامیابی کے لیے یونیورسٹی کا بہارمین ایوارڈ ملا۔ 2002 میں کرپکے نے CUNY گریجویٹ سینٹر میں پڑھانا شروع کیا، اور 2003 میں انہیں وہاں فلسفہ کا ممتاز پروفیسر مقرر کیا گیا۔ کرپکے نے یونیورسٹی آف نیبراسکا، اوماہا (1977)، جانز ہاپکنز یونیورسٹی (1997)، یونیورسٹی آف حیفا، اسرائیل (1998)، اور یونیورسٹی آف پنسلوانیا (2005) سے اعزازی ڈگریاں حاصل کی ہیں۔ وہ امریکن فلاسفیکل سوسائٹی کے رکن اور امریکن اکیڈمی آف آرٹس اینڈ سائنسز کے منتخب فیلو تھے، اور 1985 میں برٹش اکیڈمی کے متعلقہ فیلو تھے۔ انہوں نے 2001 میں منطق اور فلسفہ میں شاک انعام جیتا۔ کرپکے کی شادی فلسفی مارگریٹ گلبرٹ سے ہوئی تھی۔ وہ دوسرے کزن ہیں جنہیں ایک بار ٹیلی ویژن کے مصنف، ہدایت کار اور پروڈیوسر ایرک کرپکے سے ہٹا دیا گیا تھا۔ کرپکے 81 سال کی عمر میں 15 ستمبر 2022 کو پلینس بورو، نیو جرسی میں پینکریٹک کینسر سے انتقال کر گئے۔ فلسفہ میں کرپکے کے کام میں شامل ہیں: موڈل اور متعلقہ منطق کے لیے کرپکے سیمنٹکس، جو ان کی نوعمری میں شروع ہونے والے کئی مضامین میں شائع ہوا۔ ان کے 1970 کے پرنسٹن لیکچرز نامی اور ضرورت (1972 اور 1980 میں شائع)، جس نے زبان کے فلسفے کو نمایاں طور پر دوبارہ تشکیل دیا۔ وٹگنسٹین کی ان کی تشریح۔ اس کا نظریہ سچائی۔ انہوں نے ریکرشن تھیوری میں بھی تعاون کیا ہے (قابل قبول آرڈینل اور کرپکے-پلیٹک سیٹ تھیوری دیکھیں)۔ موڈل منطق کرپکے کے ابتدائی کاموں میں سے دو، "اے کمپلیٹنیس تھیوریم ان موڈل لاجک" (1959) اور "سیمنٹکل کنسیڈریشنز آن موڈل لاجک" (1963)، سابقہ جب وہ نوعمر تھے، موڈل منطق پر تھے۔ موڈل خاندان میں سب سے زیادہ واقف منطق K نامی ایک کمزور منطق سے بنائے گئے ہیں، جس کا نام کرپکے کے نام پر رکھا گیا ہے۔ کرپکے نے موڈل لاجکس کے لیے اب کے معیاری کرپکے سیمنٹکس (جسے ریلیشنل سیمنٹکس یا فریم سیمنٹکس بھی کہا جاتا ہے) متعارف کرایا۔ کرپکے سیمنٹکس غیر کلاسیکی منطق کے نظام کے لیے ایک رسمی سیمنٹکس ہے۔ یہ پہلے موڈل منطق کے لیے بنایا گیا تھا، اور بعد میں بدیہی منطق اور دیگر غیر کلاسیکی نظاموں میں ڈھال لیا گیا۔ کرپکے سیمنٹکس کی دریافت غیر کلاسیکی منطق کی تشکیل میں ایک پیشرفت تھی، کیونکہ اس طرح کے منطق کا ماڈل تھیوری کرپکے سے پہلے موجود نہیں تھا۔ کرپکے فریم یا موڈل فریم ایک جوڑا ہے، جہاں W ایک غیر خالی سیٹ ہے، اور R W پر بائنری رشتہ ہے۔ W کے عناصر کو نوڈس یا ورلڈ کہا جاتا ہے، اور R کو رسائی کا رشتہ کہا جاتا ہے۔ رسائی کے تعلق کی خصوصیات پر منحصر ہے (منتقلی، اضطراری، وغیرہ۔ )، متعلقہ فریم کو توسیع کے ذریعے، عارضی، اضطراری، وغیرہ کے طور پر بیان کیا گیا ہے۔ کرپکے ماڈل ایک ٹرپل ہے، جہاں ایک کرپکے فریم ہے، اور یہ ڈبلیو اور موڈل فارمولوں کے نوڈس کے درمیان ایک تعلق ہے، اس طرح کہ: اگر اور صرف اگر، اگر اور صرف اگر، اگر اور صرف اگر اس کا مطلب ہے۔ ہم اس طرح پڑھتے ہیں کہ "ڈبلیو، اے کو مطمئن کرتا ہے"، "اے، ڈبلیو میں مطمئن ہے"، یا "ڈبلیو فورس اے"۔ اس رشتے کو اطمینان کا رشتہ، تشخیص، یا مجبور کرنے والا رشتہ کہا جاتا ہے۔ اطمینان کا رشتہ منفرد طور پر تجویز کردہ متغیرات پر اس کی قدر سے طے ہوتا ہے۔ ایک فارمولا A اس میں درست ہے: ایک ماڈل، اگر تمام ڈبلیو کے لیے، ایک فریم، اگر یہ فریموں یا ماڈلز کے کلاس سی کے تمام ممکنہ انتخاب کے لیے درست ہے، اگر یہ سی کے ہر ممبر میں درست ہے۔ ہم تھم (سی) کو ان تمام فارمولوں کا مجموعہ قرار دیتے ہیں جو سی میں درست ہیں۔ اس کے برعکس، اگر ایکس فارمولوں کا مجموعہ ہے، تو موڈ (ایکس) کو ان تمام فریموں کی کلاس ہونے دیں جو ایکس کے ہر فارمولے کی توثیق کرتے ہیں۔ ایک موڈل منطق (یعنی فارمولوں کا ایک مجموعہ) L فریم C کی ایک کلاس کے حوالے سے ساؤنڈ ہے، اگر L thm (C) ہے۔ L C کے حوالے سے مکمل ہے اگر L thm (C) ہے۔ سیمنٹکس کسی منطق (یعنی مشتق نظام) کی تحقیقات کے لیے صرف اس صورت میں مفید ہے جب سیمنٹکل اینٹیلمنٹ رشتہ اس کے نحو ہم منصب، نتیجہ تعلقات (مشتق) کی عکاسی کرتا ہے۔ یہ جاننا بہت ضروری ہے کہ کرپکے فریموں کی ایک کلاس کے حوالے سے کون سے موڈل منطق درست اور مکمل ہیں، اور ان کے لیے، اس بات کا تعین کرنا کہ یہ کون سی کلاس ہے۔ کرپکے فریموں کے کسی بھی کلاس سی کے لیے، تھم (سی) ایک نارمل موڈل منطق ہے (خاص طور پر، کم سے کم نارمل موڈل منطق کے تھیوریم، کے، ہر کرپکے ماڈل میں درست ہیں)۔ تاہم، اس کے برعکس عام طور پر نہیں ہوتا ہے۔ کرپکے نامکمل نارمل موڈل لاجکس ہیں، جو کہ غیر پریشان کن ہیں، کیونکہ زیر مطالعہ زیادہ تر موڈل سسٹم سادہ حالات کے ذریعے بیان کردہ فریموں کی کلاسوں سے مکمل ہوتے ہیں۔ ایک عام موڈل منطق L فریم C کی کلاس سے مطابقت رکھتا ہے، اگر C = موڈ (L) ہو۔ دوسرے لفظوں میں، سی فریموں کی سب سے بڑی کلاس ہے جیسے کہ ایل ساؤنڈ ڈبلیو آر ٹی سی ہے۔ اس کے بعد ایل کرپکے مکمل ہے اگر اور صرف اس صورت میں جب وہ اپنی متعلقہ کلاس سے مکمل ہو۔ اسکیما ٹی پر غور کریں:۔ T کسی بھی اضطراری فریم میں درست ہے: اگر، تب سے WRW۔ دوسری طرف، ایک فریم جو T کی توثیق کرتا ہے اسے اضطراری ہونا پڑتا ہے: W ωW کو طے کریں، اور ایک تجویز کردہ متغیر p کے اطمینان کی وضاحت اس طرح کریں: اگر اور صرف اس صورت میں جب WRu۔ پھر، اس طرح T کی طرف سے، جس کا مطلب ہے کہ کی تعریف کا استعمال کرتے ہوئے ڈبلیو آر ڈبلیو۔ T اضطراری کرپکے فریموں کی کلاس سے مطابقت رکھتا ہے۔ L کی متعلقہ کلاس کی خصوصیت اس کی تکمیل کو ثابت کرنے کے مقابلے میں اکثر بہت آسان ہوتی ہے، اس طرح خط و کتابت تکمیل کے ثبوت کے لیے رہنما کے طور پر کام کرتا ہے۔ خط و کتابت کو موڈل منطق کی نامکملیت کو ظاہر کرنے کے لیے بھی استعمال کیا جاتا ہے: فرض کریں کہ L1 ′L2 عام موڈل منطق ہیں جو فریموں کی ایک ہی کلاس سے مطابقت رکھتے ہیں، لیکن L1 L2 کے تمام نظریات کو ثابت نہیں کرتا ہے۔ پھر L1 کرپکے نامکمل ہے۔ مثال کے طور پر، اسکیما ایک نامکمل منطق پیدا کرتا ہے، کیونکہ یہ جی ایل کے طور پر فریموں کی اسی کلاس سے مطابقت رکھتا ہے۔ عارضی اور بات چیت اچھی طرح سے قائم شدہ فریم)، لیکن جی ایل-ٹیوٹولوجی کو ثابت نہیں کرتا ہے۔ کینونکل ماڈل کسی بھی عام موڈل منطق L کے لیے، ایک کرپکے ماڈل (جسے کینونکل ماڈل کہا جاتا ہے) بنایا جا سکتا ہے، جو ماڈل کے طور پر زیادہ سے زیادہ مستقل سیٹوں کو استعمال کرنے کی معیاری تکنیک کی موافقت کے ذریعے L کے نظریات کی درست تصدیق کرتا ہے۔ کینونکل کرپکے ماڈل الجبرائی سیمنٹکس میں لنڈن بوم-ٹارسکی الجبرا کی تعمیر سے ملتا جلتا کردار ادا کرتے ہیں۔ فارمولوں کا ایک مجموعہ L-مستقل ہوتا ہے اگر L، اور موڈس پونینس کے محوریوں کا استعمال کرتے ہوئے ان سے کوئی تضاد حاصل نہیں کیا جا سکتا ہے۔ ایک زیادہ سے زیادہ ایل-مستقل سیٹ (مختصر کے لیے ایک ایل-ایم سی ایس) ایک ایل-مستقل سیٹ ہے جس کا کوئی مناسب ایل-مستقل سپر سیٹ نہیں ہے۔ ایل کا کینونکل ماڈل ایک کرپکے ماڈل ہے، جہاں ڈبلیو تمام ایل-ایم سی ایس کا مجموعہ ہے، اور تعلقات آر اور مندرجہ ذیل ہیں: اگر اور صرف اگر ہر فارمولے کے لیے، اگر تب، اگر اور صرف اگر۔ کینونکل ماڈل ایل کا ایک ماڈل ہے، کیونکہ ہر ایل-ایم سی ایس ایل کے تمام نظریات پر مشتمل ہوتا ہے۔ زورن کے لیما کے مطابق، ہر ایل-مستقل سیٹ ایل-ایم سی ایس میں موجود ہوتا ہے، خاص طور پر ایل میں غیر ثابت ہونے والے ہر فارمولے کی کینونکل ماڈل میں ایک جوابی مثال ہوتی ہے۔ کینونکل ماڈلز کا بنیادی اطلاق مکمل ثبوت ہیں۔ K کے کینونکل ماڈل کی خصوصیات فوری طور پر تمام کرپکے فریموں کی کلاس کے حوالے سے K کی مکملتا کو ظاہر کرتی ہیں۔ یہ دلیل من مانی ایل کے لیے کام نہیں کرتی، کیونکہ اس بات کی کوئی ضمانت نہیں ہے کہ کینونکل ماڈل کا بنیادی فریم ایل کے فریم کے شرائط کو پورا کرتا ہے۔ ہم کہتے ہیں کہ ایک فارمولا یا فارمولوں کا ایک سیٹ ایکس کرپکے فریموں کی پراپرٹی پی کے حوالے سے کینونکل ہے، اگر ایکس ہر فریم میں درست ہے جو پی کو مطمئن کرتا ہے، کسی بھی عام موڈل منطق ایل کے لیے جس میں ایکس ہوتا ہے، ایل کے کینونکل ماڈل کا بنیادی فریم پی کو مطمئن کرتا ہے۔ فارمولوں کے کینونکل سیٹوں کا اتحاد خود کینونکل ہے۔ پچھلی بحث سے یہ پتہ چلتا ہے کہ فارمولوں کے کینونکل سیٹ کے ذریعہ خود ساختہ کردہ کوئی بھی منطق کرپکے مکمل اور کمپیکٹ ہوتی ہے۔ محوریہ T، 4، D، B، 5، H، G (اور اس طرح ان کا کوئی بھی مجموعہ) مستند ہیں۔ جی ایل اور جی آر زی کینونکل نہیں ہیں، کیونکہ وہ کمپیکٹ نہیں ہیں۔ محوریہ M بذات خود کینونکل نہیں ہے (گولڈ بلیٹ، 1991)، لیکن مشترکہ منطق S4.1 (حقیقت میں، یہاں تک کہ K4.1) کینونکل ہے۔ عام طور پر، یہ فیصلہ کن نہیں ہے کہ آیا دیا گیا محور کینونکل ہے۔ ہم ایک اچھی کافی حالت جانتے ہیں: ایچ سہلقویسٹ نے فارمولوں کی ایک وسیع کلاس کی نشاندہی کی (جسے اب سہلقویسٹ فارمولے کہا جاتا ہے) جیسے کہ: ایک سہلقویسٹ فارمولا کینونکل ہے، سہلقویسٹ فارمولے سے مطابقت رکھنے والے فریموں کی کلاس پہلے درجے کی تعریف کے قابل ہے، ایک الگورتھم ہے جو کسی دیئے گئے سہلقویسٹ فارمولے کے مطابق فریم کی حالت کا حساب لگاتا ہے۔ یہ ایک طاقتور معیار ہے: مثال کے طور پر، کینونکل کے طور پر اوپر درج تمام محوریات سہلقویسٹ فارمولوں کے (مساوی) ہیں۔ منطق میں محدود ماڈل پراپرٹی (ایف ایم پی) ہوتی ہے اگر یہ محدود فریموں کی کلاس کے حوالے سے مکمل ہو۔ اس تصور کا اطلاق فیصلہ سازی کا سوال ہے: یہ پوسٹ کے نظریہ کے مطابق ہے کہ ایک تکراری محوری ماڈل منطق L جس میں ایف ایم پی ہے فیصلہ کن ہے، بشرطیکہ یہ فیصلہ کن ہو کہ آیا دیا گیا محدود فریم ایل کا ماڈل ہے۔ خاص طور پر، ایف ایم پی کے ساتھ ہر حتمی محوری منطق فیصلہ کن ہے۔ کسی دی گئی منطق کے لیے ایف ایم پی قائم کرنے کے مختلف طریقے ہیں۔ کینونکل ماڈل کی تعمیر کی اصلاحات اور توسیعات اکثر فلٹریشن یا بے نقاب کرنے جیسے ٹولز کا استعمال کرتے ہوئے کام کرتی ہیں۔ ایک اور امکان کے طور پر، کٹ فری سیکوینٹ کیلکولی پر مبنی مکمل ثبوت عام طور پر براہ راست محدود ماڈل تیار کرتے ہیں۔ عملی طور پر استعمال ہونے والے زیادہ تر موڈل سسٹمز (بشمول اوپر درج تمام) میں ایف ایم پی ہوتا ہے۔ بعض صورتوں میں، ہم کسی منطق کی کرپکے کو مکمل ثابت کرنے کے لیے ایف ایم پی کا استعمال کر سکتے ہیں: ہر عام موڈل منطق موڈل الجبرا کی ایک کلاس کے ساتھ مکمل ہوتی ہے، اور ایک محدود موڈل الجبرا کو کرپکے فریم میں تبدیل کیا جا سکتا ہے۔ مثال کے طور پر، رابرٹ بل نے اس طریقہ کار کا استعمال کرتے ہوئے ثابت کیا کہ S4.3 کی ہر عام توسیع میں FMP ہے، اور یہ کرپکے مکمل ہے۔ کرپکے سیمنٹکس میں ایک سے زیادہ طریقوں کے ساتھ منطق کو سیدھا عام کیا گیا ہے۔ کسی زبان کے لیے ایک کرپکے فریم جس میں اس کی ضرورت کے آپریٹرز کے سیٹ کے طور پر ایک غیر خالی سیٹ W پر مشتمل ہوتا ہے جو ہر i bul I کے لیے بائنری ریلیشنز Ri سے لیس ہوتا ہے۔ اطمینان کے رشتے کی تعریف میں مندرجہ ذیل ترمیم کی گئی ہے: اگر اور صرف اس صورت میں جب کارلسن ماڈل ٹم کارلسن کے ذریعہ دریافت کردہ ایک آسان الفاظ اکثر پولی موڈل پروویبلٹی منطق کے لیے استعمال ہوتے ہیں۔ کارلسن ماڈل ایک ایسا ڈھانچہ ہے جس میں رسائی کا واحد تعلق R ہوتا ہے، اور ہر طریقہ کار کے لیے ڈائی ڈبلیو کو ذیلی سیٹ کرتا ہے۔ اطمینان کی تعریف اس طرح کی گئی ہے: اگر اور صرف اس صورت میں جب کارلسن ماڈلز کو معمول کے پولی موڈل کرپکے ماڈلز کے مقابلے میں تصور کرنا اور ان کے ساتھ کام کرنا آسان ہو۔ تاہم، کرپکے میں مکمل پولی موڈل منطق موجود ہیں جو کارلسن نامکمل ہیں۔ 1963 میں شائع ہونے والی سیمنٹکل کنسیڈریشنز آن موڈل لاجک میں، کرپکے نے کلاسیکی مقداری نظریہ کے ساتھ ایک مشکل کا جواب دیا۔ عالمی رشتہ دار نقطہ نظر کا محرک اس امکان کی نمائندگی کرنا تھا کہ ایک دنیا میں موجود اشیاء دوسری دنیا میں موجود نہ رہیں۔ لیکن اگر معیاری مقداری قواعد استعمال کیے جاتے ہیں، تو ہر اصطلاح کو کسی ایسی چیز کا حوالہ دینا چاہیے جو تمام ممکنہ دنیاؤں میں موجود ہو۔ یہ عارضی طور پر موجود چیزوں کا حوالہ دینے کے لیے اصطلاحات استعمال کرنے کے ہمارے عام عمل سے مطابقت نہیں رکھتا ہے۔ اس مشکل پر کرپکے کا جواب شرائط کو ختم کرنا تھا۔ انہوں نے ایک ایسے نظام کی مثال دی جو عالمی رشتہ دار تشریح کا استعمال کرتا ہے اور کلاسیکی اصولوں کو محفوظ رکھتا ہے۔ لیکن اخراجات شدید ہیں۔ پہلا، اس کی زبان مصنوعی طور پر غریب ہے، اور دوسرا، پروپوزیشنل موڈل منطق کے اصولوں کو کمزور کیا جانا چاہیے۔ کرپکے کے ممکنہ دنیا کے نظریہ کو (پاول اور ڈولیزل سے شروع کرتے ہوئے) ماہرین بیانیے نے "قارئین کی طرف سے متبادل پلاٹ کی پیشرفت، یا کرداروں کی منصوبہ بند یا خیالی متبادل ایکشن سیریز" کو سمجھنے کے لیے استعمال کیا ہے۔ یہ ایپلیکیشن ہائپر فکشن کے تجزیے میں خاص طور پر مفید ثابت ہوئی ہے۔ بدیہی منطق کے لیے بدیہی منطق کرپکے سیمنٹکس وہی اصولوں کی پیروی کرتا ہے جو موڈل منطق کے سیمنٹکس ہیں، لیکن اطمینان کی ایک مختلف تعریف استعمال کرتا ہے۔ ایک بدیہی کرپکے ماڈل ٹرپل ہوتا ہے، جہاں جزوی طور پر ترتیب شدہ کرپکے فریم ہوتا ہے، اور مندرجہ ذیل شرائط کو پورا کرتا ہے: اگر p ایک پروپوزیشنل متغیر ہے، اور، پھر (تسلسل کی حالت)، اگر اور صرف اگر اور، اگر اور صرف اگر یا، اگر اور صرف اگر سب کے لیے، اس کا مطلب ہے، نہیں۔ بدیہی منطق اس کے کرپکے سیمنٹکس کے حوالے سے درست اور مکمل ہے، اور اس میں فائنائٹ ماڈل پراپرٹی ہے۔ بدیہی فرسٹ آرڈر منطق L کو فرسٹ آرڈر زبان ہونے دیں۔ L کا کرپکے ماڈل ٹرپل ہے، جہاں ایک بدیہی کرپکے فریم ہے، Mw ہر نوڈ کے لیے ایک (کلاسیکی) L-ڈھانچہ ہے، اور جب بھی u ≤ v ہوتا ہے تو درج ذیل مطابقت کے حالات برقرار رہتے ہیں: Mu کا ڈومین Mv کے ڈومین میں شامل ہوتا ہے، Mu اور Mv میں فنکشن کی علامتوں کا ادراک Mu کے عناصر پر متفق ہوتا ہے، ہر n-ary پیش گوئی P اور عناصر a1 کے لیے، ایک bul Mu: اگر P (a1، an) Mu میں ہوتا ہے، تو یہ Mv میں ہوتا ہے۔ ایم ڈبلیو کے عناصر کے لحاظ سے متغیرات کی تشخیص کو دیکھتے ہوئے، ہم اطمینان کے تعلق کی وضاحت کرتے ہیں: اگر اور صرف اس صورت میں جب یہ ایم ڈبلیو میں برقرار رہے، اگر اور صرف اس صورت میں اور، اگر اور صرف اس صورت میں یا، اگر اور صرف اس صورت میں جب سب کے لیے، اس کا مطلب ہے، نہیں، اگر اور صرف اس صورت میں جب کوئی ایسی چیز موجود ہو جو، اگر اور صرف اگر ہر ایک کے لیے ہو۔ یہاں e (x → a) وہ تشخیص ہے جو x کو a کی قدر دیتی ہے، اور بصورت دیگر e سے متفق ہے۔ نام اور ضرورت نام اور ضرورت بنانے والے تین لیکچر ناموں کے وضاحتی نظریہ پر حملہ تشکیل دیتے ہیں۔ کرپکے وضاحتی نظریات کی مختلف شکلوں کو فریج، رسل، وٹگنسٹین، اور جان سیرل سے منسوب کرتے ہیں۔ وضاحتی نظریات کے مطابق، مناسب نام یا تو وضاحتوں کے مترادف ہوتے ہیں، یا ان کے حوالہ جات کا تعین اس وجہ سے ہوتا ہے کہ نام کا تعلق کسی تفصیل یا وضاحت کے مجموعے سے ہوتا ہے جسے کوئی شے منفرد طور پر مطمئن کرتی ہے۔ کرپکے ان دونوں قسم کی وضاحتیں مسترد کرتے ہیں۔ وہ کئی مثالیں پیش کرتا ہے جو وضاحتی ازم کو ایک نظریہ کے طور پر ناقابل فہم قرار دیتے ہیں کہ ناموں سے ان کے حوالہ جات کا تعین کیسے ہوتا ہے (مثال کے طور پر، یقینا ارسطو دو سال کی عمر میں فوت ہو سکتا تھا اور اس لیے ہم اس کے نام سے منسلک کسی بھی وضاحت کو مطمئن نہیں کرتے، لیکن اس بات سے انکار کرنا غلط معلوم ہوگا کہ وہ اب بھی ارسطو تھا)۔ ایک متبادل کے طور پر، کرپکے نے حوالہ کے ایک وجہ نظریہ کا خاکہ پیش کیا، جس کے مطابق ایک نام کسی شے سے مراد اس شے کے ساتھ وجہ سے تعلق کی وجہ سے ہوتا ہے جیسا کہ بولنے والوں کی برادریوں کے ذریعے ثالثی کی جاتی ہے۔ وہ بتاتے ہیں کہ مناسب نام، زیادہ تر وضاحتوں کے برعکس، سخت نامزد ہوتے ہیں: یعنی، ایک مناسب نام ہر ممکنہ دنیا میں نامزد شے سے مراد ہے جس میں شے موجود ہے، جبکہ زیادہ تر وضاحتیں مختلف ممکنہ دنیاؤں میں مختلف اشیاء کو نامزد کرتی ہیں۔ مثال کے طور پر، "رچرڈ نکسن" سے مراد ہر ممکنہ دنیا میں ایک ہی شخص ہے جس میں نکسن موجود ہیں، جبکہ "وہ شخص جس نے 1968 کا ریاستہائے متحدہ کا صدارتی انتخاب جیتا تھا" سے مراد نکسن، ہمفری یا مختلف ممکنہ دنیاؤں میں موجود دیگر افراد ہو سکتے ہیں۔ کرپکے نے بعد کی ضروریات کے امکان کو بھی بڑھایا-ایسے حقائق جو لازمی طور پر سچ ہیں، حالانکہ ان کا پتہ صرف تجرباتی تفتیش کے ذریعے ہی لگایا جا سکتا ہے۔ مثالوں میں "ہیسپرس فاسفورس ہے"، "سیسرو ٹولی ہے"، "پانی H2O ہے"، اور شناخت کے دیگر دعوے شامل ہیں جہاں دو نام ایک ہی شے کا حوالہ دیتے ہیں۔ کرپکے کے مطابق، تجزیاتی اور مصنوعی، ایک ترجیحی اور پوسٹرری، اور عارضی اور ضروری کے درمیان کانٹین فرق ایک دوسرے پر نقش نہیں کرتے ہیں۔ بلکہ، تجزیاتی/مصنوعی ایک بامعنی امتیاز ہے، ایک ترجیحی/پوسٹریوری ایک علمی امتیاز ہے، اور عارضی/ضروری ایک مابعد الطبیعاتی امتیاز ہے۔ آخر میں، کرپکے نے ذہن کے فلسفے میں شناخت مادیت پسندی کے خلاف ایک دلیل پیش کی، یہ نظریہ کہ ہر ذہنی خصوصیت کسی نہ کسی جسمانی خصوصیت کے ساتھ یکساں ہے۔ کرپکے نے استدلال کیا کہ اس شناخت کا دفاع کرنے کا واحد طریقہ ایک پچھلی ضروری شناخت کے طور پر ہے، لیکن یہ کہ ایسی شناخت-مثال کے طور پر، وہ درد سی فائبر کی فائرنگ ہے-ضروری نہیں ہو سکتا، اس (واضح طور پر قابل فہم) امکان کو دیکھتے ہوئے کہ درد سی فائبر کی فائرنگ سے الگ ہو سکتا ہے، یا سی فائبر کی فائرنگ درد سے الگ ہو سکتی ہے۔ (اس کے بعد سے ڈیوڈ چالمرز نے بھی اسی طرح کے دلائل دیے ہیں۔) کسی بھی صورت میں، سائکو فزیکل آئیڈینٹی تھیوریسٹ، کرپکے کے مطابق، ان حالات کے بظاہر منطقی امکان کی وضاحت کرنے کی جدلیاتی ذمہ داری عائد کرتا ہے، کیونکہ ایسے تھیوریسٹوں کے مطابق وہ ناممکن ہونے چاہئیں۔ کرپکے نے 1973 میں آکسفورڈ میں فلسفہ میں جان لاک لیکچرز دیے۔ حوالہ اور وجود کے عنوان سے، وہ بہت سے معاملات میں نام اور ضرورت کا تسلسل تھے، اور افسانوی ناموں اور ادراکی غلطی کے موضوعات سے نمٹتے تھے۔ 2013 میں آکسفورڈ یونیورسٹی پریس نے لیکچرز کو ایک کتاب کے طور پر شائع کیا، جس کا عنوان حوالہ اور وجود بھی تھا۔ 1995 کے ایک مقالے میں، فلسفی کوئنٹن اسمتھ نے استدلال کیا کہ کرپکے کے نئے نظریہ حوالہ میں کلیدی تصورات ایک دہائی سے زیادہ پہلے روتھ بارکن مارکس کے کام سے شروع ہوئے تھے۔ اسمتھ نے نیو تھیوری میں چھ اہم نظریات کی نشاندہی کی جس کے بارے میں اس نے دعوی کیا کہ مارکس نے تیار کیا تھا: (1) کہ مناسب نام براہ راست حوالہ جات ہیں جو موجود تعریفیں پر مشتمل نہیں ہیں۔ (2) اگرچہ کوئی تفصیل سے کسی ایک چیز کو الگ کر سکتا ہے، لیکن یہ تفصیل اس چیز کے مناسب نام کے مساوی نہیں ہے۔ (3) موڈل دلیل کہ مناسب نام براہ راست حوالہ جات ہیں، اور چھپی ہوئی وضاحتیں نہیں ہیں۔ (4) شناخت کی ضرورت کا ایک رسمی موڈل منطق ثبوت ؛ (5) ایک سخت نامزد کا تصور، حالانکہ کرپکے نے یہ اصطلاح تیار کی تھی ؛ اور (6) ایک پوسٹرری شناخت۔ اسمتھ نے استدلال کیا کہ کرپکے اس وقت مارکس کے نظریہ کو سمجھنے میں ناکام رہے لیکن بعد میں انہوں نے اپنے نیو تھیوری آف ریفرنس میں اس کے بہت سے اہم تصوراتی موضوعات کو اپنایا۔ دوسرے اسکالرز نے بعد میں تفصیلی جوابات پیش کیے ہیں یہ دلیل دیتے ہوئے کہ کوئی چوری نہیں ہوئی۔ "عقیدے کے بارے میں ایک پہیلی" نام اور ضرورت میں مناسب ناموں کے بارے میں کرپکے کی اہم تجاویز یہ ہیں کہ کسی نام کا معنی صرف وہی چیز ہے جس سے وہ مراد کرتا ہے اور یہ کہ کسی نام کے حوالہ کا تعین کسی قسم کے "بپتسمہ" اور نام کے تلفظ کے درمیان ایک وجہ سے ہوتا ہے۔ اس کے باوجود، وہ اس امکان کو تسلیم کرتا ہے کہ ناموں پر مشتمل تجاویز میں کچھ اضافی معنی خیز خصوصیات ہو سکتی ہیں، ایسی خصوصیات جو اس بات کی وضاحت کر سکتی ہیں کہ ایک ہی شخص کا حوالہ دینے والے دو نام عقائد کے بارے میں تجاویز میں مختلف سچائی کی اقدار کیوں دے سکتے ہیں۔ مثال کے طور پر، لوئس لین کا خیال ہے کہ سپرمین اڑ سکتا ہے، حالانکہ اسے یقین نہیں ہے کہ کلارک کینٹ اڑ سکتا ہے۔ اس کا حساب اس صورت میں لگایا جا سکتا ہے کہ "سپرمین" اور "کلارک کینٹ" کے نام، اگرچہ ایک ہی شخص کا حوالہ دیتے ہیں، لیکن ان میں الگ معنی خیز خصوصیات ہیں۔ لیکن اپنے مضمون "اے پزل اباوٹ بیلف" (1988) میں کرپکے اس امکان کی بھی مخالفت کرتے نظر آتے ہیں۔ اس کی دلیل کو مندرجہ ذیل طور پر دوبارہ تشکیل دیا جا سکتا ہے: یہ خیال کہ ایک ہی شے کا حوالہ دینے والے دو ناموں میں مختلف معنی خیز خصوصیات ہو سکتی ہیں، اس بات کی وضاحت کرنے کے لیے سمجھا جاتا ہے کہ بنیادی نام عقائد کے بارے میں تجاویز میں مختلف سلوک کرتے ہیں (جیسا کہ لوئس لین کے معاملے میں)۔ لیکن یہی رجحان یہاں تک کہ بنیادی ناموں کے ساتھ بھی ہوتا ہے جن میں ظاہر ہے کہ ایک ہی معنی خیز خصوصیات ہیں: کرپکے ہمیں ایک فرانسیسی، یک لسانی لڑکے، پیئر کا تصور کرنے کی دعوت دیتا ہے، جس کا خیال ہے کہ "لندن ایسٹ جولی" ("لندن خوبصورت ہے")۔ پیئر لندن = لندن کا احساس کیے بغیر لندن چلا جاتا ہے۔ اس کے بعد وہ انگریزی اسی طرح سیکھتا ہے جس طرح ایک بچہ زبان سیکھتا ہے، یعنی فرانسیسی سے انگریزی میں الفاظ کا ترجمہ کرنے سے نہیں۔ پیئر شہر کے غیر دلکش حصے سے "لندن" کا نام سیکھتا ہے جہاں وہ رہتا ہے، اور اس لیے اسے یقین ہو جاتا ہے کہ لندن خوبصورت نہیں ہے۔ اگر کرپکے کا بیان درست ہے، تو پیئر اب دونوں کو مانتا ہے کہ لندن جولی ہے اور لندن خوبصورت نہیں ہے۔ اس کی وضاحت مختلف معنی خیز خصوصیات والے ناموں کا حوالہ دے کر نہیں کی جا سکتی۔ کرپکے کے مطابق، اس سے یہ ظاہر ہوتا ہے کہ ناموں کو اضافی معنی خیز خصوصیات سے منسوب کرنے سے یہ واضح نہیں ہوتا کہ اس کا مقصد کیا ہے۔ وٹگنسٹین سب سے پہلے 1982 میں شائع ہوا، کرپکے کی وٹگنسٹین آن رولز اینڈ پرائیویٹ لینگویج کا دعوی ہے کہ وٹگنسٹین کی فلسفیانہ تحقیقات کی مرکزی دلیل ایک تباہ کن اصول کی پیروی کرنے والے تضاد پر مرکوز ہے جو ہماری زبان کے استعمال میں ہمارے ہمیشہ اصولوں پر عمل کرنے کے امکان کو کمزور کرتی ہے۔ کرپکے لکھتے ہیں کہ یہ تضاد "سب سے زیادہ بنیاد پرست اور اصل شکوک و شبہات کا مسئلہ ہے جو فلسفے نے آج تک دیکھا ہے"، اور یہ کہ وٹگنسٹین اس دلیل کو مسترد نہیں کرتا جو اصول کی پیروی کرنے والے تضاد کی طرف لے جاتا ہے، لیکن اسے قبول کرتا ہے اور تضاد کے تباہ کن اثرات کو بہتر بنانے کے لیے "شکوک و شبہات کا حل" پیش کرتا ہے۔ زیادہ تر مبصرین اس بات کو قبول کرتے ہیں کہ فلسفیانہ تحقیقات میں اصول کی پیروی کرنے والی تضاد موجود ہے جیسا کہ کرپکے نے اسے پیش کیا ہے، لیکن بہت کم لوگ اس کے شکوک و شبہات کے حل کو وٹگنسٹین سے منسوب کرنے سے متفق ہیں۔ کرپکے خود وٹگنسٹین میں قواعد و ضوابط اور نجی زبان پر شکوک و شبہات کا اظہار کرتے ہیں کہ آیا وٹگنسٹین فلسفیانہ تحقیقات کی ان کی تشریح کی توثیق کرے گا۔ ان کا کہنا ہے کہ اس کام کو وٹگنسٹین کے خیالات کا درست بیان دینے کی کوشش کے طور پر نہیں، بلکہ وٹگنسٹین کی دلیل کے بیان کے طور پر دیکھا جانا چاہیے "جیسا کہ اس نے کرپکے کو متاثر کیا، کیونکہ اس نے ان کے لیے ایک مسئلہ پیش کیا تھا۔" پورٹمینٹو "کرپکنسٹائن" کرپکے کی فلسفیانہ تحقیقات کی تشریح کے لیے وضع کیا گیا ہے۔ کرپکنسٹائن کی بنیادی اہمیت ایک نئی قسم کے شکوک و شبہات کا واضح بیان تھا، جسے "معنی شکوک و شبہات" کہا جاتا ہے: یہ خیال کہ الگ تھلگ افراد کے لیے ایسی کوئی حقیقت نہیں ہے جس کی وجہ سے وہ کسی لفظ کے استعمال سے ایک چیز کے بجائے دوسری چیز کا مطلب رکھتے ہوں۔ کرپکے کا "شکوک و شبہات کا حل" جس کا مطلب شکوک و شبہات ہے، کسی کمیونٹی کے رویے میں معنی کی بنیاد رکھنا ہے۔ کرپکے کی کتاب نے ایک بڑا ثانوی ادب تیار کیا، جو ان لوگوں کے درمیان تقسیم ہے جو اس کے شکوک و شبہات کے مسئلے کو دلچسپ اور ادراکی سمجھتے ہیں، اور دوسرے، جیسے گورڈن بیکر، پیٹر ہیکر، اور کولن میکگن، جو یہ دلیل دیتے ہیں کہ اس کا معنی شکوک و شبہات ایک فرضی مسئلہ ہے جو وٹگنسٹین کے الجھن، انتخابی پڑھنے سے پیدا ہوتا ہے۔ کیمبرج کے فلسفی مارٹن کش نے ان اور دیگر حملوں کے خلاف کرپکے کے موقف کا دفاع کیا ہے، اور وٹگنسٹین اسکالر ڈیوڈ جی سٹرن کرپکے کی کتاب کو 1980 کی دہائی سے وٹگنسٹین پر "سب سے زیادہ بااثر اور وسیع پیمانے پر زیر بحث" کام سمجھتے ہیں۔ اپنے 1975 کے مضمون "آؤٹ لائن آف اے تھیوری آف ٹرتھ" میں، کرپکے نے دکھایا کہ ایک زبان مستقل طور پر اپنی سچائی کی پیش گوئی پر مشتمل ہو سکتی ہے، جسے سچائی کے رسمی نظریات کے علمبردار الفریڈ ٹارسکی نے ناممکن سمجھا تھا۔ اس نقطہ نظر میں سچائی کو زبان میں گرائمر کے لحاظ سے اچھی طرح سے تشکیل شدہ جملوں کے سیٹ پر جزوی طور پر متعین پراپرٹی ہونا شامل ہے۔ کرپکے نے دکھایا کہ اسے بار بار کرنے کا طریقہ ایک ایسی زبان میں تاثرات کے سیٹ سے شروع کرتے ہوئے جس میں سچائی کی پیش گوئی نہیں ہوتی ہے، اور صرف اسی حصے پر سچائی کی پیش گوئی کی وضاحت کرتے ہوئے: یہ عمل زبان میں نئے جملوں کا اضافہ کرتا ہے، اور بدلے میں سچائی کی وضاحت ان سب کے لیے کی جاتی ہے۔ تاہم، ترسکی کے نقطہ نظر کے برعکس، کرپکے کے مطابق "سچائی" ان تمام تعریف کے مراحل کا امتزاج ہے۔ اقدامات کی ایک بے شمار لامحدود کے بعد زبان ایک "مقررہ نقطہ" تک پہنچ جاتی ہے کہ سچائی کی پیش گوئی کو وسعت دینے کے لیے کرپکے کے طریقہ کار کا استعمال زبان کو مزید تبدیل نہیں کرتا ہے۔ اس طرح کے ایک مقررہ نقطہ کو پھر ایک قدرتی زبان کی بنیادی شکل کے طور پر لیا جا سکتا ہے جس میں اس کی اپنی سچائی پیش گوئی ہوتی ہے۔ لیکن یہ پیش گوئی کسی بھی ایسے جملے کے لیے غیر متعین ہے جو سچ کی پیش گوئی پر مشتمل نہ ہونے والے آسان جملوں میں "باٹم آؤٹ" نہیں بولتے۔ یعنی، "" برف سفید ہے "سچ ہے" اچھی طرح سے بیان کیا گیا ہے، جیسا کہ "" برف سفید ہے "سچ ہے" سچ ہے، اور اسی طرح، لیکن نہ تو "یہ جملہ سچ ہے" اور نہ ہی "یہ جملہ سچ نہیں ہے" سچائی کی شرائط وصول کرتے ہیں۔ وہ کرپکے کے الفاظ میں "بے بنیاد" ہیں۔ گوڈل کا پہلا نامکمل نظریہ یہ ظاہر کرتا ہے کہ خود حوالہ سے احمقانہ طور پر گریز نہیں کیا جا سکتا، کیونکہ بظاہر غیر متعلقہ اشیاء (جیسے انٹیجرز) کے بارے میں تجاویز کا غیر رسمی خود حوالہ معنی ہو سکتا ہے، اور یہ خیال-جو کہ اخترن لیما سے ظاہر ہوتا ہے-ترسکی کے نظریہ کی بنیاد ہے کہ سچائی کی مستقل تعریف نہیں کی جا سکتی۔ لیکن کرپکے کی سچائی کی پیش گوئی اس طرح کی تجاویز کو سچائی کی قدر (سچ/غلط) نہیں دیتی ہے جیسے کہ ترسکی کے ثبوت میں بنایا گیا ہے، کیونکہ یہ انڈکشن کے ذریعے ثابت ہوتا ہے کہ یہ ہر حد کے لیے مرحلے پر غیر متعین ہے۔ کرپکے کی تجویز اس لحاظ سے پریشانی کا باعث ہے کہ اگرچہ زبان میں خود کی "سچائی" پیش گوئی (کم از کم ایک جزوی) ہوتی ہے، لیکن اس کے کچھ جملوں-جیسے جھوٹا جملہ ("یہ جملہ غلط ہے")-کی سچائی کی قدر غیر متعین ہوتی ہے، لیکن زبان میں اس کی اپنی "غیر متعین" پیش گوئی نہیں ہوتی ہے۔ درحقیقت یہ نہیں ہو سکتا، کیونکہ اس سے جھوٹے پیراڈوکس کا ایک نیا ورژن پیدا ہوگا، مضبوط جھوٹا پیراڈوکس ("یہ جملہ غلط یا غیر واضح ہے")۔ اس طرح اگرچہ زبان میں جھوٹا جملہ غیر متعین ہے، لیکن زبان اس بات کا اظہار نہیں کر سکتی کہ یہ غیر متعین ہے۔ ساؤل کرپکے سینٹر نیویارک کی سٹی یونیورسٹی کے گریجویٹ سینٹر میں ساؤل کرپکے سینٹر کرپکے کے کام کے تحفظ اور فروغ کے لیے وقف ہے۔ اس کی ہدایت کار رومینا پیڈرو ہیں۔ ساؤل کرپکے سینٹر کرپکے کے کام سے متعلق واقعات کا انعقاد کرتا ہے اور کرپکے کے لیکچرز، لیکچر نوٹ اور 1950 کی دہائی کے خط و کتابت کی پہلے غیر شائع شدہ ریکارڈنگ کا ڈیجیٹل آرکائیو بنا رہا ہے۔ کرپکے کی فلسفیانہ پریشانیوں کے اپنے سازگار جائزے میں، اسٹینفورڈ کے فلسفی مارک کرمنز نے لکھا، "1970 کی دہائی کے فلسفے میں سب سے زیادہ قابل تعریف اور زیر بحث مضامین میں سے چار یہاں ہیں جو ساؤل کرپکے کے جمع کردہ مضامین کے اس پہلے حصے کو لازمی بنانے کے لیے کافی ہیں۔ قارئین کی خوشی بڑھتی جائے گی جب اشارے دیے جائیں گے کہ اس سیریز میں بہت کچھ آنے والا ہے جسے کرپکے اور فلسفی ایڈیٹرز کی ایک ماہر ٹیم کے ذریعے دی گریجویٹ سینٹر آف دی سٹی یونیورسٹی آف نیویارک کے ساؤل کرپکے سینٹر میں تیار کیا جا رہا ہے۔ نام اور ضرورت کا کام کرتا ہے۔ کیمبرج، ماس۔ : ہارورڈ یونیورسٹی پریس، 1972۔ قواعد اور نجی زبان پر وٹگنسٹین: ایک ابتدائی نمائش۔ کیمبرج، ماس۔ : ہارورڈ یونیورسٹی پریس، 1982۔ فلسفیانہ پریشانیاں۔ کلیکٹڈ پیپرز جلد۔ 1. نیویارک: آکسفورڈ یونیورسٹی پریس، 2011۔ حوالہ اور وجود-جان لاک لیکچرز۔ نیویارک: آکسفورڈ یونیورسٹی پریس، 2013۔ ایوارڈز اور اعترافات فلبرائٹ اسکالر (1962-1963) سوسائٹی آف فیلوز، ہارورڈ یونیورسٹی (1963-1966)۔ ڈاکٹر آف ہیومن لیٹرز، اعزازی ڈگری، یونیورسٹی آف نیبراسکا، 1977۔ فیلو، امریکن اکیڈمی آف آرٹس اینڈ سائنسز (1978-)۔ متعلقہ فیلو، برٹش اکیڈمی (1985-)۔ ہاورڈ بہارمین ایوارڈ، پرنسٹن یونیورسٹی، 1988۔ فیلو، اکیڈمیا سائنٹیریم اینڈ آرٹیئم یوروپیا (1993-)۔ ڈاکٹر آف ہیومن لیٹرز، اعزازی ڈگری، جانز ہاپکنز یونیورسٹی، 1997۔ ڈاکٹر آف ہیومن لیٹرز، اعزازی ڈگری، یونیورسٹی آف حیفا، اسرائیل، 1998۔ فیلو، ناروے کی اکیڈمی آف سائنسز (2000-)۔ منطق اور فلسفہ میں شاک انعام، سویڈش اکیڈمی آف سائنسز، 2001۔ ڈاکٹر آف ہیومن لیٹرز، اعزازی ڈگری، یونیورسٹی آف پنسلوانیا، 2005۔ فیلو، امریکن فلاسفی سوسائٹی (2005-)۔ امریکی فلسفے کی فہرست بھی دیکھیں امریکی فلسفیوں کی فہرست بیری کرپکے (بگ بینگ تھیوری پر ایک کردار جس کے بارے میں خیال کیا جاتا ہے کہ اس کا نام ساؤل کے نام پر رکھا گیا ہے) حوالہ جات مزید پڑھنے کے لیے آریف احمد (2007)، ساؤل کرپکے۔ نیویارک، نیو یارک ؛ لندن: کنٹینم۔ ۔ ایلن برجر (ایڈیٹر) (2011) ساؤل کرپکے۔ ۔ جوناتھن برگ (2014) نام، ضرورت اور مزید: ساؤل کرپکے کے فلسفیانہ کام میں کھوج۔ ٹیلر برانچ (14 اگست 1977)، "امریکی فلسفے میں نئے محاذ"۔ نیویارک ٹائمز میگزین۔ جان برجیس (2013)، ساؤل کرپکے: پزل اور اسرار۔ ۔ جی ڈبلیو فچ (2005)، ساؤل کرپکے۔ ۔ کرسٹوفر ہیوز (2004)، کرپکے: نام، ضرورت، اور شناخت۔ ۔ پال ڈبلیو ہمفریس اور جیمز ایچ فیٹزر (ایڈیٹرز) (1998) حوالہ کا نیا نظریہ: کرپکے، مارکس، اور اس کی اصل مارٹن کش (2006)، معنی اور قواعد کے بارے میں ایک مشکوک رہنما: کرپکے کے وٹگنسٹین کا دفاع۔ ایکمبین: پبلشنگ لمیٹڈ۔ کولن میکگن (1984)، وٹگنسٹین آن میننگ۔ ۔ ہیرالڈ نونن (2013)، روٹلیج فلاسفی گائیڈ بک ٹو کرپکے اینڈ نیمنگ اینڈ نیسیٹی۔ کرسٹوفر نورس (2007)، فکشن، فلاسفی اینڈ لٹریری تھیوری: کیا حقیقی ساؤل کرپکے براہ کرم کھڑے ہوں گے؟ لندن: کنٹینم کونسویلو پریتی (2002)، آن کرپکے۔ ویڈس ورتھ۔ ۔ نیتھن سالمن (1981)، حوالہ اور جوہر۔ ۔ سکاٹ سومز (2002)، سختی سے پرے: نام اور ضرورت کا نامکمل سیمنٹک ایجنڈا۔ ۔ بیرونی روابط CUNY گریجویٹ سینٹر فلاسفی ڈیپارٹمنٹ فیکلٹی پیج ساؤل کرپکے کا آرکائیو CUNY فلاسفی کامنز پر دوسرا سالانہ ساؤل کرپکے لیکچر بذریعہ جان برجیس آن دی نیسیسٹی آف اوریجن ایٹ CUNY گریجویٹ سینٹر، 13 نومبر 2012 "ساؤل کرپکے، جینیئس لاجیشین"، اینڈریاس ساگسٹاڈ کا ایک مختصر، غیر تکنیکی انٹرویو، 25 فروری 2001۔ کرپکے کی پینسٹھویں سالگرہ کے اعزاز میں ان کی تقریر "دی فرسٹ پرسن" کی ویڈیو کے ساتھ کانفرنس، جنوری 25-26، 2006 ان کی تقریر کی ویڈیو "چرچ کے تھیسس سے فرسٹ آرڈر الگورتھم تھیوریم تک"، 13 جون 2006۔ ان کی تقریر "غیر محدود برآمدات اور زبان کے فلسفے کے لیے کچھ اخلاقیات" کا پوڈ کاسٹ، 21 مئی 2008۔ لندن ریویو آف بکس کے جیری فوڈور کے مضمون میں کریپکے کے کام سیلیبریٹنگ CUNY 's جینیئس فلاسفر پر بحث کی گئی ہے، گیری شاپیرو کی طرف سے، 27 جنوری 2006، دی نیویارک سن میں۔ 'وزڈم سپریم' ویب سائٹ سے معلومات 26 مئی 2010 کو مرکزی پیش کنندہ کے طور پر اسکاٹ سومز کے ساتھ دماغ اور جسم کی شناخت پر کرپکے کی تنقید پر ان کی 65 ویں سالگرہ کے بارے میں نیو یارک ٹائمز کا ایک مضمون۔ 1940 پیدائش 2022 موت 20 ویں صدی کے امریکی فلسفی 21 ویں صدی کے امریکی فلسفی 21 ویں صدی کے امریکی لوگ نیویارک (ریاست) سے تعلق رکھنے والے لتھوانیائی-یہودی نسل کے فلسفی امریکی مابعد الطبیعات کے مصنفین تجزیاتی فلسفی ہارورڈ یونیورسٹی کے سابق طالب علم پرنسٹن یونیورسٹی فیکلٹی یہودی امریکی ماہرین تعلیم یہودی امریکی مصنفین اوماہا، نیبراسکا میں یہودی فلسفی اور یہودیت، امریکی منطق یورپی اکیڈمی آف سائنسز کے ممبران اور ناروے کی اکیڈمی آف سائنس اینڈ لیٹرز کے آرٹس ممبران مابعد الطبیعات ماڈل منطق لوگ بے شور، نیو یارک سے تعلق رکھنے والے اوماہا، نیبراسکا کے مصنفین زبان کے فلسفی ذہن کے فلسفی منطق کے فلسفی رولف شاک انعام یافتہ نیبراسکا سے فلسفے سازوں کو ترتیب دیتے ہیں برطانوی اکیڈمی ریاضی کے متعلقہ فیلوز