Lógica intensional transparente

La lógica intensional transparente (a menudo abreviada como TIL ) es un sistema lógico creado por Pavel Tichý . Debido a su rica semántica procedimental , TIL es particularmente adecuada para el análisis lógico del lenguaje natural . Desde el punto de vista formal, TIL es un cálculo lambda hiperintensional, parcial y tipado .

Las aplicaciones de TIL abarcan una amplia gama de temas, desde la semántica formal , la filosofía del lenguaje , la lógica epistémica y la lógica 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 la cual el sentido es un procedimiento abstracto y prelingüístico que detalla qué operaciones aplicar a qué constituyentes procedimentales para llegar al resultado (si lo hay) del procedimiento.

Los procedimientos TIL, conocidos como construcciones , están individuados 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, 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 se generaliza a partir de ahí a contextos intensionales y extensionales . La lógica subyacente es una lógica de función/argumento al estilo de Frege, que trata las funciones , en lugar de las relaciones o los conjuntos , como primitivas, junto con una lógica al estilo de Church , centrada en las operaciones de abstracción y aplicación funcional .

Las principales limitaciones que sustentan 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 independiente del 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 en sí, y no la asignación de significado.

• Lógica intensional

• P. Tichý (1988): Los fundamentos de la lógica de Frege . De Gruyter, Berlín y Nueva York, 1988, 333 págs.
• M. Duží, B. Jespersen y P. Materna: Semántica procedimental para la lógica hiperintensional . Fundamentos y aplicaciones de TIL. Springer, 2010.

• Página principal de TIL