LÓGICA

INTUICIONISTA
LA NEGACIÓN DEL TERCERO EXCLUIDO
INTUICIONISMO MATEMÁTICO

• Verdad como correspondencia. Una proposición es verdadera debido a un hecho en la

realidad con el que se corresponde, al que representa.
• ¿Cuáles son los hechos que se corresponden con los enunciados matemáticos (p.e., con
2+2=4)?
• Realismo matemático: existen objetos matemáticos, como el 2 y el 5, y relaciones entre
ellos.
• Intuicionismo matemático: no hay objetos matemáticos, pero hay condiciones de prueba
(un método de construcción del objeto).
CONDICIONES VS. CONDICIONES
DE VERDAD DE PRUEBA
SEMÁNTICA DE LA LÓGICA INTUICIONISTA

• Negación:
• Condicional:
• Una prueba de A ^ B es un par que comprende una prueba de A y una prueba de B.
• Una prueba de A ᴠ B es una prueba de A o una prueba de B.
• Una prueba de A es una prueba de que no hay prueba de A [nada constituye una prueba
de A].
• Una prueba de A B es una construcción que, dada una prueba de A, puede ser aplicada
para dar una prueba de B.
EL TERCERO EXCLUIDO NO SE CUMPLE

• Según el tercero excluido, siempre es cierto que A es verdadera o que ¬A es verdadera.

• Considérense sin embargo varias conjeturas matemáticas, entre ellas, la conjetura de los
primos gemelos:
A = Existe un número infinito de números primos p, tal que p+2 también es un
número primo. Como 3 y 5, u 11 y 13, o 29 y 31, etc.
• No hay prueba de A, pero tampoco de ¬A.
• Así que A ᴠ ¬A es falsa.
SEMÁNTICA – ÁRBOLES DE VERDAD

• La semántica de la lógica intuicionista está basada en el sistema modal S4, en el cual se

cumplen las relaciones de reflexividad y transitividad.
• Además de esto, la semántica incluye una condición de herencia [si p está probada en un
mundo posible, entonces está probada en todos los mundos posibles a los que aquel
mundo tenga acceso].
• ( A) ↔ (□ ¬A)
• (A B) ↔ (□ A→ B)
PRINCIPIOS QUE NO SE CUMPLE

• Reducción al absurdo. A menos que sea A → Ⱶ ¬A

• Doble negación.

• De Morgan, pues ¬(¬A ᴠ ¬B) → (¬¬A ^ ¬¬B); pero no (A ^ B)

BIBLIOGRAFÍA

• Priest, G. (2008). An Introduction to Non-Classical Logic. From If to Is. Cambridge: Cambridge

University Press.
• Palau, G. (2002). Introducción filosófica a las lógicas no clásicas. Barcelona: Gedisa.