Transparent intensional logic
પારદર્શક સઘન તર્ક (વારંવાર ટી. આઈ. એલ. તરીકે સંક્ષિપ્તમાં) એ પાવેલ ટિચી દ્વારા બનાવવામાં આવેલી તાર્કિક પ્રણાલી છે. તેના સમૃદ્ધ પ્રક્રિયાગત શબ્દાર્થને કારણે ટી. આઈ. એલ. ખાસ કરીને કુદરતી ભાષાના તાર્કિક વિશ્લેષણ માટે યોગ્ય છે. ઔપચારિક દ્રષ્ટિકોણથી, ટી. આઈ. એલ. એક અતિસંવેદનશીલ, આંશિક, ટાઇપ કરેલ લેમ્બડા કલન છે. ટીઆઈએલ એપ્લિકેશન્સ ઔપચારિક શબ્દાર્થશાસ્ત્ર, ભાષાની ફિલસૂફી, જ્ઞાનાત્મક તર્કશાસ્ત્ર, ફિલોસોફિકલ અને ઔપચારિક તર્કશાસ્ત્રના વિષયોની વિશાળ શ્રેણીને આવરી લે છે. ટીઆઈએલ તમામ પ્રકારના પ્રવચન માટે એક વ્યાપક સિમેન્ટીક માળખું પ્રદાન કરે છે, પછી ભલે તે બોલચાલની ભાષા હોય, વૈજ્ઞાનિક હોય, ગાણિતિક હોય કે તાર્કિક હોય. સિમેન્ટીક થિયરી એ એક પ્રક્રિયાગત છે, જે મુજબ અર્થ એ એક અમૂર્ત, પૂર્વ-ભાષાકીય પ્રક્રિયા છે જે પ્રક્રિયાના ઉત્પાદન (જો કોઈ હોય તો) પર પહોંચવા માટે કયા પ્રક્રિયાગત ઘટકો પર કઈ કામગીરી લાગુ કરવી તે વિગતવાર જણાવે છે. TIL પ્રક્રિયાઓ, જેને બાંધકામ તરીકે ઓળખવામાં આવે છે, તે અતિસંવેદનશીલ રીતે વ્યક્તિગત હોય છે. બાંધકામ એ પારદર્શક સઘન તર્કની એકમાત્ર સૌથી મહત્વપૂર્ણ કલ્પના છે, જે ફ્રેજની પ્રસ્તુતિની રીતની કલ્પનાની દાર્શનિક રીતે સારી રીતે પ્રેરિત અને ઔપચારિક રીતે કામ કરેલી વિભાવના છે. રચનાઓ, અને તેઓ જે ઘટકો બનાવે છે, તે એક સરળ પ્રકાર સિદ્ધાંતનો સમાવેશ કરતા વિસ્તૃત પ્રકાર સિદ્ધાંતમાં ગોઠવવામાં આવે છે. સિમેન્ટિક્સ સૌથી મુશ્કેલ કેસ માટે તૈયાર કરવામાં આવે છે, જેમ કે અતિસંવેદનશીલ સંદર્ભો દ્વારા રચાય છે, અને ત્યાંથી સઘન અને વિસ્તૃત સંદર્ભોમાં સામાન્યીકૃત થાય છે. અંતર્ગત તર્ક એ ફ્રેજ-શૈલીનું કાર્ય/દલીલ છે, જે કાર્યો, સંબંધો અથવા સમૂહોને બદલે, ચર્ચ-શૈલીના તર્ક સાથે, કાર્યાત્મક અમૂર્તતા અને ઉપયોગની કામગીરી પર કેન્દ્રિત, આદિમ તરીકે ગણવામાં આવે છે. સિમેન્ટીક વિશ્લેષણ માટે ટી. આઈ. એલ. ના અભિગમને જાણ કરતી મુખ્ય અવરોધો રચનાત્મકતા અને સંદર્ભવાદ વિરોધી છે. અભિવ્યક્તિઓને તેમના અર્થ તરીકે રચનાઓનું સોંપણી સંદર્ભ-અપરિવર્તનશીલ છે. જે પ્રકારના તાર્કિક સંદર્ભમાં રચના થાય છે તેના આધારે, સંદર્ભ-આધારિત શું છે તે અર્થ સોંપણીને બદલે સંબંધિત અર્થની તાર્કિક હેરફેર છે. સઘન તર્ક ગ્રંથસૂચિ પી. ટિચી (1988): ધ ફાઉન્ડેશન્સ ઓફ ફ્રેજ લોજિક પણ જુઓ. ડી ગ્રુઇટર, બર્લિન અને ન્યૂ યોર્ક 1988,333 પીપી. એમ. ડુઝી, બી. જેસ્પર્સન અને પી. મેટરનાઃ હાયપરઇન્ટેનશનલ લોજિક માટે પ્રોસિજરલ સિમેન્ટિક્સ. ટી. આઈ. એલ. ના પાયા અને ઉપયોગો. સ્પ્રિંગર, 2010. બાહ્ય કડીઓ TIL હોમ પેજ ફિલોસોફિકલ લોજિક