Karel Lambert
کیرل لیمبرٹ (پیدائش 1928) ایک امریکی فلسفی اور منطق ہے جو یونیورسٹی آف کیلیفورنیا، ارون اور یونیورسٹی آف سالزبرگ میں ہے۔ انہوں نے آزاد منطق کے موضوع پر بڑے پیمانے پر لکھا ہے، یہ اصطلاح انہوں نے بنائی تھی۔ لیمبرٹ کا قانون لیمبرٹ کا قانون کسی بھی آزاد قطعی وضاحت کے نظریہ میں اہم اصول ہے جو کہتا ہے: تمام x کے لیے، x = y (A) اگر اور صرف اگر (A (x/y) اور تمام y کے لیے (اگر A تو y = x))۔ آزاد منطق خود ایک دی گئی معیاری پیش گوئی منطق کی ایڈجسٹمنٹ ہے جیسے کہ اسے وجودی مفروضوں سے نجات دلانا، اور اس طرح اسے ایک آزاد منطق بنانا۔ برٹرینڈ رسل کی پریڈیکیٹ منطق کو اپنے پرنسپیا میتھمیٹکا میں معیاری کے طور پر لیتے ہوئے، کوئی بھی یونیورسل انسٹنٹیشن کی جگہ، یونیورسل اسپیسیفیکیشن کے ساتھ لے لیتا ہے۔ اس طرح عالمگیر بیانات، جیسے "تمام انسان فانی ہیں"، یا "سب کچھ ایک یونیکورن ہے"، یہ نہیں مانتے کہ مرد موجود ہیں یا کچھ بھی موجود ہے۔ ان کی علامت، مناسب پیش گوئیوں کے ساتھ، اور کے طور پر ہوگی، جو پرنسپیا میتھمیٹکا میں شامل ہے اور، لیکن آزاد منطق میں نہیں۔ ان آخری بیانات کی سچائی، جب آزاد منطق میں استعمال ہوتی ہے، تو اس کا انحصار مقدار کے ڈومین پر ہوتا ہے، جو کہ کالعدم سیٹ ہو سکتا ہے۔ شائع شدہ کام "فری لاجک اینڈ دی کانسیپٹ آف ایکزسٹنس"، نوٹری ڈیم جرنل آف فارمل لاجک، VIII، نمبر 1 اور 2، اپریل 1967۔ فری لاجک کی فلسفیانہ ایپلی کیشنز، نیویارک: آکسفورڈ یونیورسٹی پریس، 1991، "اے تھیوری آف ڈیفائنٹ ڈسکرپشنز"، پی پی۔ 17-27، آزاد منطق میں رسل کے نظریہ وضاحتیں کے بیان کی تفصیل دیتا ہے۔ اس عمل میں، وہ یہ ظاہر کرتا ہے کہ کس طرح ہنٹیکا کی تشکیل رسل کے پیراڈوکس سے منطق میں ارتباط کے ذریعے تضاد کی اجازت دیتی ہے۔ وہ پیشن گوئی کا تعارف کراتا ہے۔ مفت منطق۔ منتخب مضامین، کیمبرج یونیورسٹی پریس، 2003۔ حوالہ جات بیرونی روابط انٹرنیٹ آرکائیو 1928 میں سرکاری ذاتی صفحہ پیدائش امریکی منطق 21 ویں صدی کے امریکی فلسفی یونیورسٹی آف سالزبرگ یونیورسٹی آف کیلیفورنیا کا تعلیمی عملہ، ارون فیکلٹی لیونگ پیپل