Transparentní intenzionální logika (TIL) je expresivní logicko-sémantický systém určený pro analýzu přirozeného jazyka. Jejím základem je funkcionální a typově-teoretický přístup, který systematicky rozlišuje mezi objektem a způsobem, jakým je tento objekt určen (tzv. konstrukcí). TIL pracuje s pojmy intenze (význam, který závisí na možném světě a čase) a extenze (hodnota intenze v daném světě a čase), což umožňuje modelovat význam vět v různých kontextech. Využívá k tomu bohatou hierarchii typů a aparát lambda kalkulu, díky čemuž dokáže přesně analyzovat sémanticky složité jevy, jako jsou propoziční postoje, nepřímá řeč nebo anaforické odkazy.
Představte si, že mluvíte o planetě Venuši. Můžete ji nazvat „jitřenka“ nebo „večernice“. V obou případech myslíte na stejný objekt, ale používáte dva různé popisy neboli „způsoby, jak se k němu dostat“. Transparentní intenzionální logika je jako speciální gramatika pro počítače, která jim pomáhá přesně pochopit tyto rozdíly ve významu. Umožňuje jim analyzovat nejen to, o čem mluvíme, ale i to, jak o tom mluvíme, což je klíčové pro porozumění složitým větám a nuancím v lidské řeči.