حلقۂ ریاضی و منطق

منطق، ثبوت اور فلسفے کی ایک ترتیب وار سیڑھی، جو ریاضی سمجھنے والے ایک باایمان آدمی کو اِس قابل بنا دے کہ وہ اُس معیار پر بات کر سکے جس کا مطالبہ ڈاکٹر اسرار احمد کرتے تھے۔ ساتھ ہی یہ حلقہ آج کی علامتی منطق کو کلاسیکی منطق سے جوڑتا ہے۔

دائرہ کار

مروجہ منطق؛ ثبوت اور مجموعات کا نظریہ؛ مابعدالمنطق اور گوڈل؛ امکانی اور فلسفیانہ منطق؛ احتمال اور فیصلہ سازی کا نظریہ۔ اور اِن سب اوزاروں کو کلاسیکی منطق، علم الکلام اور آج کے دفاعِ دین سے جوڑنا۔

خارج الدائرہ

یہ ہر چیز کا فلسفہ پڑھنے والا حلقہ نہیں ہے۔ یہاں ڈاکٹر اسرار احمد کے مطالبے تک پہنچنے کا راستہ قدم بہ قدم بنایا جاتا ہے، اور منطق کو اوزار کے طور پر لیا جاتا ہے۔

• علم الکلام کا اپنا مواد حلقۂ علومِ دینیہ کا کام ہے۔
• فلسفے کی تاریخ حلقۂ تاریخِ فلسفہ کا کام ہے۔

پیداوار

• سال بھر میں تقریباً ۵۰ مختصر تحریریں، یعنی ہر ہفتے ایک صفحہ۔ یہ حلقۂ شاہین، ایم ڈی پی اور شرح، تینوں کے کام آئے گا۔
• ۶ اسناد مکمل کرنا، جو کم سے کم قابلِ تصدیق راستہ ہے۔

نصاب

یہ راستہ پانچ حصوں میں بٹا ہوا ہے۔ پہلا حصہ بنیاد رکھتا ہے، دوسرا درجے طے کرتا ہے، تیسرا ترتیب، چوتھا حفاظت، اور پانچواں یہ بتاتا ہے کہ سارا تکلف کس لیے ہے۔

الف۔ بنیاد۔ یہ راستہ کیوں بنایا گیا، اِس کے درجوں میں کیا نسبت ہے، اور ہر درجہ کرنے کا اصل کام سے کہاں جا کر ملتا ہے۔

ب۔ درجے۔

ج۔ ترتیب۔ ابتدا مرحلۂ صفر سے ہوتی ہے، جو دو تا چار ہفتے کا ہے اور جس میں تشخیص و انتخاب ہوتا ہے۔ اِس کے بعد پہلا مرحلہ تین سے چھ ماہ لیتا ہے، اور آگے ہر مرحلہ چھ سے نو ماہ کا ہے۔ جزوقتی مطالعے کے حساب سے پہلے چار مرحلوں کے لیے کم از کم دو سے تین برس درکار ہیں۔ پانچواں مرحلہ عمر بھر ساتھ چلتا ہے۔

مرحلۂ صفر چھوڑا نہیں جا سکتا۔ ناظمِ حلقہ کے الفاظ میں، یہ راستہ دوا ہے، غذا نہیں۔ دوا سے پہلے مرض کی تشخیص لازم ہے، سو پہلے یہ دیکھنا ہو گا کہ جن نوجوانوں کے لیے یہ محنت ہے اُن کے شبہات ہیں کیا، اور ہر شبہے کی جڑ کہاں ہے۔

ج۔ ۵۔ ساتھ چلنے والا مطالعہ۔ پہلے ہی دن سے ہفتے میں ایک دو گھنٹے اُن اہلِ علم کے لیے مخصوص ہوں جو یہ کام آج اعلیٰ ترین سطح پر کر رہے ہیں۔ «تاکہ جب آپ پُل تک پہنچیں تو ایک جاری گفتگو میں شریک ہوں، نئی گفتگو چھیڑنی نہ پڑے۔

د۔ حفاظتی حدود۔ پورے سفر میں تین لغزشوں سے بچنا ہے:

• معذرت خواہانہ جدیدیت، یعنی ایمان کی تعبیر یوں کرنا کہ وہ جدید سائنس کے سانچے میں بیٹھ جائے۔
• مادی تخفیف، یعنی اسلام کو سمیٹ کر محض ایک سیاسی یا معاشی نظام بنا دینا۔
• پرویزی رَو، یعنی آخرت کو دنیوی فلاح تک محدود کر دینا۔

ہ۔ یہ محنت کس لیے ہے۔ اصل روگ ارتداد نہیں، بے یقینی کا خاموش پھیلاؤ ہے: وہ نوجوان جو نماز بھی پڑھتا ہے مگر دل میں گرہ باقی ہے۔ دھندلے شک کی غذا ابہام ہے۔ وہ دھند ہے، دلیل نہیں۔ نفع دو راستوں سے پہنچے گا۔ براہِ راست اُن تک جو علمی مزاج رکھتے ہیں، اور بالواسطہ، جو زیادہ وسیع راستہ ہے، ایسے اساتذہ اور اہلِ قلم تیار کر کے جو ایسے شک کے ساتھ اطمینان سے بیٹھ سکیں، نہ گھبرا کر اور نہ شرمندہ کر کے۔

بنیادی کتابیں

تعارف: Nagel What Does It All Mean? · Warburton Philosophy: The Basics · Russell The Problems of Philosophy · Weston A Rulebook for Arguments

منطق و برہان: N. Smith Logic: The Laws of Truth · Bergmann, Moor & Nelson The Logic Book · Goldfarb Deductive Logic · Velleman How to Prove It

مابعد المنطق: P. Smith An Introduction to Gödel's Theorems · Boolos, Burgess & Jeffrey Computability and Logic

جہتی منطق: Sider Logic for Philosophy · Garson Modal Logic for Philosophers

احتمال: Hacking Probability and Inductive Logic · Resnik Choices

پُل کے بنیادی متون، جو تمام عمر ساتھ رہیں گے: امام غزالیؒ تہافت الفلاسفہ · ابن رشد تہافت التہافت · شیخ الاسلام ابن تیمیہؒ الرد علی المنطقیین · امام فخر الدین رازیؒ کی کلامی تصانیف · علامہ اقبال تشکیلِ جدید الٰہیاتِ اسلامیہ · Shoaib Ahmed Malik Islam and Evolution · Feser Five Proofs of the Existence of God

اہم مفکرین

گوڈل · کرپکی · امام غزالیؒ · ابن رشد · شیخ الاسلام ابن تیمیہؒ · امام فخر الدین رازیؒ · علامہ اقبال۔

اِن کے علاوہ عصرِ حاضر کے وہ اہلِ علم جنہیں نمونے کے طور پر پیشِ نظر رکھنا ہے: Shoaib Ahmed Malik · Jamie B. Turner · Taha Abderrahman · Nidhal Guessoum · Edward Feser

کورسز و وسائل

سند یافتہ کم سے کم راستہ چھ اسناد پر مشتمل ہے، اِسی ترتیب سے:

۱۔ Edinburgh ۔ Introduction to Philosophy ۲۔ Duke ۔ Think Again ۳۔ Stanford ۔ Introduction to Logic ۴۔ SeekersGuidance ۔ Logic for Beginners، یعنی سلم المنورق ۵۔ MITx ۔ Paradox and Infinity ۶۔ HarvardX ۔ Stat110

اِن کے علاوہ: HarvardX Justice · UCSD Mathematical Thinking in CS · MITx 6. 431x Probability · Duke Bayesian Statistics · Stanford Game Theory

روایت سے جوڑنے والے: SeekersGuidance پر سلم اور عقیدہ طحاویہ · Al-Balagh کا عقیدہ ڈپلومہ · Al-Salam Institute میں کلاسیکی منطق

جن اداروں پر نظر رکھنی ہے: Cambridge Muslim College · Islamic Analytic Theology network · Zaytuna اور اُس کا Renovatio · IIIT

طریقِ کار

ہفتے کی تقسیم یوں ہے کہ چار دن سند والے کورس کے، دو دن منطق اور کسی ایک اسلامی متن کے، اور ایک دن قلم کے۔ اُس ایک دن اُس ہفتے کا منطقی تصور لے کر کسی اسلامی دلیل پر برتا جاتا ہے، اور ایک صفحہ لکھا جاتا ہے۔

ناظمِ حلقہ کے الفاظ میں، «ہفتہ وار لکھا ہوا صفحہ ہی وہ جگہ ہے جہاں سب کچھ آ کر جُڑتا ہے۔ سال بھر میں پچاس مختصر تحریریں۔

حلقے کی نشست بھی اِسی ترتیب پر چلتی ہے۔ گروہ کے لیے الگ سے کوئی طریقہ نہیں؛ سب مل کر وہی سیڑھی چڑھتے ہیں۔

نشاۃِ ثانیہ سے تعلق

ہر درجہ ڈاکٹر اسرار احمدؒ کے بیان کردہ تقاضے سے براہِ راست جوڑا گیا ہے:

پاکستان کا معاملہ الگ ہے۔ مدرسے کے پاس روایت ہے مگر رسمی اوزار نہیں، اور یونیورسٹی کے پاس اوزار ہیں مگر روایت سے رشتہ ٹوٹا ہوا ہے۔ «یہ راستہ وہ کمیاب آدمی پیدا کرتا ہے جو دونوں جہانوں میں قدم رکھ سکے۔