Transparent intensional logic
வெளிப்படையான தீவிர தர்க்கம் (அடிக்கடி சுருக்கமாக TIL) என்பது பாவெல் டிச்சியால் உருவாக்கப்பட்ட ஒரு தர்க்கரீதியான அமைப்பாகும். அதன் வளமான நடைமுறை சொற்பொருள்கள் காரணமாக டிஐஎல் இயற்கை மொழியின் தர்க்கரீதியான பகுப்பாய்விற்கு குறிப்பாக பொருத்தமானது. முறையான கண்ணோட்டத்தில், டிஐஎல் என்பது ஒரு ஹைபர் இன்டென்ஷனல், பகுதி, தட்டச்சு செய்யப்பட்ட லாம்ப்டா கால்குலஸ் ஆகும். TIL பயன்பாடுகள் முறையான சொற்பொருள், மொழியின் தத்துவம், அறிவுசார் தர்க்கம், தத்துவ மற்றும் முறையான தர்க்கம் ஆகியவற்றிலிருந்து பரந்த அளவிலான தலைப்புகளை உள்ளடக்கியது. பேச்சுவழக்கு, அறிவியல், கணித அல்லது தர்க்கரீதியான அனைத்து வகையான சொற்பொழிவுகளுக்கும் டிஐஎல் ஒரு விரிவான சொற்பொருள் கட்டமைப்பை வழங்குகிறது. சொற்பொருள் கோட்பாடு என்பது ஒரு நடைமுறை கோட்பாடாகும், அதன்படி இது ஒரு சுருக்கமான, மொழிக்கு முந்தைய செயல்முறையாகும், இது செயல்முறையின் தயாரிப்புக்கு (ஏதேனும் இருந்தால்) எந்த நடைமுறை கூறுகளுக்கு என்ன செயல்பாடுகளைப் பயன்படுத்த வேண்டும் என்பதை விவரிக்கிறது. கட்டுமானங்கள் என்று அழைக்கப்படும் டிஐஎல் நடைமுறைகள், ஹைபர்இன்டென்ஷனலாக தனித்தனியாக உள்ளன. கட்டுமானம் என்பது வெளிப்படையான தீவிர தர்க்கத்தின் மிக முக்கியமான கருத்தாகும், இது தத்துவ ரீதியாக நன்கு உந்துதல் பெற்ற மற்றும் முறையாக வடிவமைக்கப்பட்ட கருத்தாகும், இது ஃப்ரெஜின் விளக்கக்காட்சி முறை பற்றிய கருத்தாகும். கட்டுமானங்கள் மற்றும் அவை உருவாக்கும் நிறுவனங்கள், ஒரு எளிய வகை கோட்பாட்டை உள்ளடக்கிய ஒரு விரிவாக்கப்பட்ட வகை கோட்பாடாக ஒழுங்கமைக்கப்பட்டுள்ளன. சொற்பொருளியல் மிகவும் கடினமான வழக்குக்கு ஏற்ப வடிவமைக்கப்பட்டுள்ளது, இது ஹைபர்இன்டென்ஷனல் சூழல்களால் அமைக்கப்பட்டுள்ளது, மேலும் அங்கிருந்து தீவிரமான மற்றும் விரிவான சூழல்களுக்கு பொதுமைப்படுத்தப்பட்டுள்ளது. அடிப்படை தர்க்கம் ஒரு ஃப்ரீஜ்-பாணி செயல்பாடு/வாதம், உறவுகள் அல்லது தொகுப்புகளைக் காட்டிலும் செயல்பாடுகளைக் கருதுகிறது, பழமையானது, சர்ச் பாணி தர்க்கத்துடன் சேர்ந்து, செயல்பாட்டு சுருக்கம் மற்றும் பயன்பாட்டின் செயல்பாடுகளை மையமாகக் கொண்டுள்ளது. சொற்பொருள் பகுப்பாய்விற்கான டிஐஎல் அணுகுமுறையை தெரிவிக்கும் முக்கிய தடைகள் கலவை மற்றும் சூழல் எதிர்ப்பு ஆகும். வெளிப்பாடுகளுக்கு அவற்றின் அர்த்தங்களாக கட்டமைப்புகளை ஒதுக்குவது சூழல் மாறுபட்டது. ஒரு கட்டுமானம் நிகழும் தர்க்கரீதியான சூழலைப் பொறுத்து, சூழல் சார்ந்திருப்பது என்பது பொருள் ஒதுக்கீட்டைக் காட்டிலும் அந்தந்த பொருளின் தர்க்கரீதியான கையாளுதலாகும். இன்டென்ஷனல் லாஜிக் பிப்லியோகிராபி பி. டிச்சி (1988): தி ஃபவுண்டேஷன்ஸ் ஆஃப் ஃப்ரீஜ் லாஜிக். டி க்ரூட்டர், பெர்லின் மற்றும் நியூயார்க் 1988,333 pp. எம். டுஸி, பி. ஜெஸ்பர்சன் மற்றும் பி. மேட்டர்னாஃ ஹைபர் இன்டென்ஷனல் லாஜிக்கிற்கான நடைமுறை சொற்பொருள். TIL இன் அடித்தளங்கள் மற்றும் பயன்பாடுகள். ஸ்பிரிங்கர், 2010. வெளிப்புற இணைப்புகள் TIL முகப்பு பக்கம் தத்துவ தர்க்கம்