Law of identity
منطق میں، شناخت کا قانون کہتا ہے کہ ہر چیز اپنے آپ میں ایک جیسی ہے۔ یہ سوچ کے تاریخی تین قوانین میں سے پہلا ہے، اس کے ساتھ ساتھ عدم تضاد کا قانون، اور خارج شدہ درمیانی کا قانون ہے۔ تاہم، منطق کے چند نظام صرف ان قوانین پر بنائے گئے ہیں۔ تاریخ قدیم فلسفہ قانون کا سب سے قدیم ریکارڈ شدہ استعمال افلاطون کے مکالمے تھیئٹیٹس (185 اے) میں ظاہر ہوتا ہے، جس میں سقراط یہ ثابت کرنے کی کوشش کرتا ہے کہ جسے ہم "آوازیں" اور "رنگ" کہتے ہیں وہ چیزوں کی دو مختلف کلاسیں ہیں: یہ ارسطو میں صرف ایک بار واضح طور پر استعمال کیا گیا ہے، جو کہ پری اینالٹکس میں ایک ثبوت ہے: قرون وسطی کے فلسفے ارسطو کا خیال تھا کہ غیر تضاد کا قانون سب سے بنیادی قانون ہے۔ دونوں تھامس ایکویناس (میٹ۔ IV، لیکچر۔ 6) اور ڈنس اسکاٹس (کویسٹ۔ سپ. ملاقات ہوئی۔ IV، ق۔ 3) اس سلسلے میں ارسطو کی پیروی کریں۔ اسکاٹس کے ہسپانوی شاگرد انتونیئس اینڈریاس (وفات 1320) کا استدلال ہے کہ سب سے پہلے اس قانون سے تعلق رکھنا چاہیے کہ "ہر وجود ایک وجود ہے" (اونی اینس ایسٹ اینس، قق۔ میٹ میں۔ IV، ق۔ 4)، لیکن مرحوم علمی مصنف فرانسسکو سواریز (ڈسپ۔ ملاقات ہوئی۔ III، §3) متفق نہیں تھے، انہوں نے ارسطو کی پیروی کرنے کو بھی ترجیح دی۔ اسی اصول کا ایک اور ممکنہ اشارہ کوسا کے نکولس (1431-1464) کی تحریروں میں پایا جا سکتا ہے جہاں وہ کہتے ہیں: جدید فلسفہ گوٹ فرائیڈ ولہیم لیبنز نے دعوی کیا کہ شناخت کا قانون، جس کا وہ اظہار کرتے ہیں کہ "سب کچھ وہی ہے جو ہے"، استدلال کی پہلی قدیم سچائی ہے جو مثبت ہے، اور عدم تضاد کا قانون پہلی منفی سچائی ہے (نووو۔ ایس۔ IV، 2، §i)، یہ دلیل دیتے ہوئے کہ "یہ بیان کہ ایک چیز وہی ہے جو وہ ہے، اس بیان سے پہلے ہے کہ یہ کوئی دوسری چیز نہیں ہے" (نووو۔ ایس۔ IV، 7، §9)۔ ولہیم ونڈٹ گوٹ فرائیڈ لیبنز کو علامتی تشکیل کا سہرا دیتے ہیں، "اے اے ہے"۔ لیبنز کا قانون ایک ایسا ہی اصول ہے، کہ اگر دو اشیاء کی تمام خصوصیات ایک جیسی ہیں، تو وہ حقیقت میں ایک ہی ہیں: Fx اور Fy iff x = y۔ جان لاک (انسانی تفہیم سے متعلق مضمون IV۔ vii. IV. ("آف میکسمز") کہتا ہے: افریکان اسپر شناخت کے قانون کو علم کے بنیادی قانون کے طور پر اعلان کرتا ہے، جو تجرباتی حقیقت کے بدلتے ہوئے ظہور کے خلاف ہے۔ جارج بول نے اپنے مقالے دی لاز آف تھاٹ کے تعارف میں زبان کی نوعیت اور ان اصولوں کے حوالے سے درج ذیل مشاہدے کیے ہیں جو قدرتی طور پر ان کے اندر موجود ہونے چاہئیں، اگر انہیں قابل فہم ہونا ہے: معروضیت، ناول نگار عین رینڈ کا قائم کردہ فلسفہ، تین محوروں پر مبنی ہے، جن میں سے ایک شناخت کا قانون ہے، "اے اے ہے"۔ عین رینڈ کے معروضیت میں شناخت کے قانون کو تصور وجود کے ساتھ استعمال کیا جاتا ہے تاکہ یہ معلوم کیا جا سکے کہ جو موجود ہے وہ کچھ ہے۔ معروضی علمیات میں منطق منطق کے تین قوانین پر مبنی ہے۔ عصری فلسفہ تجزیاتی ریاضی کی بنیادوں میں، گوٹلوب فریج نے نمبر ایک کو خود سے ملتے جلتے ہونے کی خاصیت سے جوڑا۔ فریج کا مقالہ "آن سینس اینڈ ریفرنس" مساوات اور معنی پر بحث سے شروع ہوتا ہے۔ فریج نے حیرت کا اظہار کیا کہ "a = a" کی شکل کا ایک حقیقی بیان، جو شناخت کے قانون کی ایک معمولی مثال ہے، "a = b" کی شکل کے حقیقی بیان سے کیسے مختلف ہو سکتا ہے، جو علم کی حقیقی توسیع ہے، اگر کسی اصطلاح کا معنی اس کا حوالہ تھا۔ "آن ڈینوٹنگ" میں برٹرینڈ رسل کے پاس اسی طرح کی پہیلی ہے: "اگر a، b کے ساتھ یکساں ہے، تو جو کچھ بھی ایک کے بارے میں سچ ہے وہ دوسرے کے بارے میں سچ ہے، اور اس تجویز کی سچائی یا جھوٹ کو تبدیل کیے بغیر دوسرے کے لیے تبدیل کیا جا سکتا ہے۔ اب جارج چہارم جاننا چاہتا تھا کہ آیا اسکاٹ ویورلی کا مصنف تھا ؛ اور درحقیقت اسکاٹ ویورلی کا مصنف تھا۔ لہذا ہم "سکاٹ" کو "ویورلی کے مصنف" کے لیے تبدیل کر سکتے ہیں اور اس طرح یہ ثابت کر سکتے ہیں کہ جارج چہارم جاننا چاہتا تھا کہ آیا سکاٹ سکاٹ تھا۔ پھر بھی شناخت کے قانون میں دلچسپی کو شاید ہی یورپ کے پہلے شریف آدمی سے منسوب کیا جا سکتا ہے۔ "اپنی" ٹریکٹاٹس لاجیکو-فلاسفیکس "میں، لڈوگ وٹگنسٹین لکھتے ہیں کہ" تقریبا بولنا: دو چیزوں کے بارے میں یہ کہنا کہ وہ ایک جیسی ہیں، بکواس ہے، اور ایک چیز کے بارے میں یہ کہنا کہ وہ اپنے آپ میں ایک جیسی ہے، کچھ نہ کہنا ہے۔ " تجزیاتی فلسفے کی رسمی منطق میں، شناخت کا قانون "a = a" یا "تمام x کے لیے: x = x" لکھا جاتا ہے، جہاں a یا x ایک تجویز کے بجائے کسی اصطلاح کا حوالہ دیتے ہیں، اور اس طرح شناخت کا قانون تجویز کردہ منطق میں استعمال نہیں ہوتا ہے۔ یہ وہ چیز ہے جس کا اظہار مساوی نشان "="، شناخت یا مساوات کے تصور سے ہوتا ہے۔ کانٹینینٹل مارٹن ہیڈیگر نے 1957 میں "ڈیر سیٹز ڈیر آئیڈینٹیٹاٹ" (شناخت کا بیان) کے عنوان سے ایک تقریر کی، جس میں انہوں نے شناخت کے قانون "اے = اے" کو پارمینیڈس کے "ٹکڑے" سے جوڑ کر گار آٹو ایسٹن نوئین ٹی کائی اینائی "(. ایک ہی چیز کے بارے میں سوچا جا سکتا ہے اور موجود ہو سکتا ہے) سے جوڑا۔ اس طرح ہائیڈیگر شناخت کو سوچ اور وجود کے رشتے سے شروع کرتے ہوئے، اور سوچ اور وجود کے تعلق سے سمجھتے ہیں۔ گیلز ڈیلیوز نے لکھا ہے کہ "فرق اور تکرار" شناخت کے کسی بھی تصور سے پہلے ہے۔ جدید منطق فرسٹ آرڈر منطق میں، شناخت (یا مساوات) کو دو جگہ کی پیش گوئی، یا رشتہ، = کے طور پر پیش کیا جاتا ہے۔ شناخت افراد پر ایک رشتہ ہے۔ یہ تجاویز کے درمیان تعلق نہیں ہے، اور اس کا تعلق تجاویز کے معنی سے نہیں ہے، اور نہ ہی اس میں کوئی گڑبڑ ہے۔ شناخت کے قانون کا اظہار اس طرح کیا جا سکتا ہے، جہاں x تمام افراد کے ڈومین پر محیط متغیر ہے۔ منطق میں، شناخت کو سنبھالنے کے مختلف طریقے ہیں۔ شناخت کے ساتھ فرسٹ آرڈر منطق میں، شناخت کو منطقی مستقل سمجھا جاتا ہے اور اس کے محرکات خود منطق کا حصہ ہیں۔ اس کنونشن کے تحت شناخت کا قانون ایک منطقی سچائی ہے۔ شناخت کے بغیر فرسٹ آرڈر منطق میں، شناخت کو ایک قابل تشریح پیش گوئی کے طور پر سمجھا جاتا ہے اور اس کے محوریات نظریہ کے ذریعہ فراہم کیے جاتے ہیں۔ یہ ایک وسیع تر مساوات کے تعلق کو استعمال کرنے کی اجازت دیتا ہے جو a = b کو الگ الگ افراد a اور b کے ذریعے مطمئن کرنے کی اجازت دے سکتا ہے۔ اس روایت کے تحت، ایک ماڈل کو نارمل کہا جاتا ہے جب کوئی الگ الگ افراد a اور b a = b کو مطمئن نہیں کرتے ہیں۔ منطق کی ایک مثال جو شناخت کے قانون کو اس طرح مسترد یا محدود کرتی ہے وہ شروڈنگر منطق ہے۔ شناخت (فلسفہ) ناموں کی اصلاح بھی دیکھیں حوالہ جات بیرونی روابط شناخت (فلسفہ) منطق