Czesław Lejewski
سیزلاو لیجوسکی (منسک میں 1913-ڈونکاسٹر میں 2001) ایک پولینڈ کے فلسفی اور منطق تھے، اور لیو وارسا اسکول آف لاجک کے رکن تھے۔ انہوں نے لندن اسکول آف اکنامکس میں جان لیوکاسیویکس اور کارل پوپر اور ڈبلیو وی او کوائن کے ماتحت تعلیم حاصل کی۔ "منطق اور وجود" اپنے مقالے "منطق اور وجود" (1954-55) میں لیجوسکی نے آزاد منطق کا ایک ورژن پیش کیا۔ انہوں نے غیر حوالہ اسم کے مسئلے کو پیش کرتے ہوئے آغاز کیا، اور یہ کہہ کر مسئلہ کو حل کرنے کے لالچ کی مزاحمت کرنے پر کوئین کی تعریف کی کہ غیر حوالہ نام بے معنی ہیں۔ تاہم، کوئین کا حل یہ تھا کہ ہمیں پہلے یہ فیصلہ کرنا ہوگا کہ آیا ہمارے نام سے مراد ہے یا نہیں اس سے پہلے کہ ہم اس کا منطقی طور پر علاج کریں۔ لیجوسکی نے اسے غیر تسلی بخش پایا کیونکہ حوالہ دینے اور غیر حوالہ دینے والے ناموں کے درمیان باضابطہ فرق ہونا چاہیے۔ انہوں نے مزید لکھا، "یہ صورتحال زیادہ تسلی بخش نہیں لگتی ہے۔ یہ خیال کہ ہمارے قیاس کے کچھ اصولوں کا انحصار تجرباتی معلومات پر ہونا چاہیے، جو شاید آنے والی نہیں ہیں، منطقی تحقیقات کے کردار کے لیے اتنا غیر ملکی ہے کہ دونوں نتائج (وجودی عمومی اور عالمگیر فوری) کا مکمل دوبارہ جائزہ ہمارے وقت کے قابل ثابت ہو سکتا ہے۔ " (قوسین لیجوسکی کی نہیں ہے)۔ اس کے بعد وہ ایک بہت ہی تخلیقی رسمی زبان کی وضاحت کرتا ہے: ایک ڈومین لیں جو a اور b پر مشتمل ہو، اور دو نشانیاں 'a' اور 'b' جو ان عناصر کی طرف اشارہ کرتی ہیں۔ ایک پیشن گوئی ہے، Fx۔ کوئین کے انداز میں اس کے میتھڈز آف لاجک میں عالمگیر یا وجودی مقدار کی کوئی ضرورت نہیں ہے۔ واحد ممکنہ جوہری بیانات ایف اے اور ایف بی ہیں۔ اب ہم نئی علامتیں متعارف کراتے ہیں لیکن ڈومین میں کوئی نیا عنصر نہیں۔ 'سی' سے مراد کوئی عنصر نہیں ہے اور 'ڈی' سے مراد کوئی عنصر نہیں ہے۔ اس طرح، سچ ہے. اب ہم پیش گوئی Dx متعارف کراتے ہیں جو d کے لیے درست ہے۔ ہمارے پاس، یہاں، یہ دعوی کرنے کی کوئی وجہ نہیں ہے، اور اس طرح یہ دعوی کرنے کی کوئی وجہ نہیں ہے کہ ایسی چیز موجود ہے جو موجود نہیں ہے۔ ہمارے پاس ہر علامت کے حوالہ کے بارے میں وجود کے دعوے کرنے کی کوئی معقول وجہ نہیں ہے، کیونکہ یہ فرض کرے گا کہ ہر علامت سے مراد ہے۔ اس کے بجائے، ہمیں اس وقت تک اگنوسٹک رہنا چاہیے جب تک کہ ہمیں بہتر معلومات نہ مل جائیں۔ تاہم، یہاں دی گئی شرائط کے مطابق، ہمارے پاس سی کے بارے میں ملحد ہونے کی بالکل اچھی وجہ ہے، اور اب بھی بوٹ ہونے کا دعوی کرنے کی اچھی وجہ ہے۔ لیجوسکی اس بیان کو غیر محدود تشریح کہتے ہیں۔ تب محدود تشریح وہ زبان ہے جو علامتوں اور عناصر کے درمیان فرق نہیں کرتی ہے، اور اس لیے دعوی کرنے پر مجبور کیا جاتا ہے کہ وہ سچ ہے۔ یہ واضح ہے کہ غیر محدود تشریح میں ظاہر ہونے والی ہر چیز محدود تشریح میں قابل اظہار ہے۔ لامحدود ڈومینز اور لامحدود علامات کو عام کرنا آسان ہے۔ لامحدود پیش گوئیوں کو عام کرنے کے لیے کسی وضاحت کی ضرورت نہیں ہے۔ ایک آسان حقیقت یہ ہے کہ یہ منطق کالعدم سیٹ کے ڈومین کو بھی ایڈجسٹ کر سکتی ہے، کیونکہ مقداری دعووں کو ڈومین میں کسی عنصر کو فرض کرنے کی ضرورت نہیں ہوگی۔ مثال کے طور پر، غیر محدود تشریح کا استعمال کرتے ہوئے خالی ڈومین پر درست ہوگا، جہاں 'c' اب بھی حوالہ نہیں دیتا ہے۔ ثبوت یہ ہے کہ، یہ فرض کرتے ہوئے کہ ماضی درست ہے، ہمیں ڈومین کے عناصر کے بارے میں کوئی دعوی نہ کرنے کے لیے کوانٹیفائرز کو سمجھنا چاہیے بلکہ صرف علامات کے بارے میں۔ اس طرح وہ تجویز کرتے ہیں کہ ہم وجودی مقدار کی تشریح کو ترک کر دیں کیونکہ "ایک x موجود ہے" اور اسے "کچھ (نشان) x کے لیے" (قوسین لیجوسکی کی نہیں) سے تبدیل کریں۔ وہ یہ بھی تجویز کرتے ہیں کہ وجودی عمومی کاری سے متعلق قیاس کو "مخصوص عمومی کاری" کہا جائے۔ جہاں ڈومین میں ہر نشان پر پریڈیکیٹ Fx کا اطلاق کرنا درست ہے، ڈومین میں دی گئی علامت پر پریڈیکیٹ کا اطلاق کرنا درست ہے۔ اس طرح مشروط درست ہے۔ (اس لیے اوپر کا علاج جو وجودی مقدار اور میٹا لسانی بیان 'x موجود ہے' میں فرق کرتا ہے۔) محدود تشریح کا استعمال کرتے ہوئے، ہم دیکھتے ہیں کہ دعوی غلط ہو جاتا ہے۔ اہم پس منظر خالی طور پر درست ہے۔ اس کی وجہ یہ ہے کہ کچھ بھی موجود نہیں ہے اور اس لیے، ہر علامت کے لیے، اندرونی پس منظر غلط ہے، اور اس طرح خالی طور پر سچ ہے۔ نتیجہ غلط ہے، کیونکہ جہاں پچھلا سچ ہے نتیجہ ہمیں بتاتا ہے کہ کچھ موجود ہے۔ نیل سیٹ میں، یہ ہمیشہ غلط ہوتا ہے۔ خالی سیٹ کے مسئلے پر کوئین کا ردعمل یہ تھا کہ یہ ایک ایسا مسئلہ تھا جس کا حقیقت میں کبھی سامنا نہیں ہوا، جسے لیجوسکی نے غیر تسلی بخش پایا۔ اس کے بعد لیجوسکی اس تشریح کو شمولیت کی زبان تک پھیلاتے ہیں، اور ایک غیر محدود منطق کا محوری بیان پیش کرتے ہیں۔ اس منطق کو بعد میں کیرل لیمبرٹ نے مزید مکمل طور پر تیار کیا، جس نے غیر محدود تشریح کو "آزاد منطق" قرار دیا۔ میٹا لسانی 'x موجود ہے' کے بجائے، لیمبرٹ نے علامت E! x کو اپنایا، جسے وجود کی مقدار کے بغیر محوری بنایا جا سکتا ہے۔ منتخب کام "منطق اور وجود"۔ برٹش جرنل فار دی فلاسفی آف سائنس 5 (1954-5)، پی۔ 104-119۔ "آن لیسنیوسکیز آنٹولوجی"، تناسب 1 (1958)، پی پی۔ 150-176۔ "آن امپلیکیشنل ڈیفینیشنز"، اسٹڈیا لاجیکا 8 (1958)، پی پی۔ 189-205۔ "اے ری ایگزامینیشن آف دی رسلین تھیوری آف ڈسکرپشنز"، فلاسفی 35 (1960)، پی پی۔ 14-29۔ "آن پروسلپٹک سیلوجزمز"، نوٹری ڈیم جرنل آف فارمل لاجک 2 (1961)، پی پی۔ "ارسطو کا سلیجسٹک اور اس کی توسیعات،" سنتھیس 15 (1963)، پی پی۔ 125-154۔ "اینسینٹ لاجک"، پری، اے۔ این۔، "لاجک، ہسٹری آف"، دی انسائیکلوپیڈیا آف فلاسفی، 1967، جلد۔ 4، پی پی۔ 513-520۔ "جان لیوکاسیویکس"، دی انسائیکلوپیڈیا آف فلاسفی کا حصہ، 1967، جلد۔ 5، پی پی۔ 104-107۔ "آن پروسلپٹک پریمیسیس"، نوٹری ڈیم جرنل آف فارمل لاجک 17 (1976)، پی پی۔ 1-18۔ "لیسنییوسکی کی آنٹولوجی کے فریم ورک کے اندر کلاس کے غیر رسمی تصور کو ایڈجسٹ کرنا،" ڈائیلیکٹکا 39 (1985)، پی پی، 217-241۔ اسٹڈیا لاجیکا 48 (1989)، پی پی۔ 479-494 "واحد ابتدائی اصطلاح کے طور پر مضمرات کے فنکٹر کے ساتھ فنکشنل طور پر مکمل پروپوزیشنل کیلکولس کی رسمی شکل۔ حوالہ جات بیرونی روابط سیزلاو لیجوسکی مجموعہ ؛ یونیورسٹی آف لیڈز 1913 پیدائش 2001 اموات پولینڈ کے منطق 20 ویں صدی کے پولینڈ کے فلسفی مانچسٹر کی وکٹوریہ یونیورسٹی کے ماہرین تعلیم