Universal instantiation
پریڈیکیٹ منطق میں، یونیورسل انسٹنٹیشن (UI ؛ جسے یونیورسل اسپیسیفیکیشن یا یونیورسل ایلیمینیشن بھی کہا جاتا ہے، اور بعض اوقات ڈکٹم ڈی اونی کے ساتھ الجھایا جاتا ہے) افراد کے ایک طبقے کے ہر رکن کے بارے میں سچائی سے اس طبقے کے کسی خاص فرد کے بارے میں سچائی کا ایک درست اصول ہے۔ یہ عام طور پر عالمگیر مقداری کے لیے مقداری اصول کے طور پر دیا جاتا ہے لیکن اسے محوری اسکیما میں بھی انکوڈ کیا جا سکتا ہے۔ یہ مقداری نظریہ میں استعمال ہونے والے بنیادی اصولوں میں سے ایک ہے۔ مثال: "تمام کتے ممالیہ ہیں۔ فیڈو ایک کتا ہے۔ اس لیے فیڈو ایک ممالیہ جانور ہے۔ " رسمی طور پر، ایک محوری اسکیما کے طور پر قاعدہ ہر فارمولہ A اور ہر اصطلاح a کے لیے دیا گیا ہے، جہاں A میں x کی ہر آزاد موجودگی کے لیے a کو تبدیل کرنے کا نتیجہ ہے۔ اس کی ایک مثال ہے اور قیاس کے ایک اصول کے طور پر یہ ایرونگ کوپی کے اندازے سے ہے کہ یونیورسل انسٹنٹیشن "قدرتی کٹوتی" کے قوانین کی مختلف شکلوں کی پیروی کرتا ہے، جنہیں 1934 میں گیرہارڈ جینٹزن اور ستانی سلاو جاکووسکی نے آزادانہ طور پر وضع کیا تھا۔ کوئین ولارڈ وان اورمن کوئین کے مطابق، عالمگیر فوری اور وجودی عمومی کاری ایک ہی اصول کے دو پہلو ہیں، کیونکہ یہ کہنے کے بجائے کہ "x = x" سے مراد "سقراط = سقراط" ہے، ہم یہ بھی کہہ سکتے ہیں کہ انکار "سقراط" سے مراد "x = x" ہے۔ ان دونوں کارروائیوں میں جو اصول شامل ہے وہ مقدار اور واحد بیانات کے درمیان تعلق ہے جو ان سے مثال کے طور پر متعلق ہیں۔ پھر بھی یہ صرف شائستگی کا اصول ہے۔ یہ صرف اس صورت میں ہوتا ہے جہاں ایک اصطلاح کے نام اور، مزید برآں، حوالہ جاتی ہے۔ یہ بھی دیکھیں کہ ایکزسٹینشل انسٹنٹایشن ایکزسٹینشل جنرلائزیشن ایکزسٹینشل کوانٹیفیکیشن انفریشن رولز حوالہ جات پیشن گوئی منطق کے قواعد