Transparent intensional logic
شفاف شدید منطق (اکثر مختصر طور پر TIL) ایک منطقی نظام ہے جسے پاول ٹیچی نے تخلیق کیا ہے۔ اپنے بھرپور طریقہ کار کے الفاظ کی وجہ سے ٹی آئی ایل خاص طور پر قدرتی زبان کے منطقی تجزیے کے لیے موزوں ہے۔ رسمی نقطہ نظر سے، ٹی آئی ایل ایک ہائپر انٹینشنل، جزوی، ٹائپ شدہ لیمبڈا کیلکولس ہے۔ ٹی آئی ایل ایپلی کیشنز رسمی الفاظ، زبان کے فلسفے، علمی منطق، فلسفیانہ اور رسمی منطق سے لے کر مختلف موضوعات کا احاطہ کرتی ہیں۔ ٹی آئی ایل ہر قسم کی گفتگو کے لیے ایک وسیع معنی خیز فریم ورک فراہم کرتا ہے، چاہے وہ بول چال، سائنسی، ریاضیاتی یا منطقی ہو۔ سیمنٹک تھیوری ایک طریقہ کار ہے، جس کے مطابق احساس ایک تجریدی، قبل از لسانی طریقہ کار ہے جس میں تفصیل سے بتایا گیا ہے کہ طریقہ کار کے پروڈکٹ (اگر کوئی ہو) تک پہنچنے کے لیے کون سے طریقہ کار کے اجزاء پر کون سی کارروائیاں لاگو کی جائیں۔ ٹی آئی ایل کے طریقہ کار، جنہیں تعمیرات کے نام سے جانا جاتا ہے، ہائپر انٹینشنلی طور پر انفرادی ہوتے ہیں۔ تعمیر شفاف شدت پسندانہ منطق کا واحد سب سے اہم تصور ہے، جو کہ فریج کے پیش کرنے کے انداز کے تصور کا فلسفیانہ طور پر اچھی طرح سے حوصلہ افزائی اور باضابطہ طور پر کام کیا گیا تصور ہے۔ تعمیرات، اور وہ وجود جو وہ بناتے ہیں، ایک سادہ قسم کے نظریہ کو شامل کرتے ہوئے ایک وسیع قسم کے نظریہ میں منظم ہوتے ہیں۔ سیمنٹکس کو سب سے مشکل کیس کے مطابق بنایا گیا ہے، جیسا کہ ہائپر انٹینشنل سیاق و سباق کے ذریعہ تشکیل دیا گیا ہے، اور وہاں سے شدت اور توسیعی سیاق و سباق میں عام کیا گیا ہے۔ بنیادی منطق ایک فریج طرز کا فنکشن/دلیل ہے، جو افعال کو، تعلقات یا سیٹوں کے بجائے، قدیم کے طور پر، چرچ طرز کی منطق کے ساتھ مل کر، فعال تجریدی اور اطلاق کی کارروائیوں پر مرکوز ہے۔ سیمنٹک تجزیہ کے لیے ٹی آئی ایل کے نقطہ نظر کو مطلع کرنے والی کلیدی رکاوٹیں کمپوزیشنالیٹی اور اینٹی کنٹیکچوئلزم ہیں۔ ان کے معنی کے طور پر تاثرات کی تعمیرات کی تفویض سیاق و سباق میں غیر متغیر ہے۔ منطقی سیاق و سباق کی قسم پر منحصر ہے جس میں ایک تعمیر ہوتی ہے، سیاق و سباق پر منحصر کیا ہے معنی تفویض کے بجائے متعلقہ معنی کی منطقی ہیرا پھیری ہے۔ انٹینشنل منطق ببلیوگرافی پی۔ ٹیچی (1988): فریج کے منطق کی بنیادیں بھی دیکھیں۔ ڈی گروئیٹر، برلن اور نیویارک 1988، 333 پی پی۔ ایم ڈوزی، بی جیسپرنسن اور پی میٹرنا: ہائپر انٹینشنل منطق کے لیے پروسیجرل سیمنٹکس۔ ٹی آئی ایل کی بنیادیں اور ایپلی کیشنز۔ سپرنگر، 2010۔ بیرونی روابط TIL ہوم پیج فلسفیانہ منطق