پروگرامنگ میں منطق کی سائنس

پروگرامنگ میں منطق کی سائنس

یہ مضمون جرمن فلسفی جارج ولہیم فریڈرک ہیگل کے کام سے منطقی ہستیوں کے تقابلی تجزیے کے لیے وقف ہے "سائنس آف لاجک" کے ساتھ ان کے analogues یا پروگرامنگ میں ان کی عدم موجودگی۔

سائنس آف لاجک کی ہستیاں ان الفاظ کی عام طور پر قبول شدہ تعریفوں کے ساتھ الجھن سے بچنے کے لیے ترچھی شکل میں ہیں۔

پاک وجود

اگر آپ تعریف کھولیں۔ پاک وجود کتاب میں، آپ کو "مزید تعریف کے بغیر" ایک دلچسپ لائن نظر آئے گی۔ لیکن ان لوگوں کے لیے جنہوں نے پڑھا یا نہیں سمجھا، مصنف پر ڈیمنشیا کا الزام لگانے میں جلدی نہ کریں۔ پاک وجود - یہ ہیگل کی منطق میں ایک بنیادی تصور ہے، یعنی کچھ شے موجود ہے، براہ کرم اسے کسی شے کے وجود سے الجھائیں، ہو سکتا ہے وہ چیز حقیقت میں موجود نہ ہو، لیکن اگر ہم اپنی منطق میں کسی طرح سے اس کی تعریف کریں تو یہ موجود ہے۔ اگر آپ اس کے بارے میں سوچتے ہیں تو، واقعی ایسی چیزیں ہیں جیسے پاک وجود تعریف دینا ناممکن ہے، اور ایسی کوئی بھی کوشش اس حقیقت تک پہنچ جائے گی کہ آپ محض اس کے مترادفات یا مترادفات کا حوالہ دیں گے۔ پاک وجود ایسا تجریدی تصور کہ اس کا اطلاق کسی بھی چیز پر کیا جا سکتا ہے، بشمول خود۔ کچھ آبجیکٹ پر مبنی زبانوں میں، کسی بھی چیز کو بطور آبجیکٹ پیش کرنا ممکن ہے، بشمول اشیاء پر آپریشن، جو اصولی طور پر ہمیں تجرید کی ایسی سطح فراہم کرتا ہے۔ تاہم، براہ راست ینالاگ پروگرامنگ میں پاک وجود نہیں. کسی شے کے وجود کو جانچنے کے لیے ہمیں اس کی عدم موجودگی کو جانچنے کی ضرورت ہے۔

if(obj != null);

یہ عجیب بات ہے کہ اس طرح کی مصنوعی چینی ابھی تک موجود نہیں ہے، یہ دیکھتے ہوئے کہ یہ چیک بہت مشہور ہے۔

کچھ نہیں

آپ کیسے اندازہ لگا سکتے ہیں۔ کچھ نہیں کسی چیز کی عدم موجودگی ہے. اور اس کے اینالاگ کو NULL کہا جا سکتا ہے۔ یہ بات قابل غور ہے کہ منطق کی سائنس میں کچھ نہیں ہے پاک وجودکیونکہ یہ بھی موجود ہے۔ یہ تھوڑا سا پکڑنے والا ہے؛ ہم کسی بھی زبان میں NULL کو بطور آبجیکٹ تک رسائی حاصل نہیں کرسکتے ہیں، حالانکہ جوہر میں یہ بھی ایک ہے۔

تشکیل اور لمحات

بننا سے ایک منتقلی ہے کچھ نہیں в ہونے کی وجہ سے اور سے ہونے کی وجہ سے в کچھ نہیں. یہ ہمیں دو دیتا ہے۔ لمحہ، پہلا کہا جاتا ہے۔ ظہور، اور دوسرا گزرنا. گزرنا اسے غائب ہونے کے بجائے کہا جاتا ہے، کیونکہ منطقی جوہر اس وقت تک غائب نہیں ہوسکتا جب تک کہ ہم اسے بھول نہ جائیں۔ واپسی اس طرح ہم تفویض کا طریقہ کار کہہ سکتے ہیں۔ اگر ہمارا اعتراض شروع کیا جاتا ہے، تو واقعہ کا لمحہ، اور دوسری قدر یا NULL تفویض کرنے کی صورت میں گزرنے کا لمحہ.

obj = new object(); //возникновение
obj = null; //прехождение

وجود

مختصرا وجود ایک ایسی چیز ہے جس کی کوئی واضح تعریف نہیں ہے، لیکن ہے۔ یقین. اس کا کیا مطلب ہے. روایتی مثال ایک عام کرسی ہے۔ اگر آپ اسے واضح تعریف دینے کی کوشش کریں تو آپ کو بہت سی مشکلات کا سامنا کرنا پڑے گا۔ مثال کے طور پر، آپ کہتے ہیں: "یہ فرنیچر کا ایک ٹکڑا ہے جو بیٹھنے کے لیے بنایا گیا ہے،" لیکن اس کے لیے کرسی بھی بنائی گئی ہے، وغیرہ۔ لیکن واضح تعریف کا فقدان ہمیں خلا میں اس کو نمایاں کرنے اور اس کے بارے میں معلومات کی ترسیل کے وقت اس کا استعمال کرنے سے نہیں روکتا، اس کی وجہ یہ ہے کہ ہمارے دماغ میں موجود ہے یقین کرسی. شاید کچھ لوگ پہلے ہی اندازہ لگا چکے ہیں کہ عصبی نیٹ ورک ایسی چیزوں کو ڈیٹا اسٹریم سے الگ کرنے کے لیے بنائے گئے تھے۔ نیورل نیٹ ورک کو ایک فنکشن کے طور پر بیان کیا جاسکتا ہے جو اس کی وضاحت کرتا ہے۔ یقین، لیکن ایسی اشیاء کی کوئی قسم نہیں ہے جس میں واضح اور مبہم تعریفیں شامل ہوں گی، لہذا ایسی اشیاء کو تجرید کی ایک ہی سطح پر استعمال نہیں کیا جا سکتا۔

مقداری تبدیلیوں کی کوالیٹیٹیو میں منتقلی کا قانون

یہ قانون فریڈرک اینگلز نے ہیگل کی منطق کی تشریح کے نتیجے میں وضع کیا تھا۔ تاہم، یہ واضح طور پر باب میں پہلی جلد میں دیکھا جا سکتا ہے کم سے کم. اس کا جوہر یہ ہے۔ مقداری کسی چیز میں تبدیلیاں اس پر اثر انداز ہو سکتی ہیں۔ معیار. مثال کے طور پر، ہمارے پاس ایک برف کی چیز ہے؛ درجہ حرارت کے جمع ہونے کے ساتھ، یہ مائع پانی میں بدل جائے گا اور اس کی خصوصیات. کسی شے میں اس طرز عمل کو نافذ کرنے کے لیے، ایک اسٹیٹ ڈیزائن پیٹرن موجود ہے۔ اس طرح کے حل کا ظہور ایسی چیز کی پروگرامنگ میں عدم موجودگی کی وجہ سے ہوتا ہے۔ بنیاد لیے واقعہ چیز. فاؤنڈیشن ان حالات کا تعین کرتا ہے جن کے تحت کوئی چیز ظاہر ہو سکتی ہے، اور الگورتھم میں ہم خود فیصلہ کرتے ہیں کہ ہمیں کس مقام پر آبجیکٹ کو شروع کرنے کی ضرورت ہے۔

PS: اگر یہ معلومات دلچسپ ہیں تو میں سائنس آف لاجک سے دیگر اداروں کا جائزہ لوں گا۔

ماخذ: www.habr.com

نیا تبصرہ شامل کریں