La lógica intensional transparente (frecuentemente abreviada como TIL ) es un sistema lógico creado por Pavel Tichý . Debido a su rica semántica procedimental , TIL es particularmente apto para el análisis lógico del lenguaje natural . Desde el punto de vista formal, TIL es un cálculo lambda tipificado , parcial e hiperintensional .
Las aplicaciones TIL cubren una amplia gama de temas desde semántica formal , filosofía del lenguaje , lógica epistémica , lógica filosófica y formal . TIL proporciona un marco semántico global para todo tipo de discurso, ya sea coloquial, científico, matemático o lógico. La teoría semántica es procedimental, según la cual el sentido es un procedimiento prelingüístico abstracto que detalla qué operaciones aplicar a qué constituyentes procedimentales para llegar al producto (si lo hay) del procedimiento.
Los procedimientos TIL, conocidos como construcciones , están hiperintensionalmente individualizados. La construcción es la noción más importante de lógica intensional transparente, siendo una concepción filosóficamente bien motivada y formalmente elaborada de la noción de modo de presentación de Frege . Las construcciones, y las entidades que construyen, se organizan en una teoría de tipos ramificada que incorpora una teoría de tipos simple. La semántica se adapta al caso más difícil, constituido por contextos hiperintensionales, y desde allí se generaliza a contextos intensionales y extensionales . La lógica subyacente es una función/argumento de estilo Frege, que trata las funciones , en lugar de relaciones o conjuntos , como primitivas, junto con una lógica de estilo Church , centrada en las operaciones de abstracción y aplicación funcional .
Las limitaciones clave que informan el enfoque TIL para el análisis semántico son la composicionalidad y el anticontextualismo . La asignación de construcciones a expresiones como sus significados es invariante en el contexto. Dependiendo del tipo de contexto lógico en el que se produce una construcción, lo que depende del contexto es la manipulación lógica del significado respectivo en sí más que la asignación de significado.