Eine epistemische Interpretation der intuitionistischen Logik

JAVIER LEGRIS

Königshausen & Neumann

Lugar: Würzburg; Año: 1990 p. 138

3-88479-540-6

En este libro se ofrece una reconstrucción de la lógica intuicionista por medio de conceptos epis.témicos. Esta reconstrucción descansa en relaciones formales entre la lógica intuicionista y un sistema de lógica epistémica. Como consecuencia, todo enunciado válido en la lógica intuicionista se puede ver como la expresión del conocimiento que posee un "matemático ideal". Así, el trabajo es un caso de aplicación de la lógica epistémica. Luego de una introducción, el cap. 1 discute dos definiciones clásicas de conocimiento, en el cap. 2 se ofrece una caracterización de conocimiento como creencia verdadera justificada sobre la base de principios para de creencia fundada, de lo que resulta un sistema de lógica epistémica (cap. 3) para la lógica de enunciados, ofreciendo una semántica adecuada de mundos posibles. El cap. 4 extiende este sistema a la lógica de predicados, sobre la base de la lógica libre, introduciendo un predicado de existencia con el cual se definen cuantificadores especiales. El cap. 5 presenta la lógica intuicionista, en términos de un cálculo de secuentes. Los capítulos 6 y 7 presentan la inmersión de la lógica intuicionista en el sistema epistémica. En el capítulo final se extraen las consecuencias de los resultados formales precedentes. El operador epistémico se interpreta como "demostrabilidad" y se destacan las peculiaridades de las constantes lógicas intuicionistas que se siguen de la inmersion. Los enunciados intuicionistas se caracterizan como enunciados epistémicos.