Transparent intensional logic
স্বচ্ছ তীব্র যুক্তি (প্রায়শই টিআইএল হিসাবে সংক্ষিপ্ত করা হয়) পাভেল টিচি দ্বারা নির্মিত একটি যৌক্তিক ব্যবস্থা। এর সমৃদ্ধ পদ্ধতিগত শব্দার্থবিজ্ঞানের কারণে টিআইএল প্রাকৃতিক ভাষার যৌক্তিক বিশ্লেষণের জন্য বিশেষভাবে উপযুক্ত। আনুষ্ঠানিক দৃষ্টিকোণ থেকে, টি. আই. এল একটি হাইপারইনটেনশনাল, আংশিক, টাইপ করা ল্যাম্বডা ক্যালকুলাস। টি. আই. এল অ্যাপ্লিকেশনগুলি আনুষ্ঠানিক শব্দার্থবিজ্ঞান, ভাষার দর্শন, জ্ঞানতাত্ত্বিক যুক্তি, দার্শনিক এবং আনুষ্ঠানিক যুক্তি থেকে শুরু করে বিভিন্ন বিষয়কে অন্তর্ভুক্ত করে। কথোপকথন, বৈজ্ঞানিক, গাণিতিক বা যৌক্তিক যাই হোক না কেন, সমস্ত ধরণের বক্তৃতার জন্য টিআইএল একটি ব্যাপক শব্দার্থিক কাঠামো সরবরাহ করে। শব্দার্থ তত্ত্বটি একটি পদ্ধতিগত তত্ত্ব, যার মতে ইন্দ্রিয়টি একটি বিমূর্ত, প্রাক-ভাষাগত পদ্ধতি যা পদ্ধতির পণ্যটিতে (যদি থাকে) পৌঁছানোর জন্য কোন পদ্ধতিগত উপাদানগুলিতে কী ক্রিয়াকলাপ প্রয়োগ করতে হবে তা বিশদভাবে বর্ণনা করে। টি. আই. এল পদ্ধতি, যা নির্মাণ হিসাবে পরিচিত, হাইপারইনটেনশনালি পৃথক করা হয়। নির্মাণ হল স্বচ্ছ তীব্র যুক্তির একক সবচেয়ে গুরুত্বপূর্ণ ধারণা, যা ফ্রেজের উপস্থাপনা পদ্ধতির ধারণার একটি দার্শনিকভাবে সু-অনুপ্রাণিত এবং আনুষ্ঠানিকভাবে কাজ করা ধারণা। নির্মাণ এবং তারা যে সত্তাগুলি তৈরি করে, সেগুলি একটি সরল প্রকারের তত্ত্বকে অন্তর্ভুক্ত করে একটি বিস্তৃত প্রকারের তত্ত্বের মধ্যে সংগঠিত হয়। শব্দার্থবিদ্যা সবচেয়ে কঠিন ক্ষেত্রে তৈরি করা হয়, যেমন হাইপার-ইন্টেনশনাল প্রসঙ্গ দ্বারা গঠিত হয় এবং সেখান থেকে তীব্র এবং এক্সটেনশনাল প্রসঙ্গে সাধারণীকরণ করা হয়। অন্তর্নিহিত যুক্তি হল একটি ফ্রেজ-স্টাইল ফাংশন/যুক্তি, যা সম্পর্ক বা সেটের পরিবর্তে ফাংশনগুলিকে আদিম হিসাবে বিবেচনা করে, চার্চ-স্টাইলের যুক্তির সাথে, কার্যকরী বিমূর্ততা এবং প্রয়োগের ক্রিয়াকলাপকে কেন্দ্র করে। শব্দার্থগত বিশ্লেষণে টি. আই. এল পদ্ধতিকে অবহিত করার মূল বাধাগুলি হল গঠনমূলকতা এবং প্রসঙ্গ-বিরোধীতা। অভিব্যক্তিগুলির অর্থ হিসাবে গঠনগুলির বরাদ্দ প্রসঙ্গ-অপরিবর্তনীয়। যে ধরনের যৌক্তিক প্রেক্ষাপটে একটি নির্মাণ ঘটে তার উপর নির্ভর করে, যা প্রসঙ্গ-নির্ভর তা হল অর্থ নির্ধারণের পরিবর্তে সংশ্লিষ্ট অর্থের যৌক্তিক হেরফের। আরও দেখুন ইন্টেনশনাল লজিক বিব্লিওগ্রাফি পি. টিচি (1988): দ্য ফাউন্ডেশন্স অফ ফ্রেজের লজিক। ডি গ্রুয়েটার, বার্লিন এবং নিউ ইয়র্ক 1988,333 পিপি। এম. ডুজি, বি. জেসপারসেন এবং পি. মাতেরনাঃ হাইপারইনটেনশনাল লজিকের জন্য পদ্ধতিগত শব্দার্থবিদ্যা। টিআইএল-এর ভিত্তি এবং প্রয়োগ। স্প্রিঙ্গার, 2010। বাহ্যিক লিঙ্ক টি. আই. এল-এর হোম পেজ দার্শনিক যুক্তি