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 hiperintensional, parcial y tipificado .
Las aplicaciones de 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 general para todo tipo de discurso, ya sea coloquial, científico, matemático o lógico. La teoría semántica es procedimental, según el cual el sentido es un procedimiento abstracto prelingüístico que detalla qué operaciones aplicar a qué constituyentes procedimentales para llegar al producto (si lo hay) del procedimiento.
Los procedimientos TIL, conocidos como construcciones , se individualizan hiperintensionalmente. La construcción es la noción más importante de la 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, están organizadas 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, tal como está constituida por contextos hiperintensionales, y se generaliza a partir de ahí a contextos intensional y extensional . La lógica subyacente es una función / argumento al estilo de Frege, que trata las funciones, en lugar de las relaciones o conjuntos, como primitivas, junto con una Iglesia.-Lógica de estilo, centrada en las operaciones de abstracción y aplicación funcional .
Las limitaciones clave que informan el enfoque de TIL para el análisis semántico son la composicionalidad y el anticontextualismo . La asignación de construcciones a expresiones según sus significados no varía según 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í mismo en lugar de la asignación de significado.