Visitando casualmente la website del CESFIA me entero de una noticia extraordinaria: Graham Priest estará dando cuatro conferencias sobre lógica paraconsistente en la Universidad Nacional Mayor de San Marcos del 19 al 22 de Mayo de 2008 (detalles aquí).
La lógica paraconsistente parte de la siguiente idea: de acuerdo con la lógica clásica, (p → q) es falsa si y sólo si p es verdadera y q es falsa. En todos los demás casos (p → q) es verdadera. Por lo tanto, si p es contradictoria (y por ende, necesariamente falsa), (p → q) será verdadera independientemente del valor que tome q. En otras palabras, de una contradicción se sigue cualquier proposición (ex contradictione quodlibet). Esta consecuencia se llama ‘el principio de explosión’. La lógica clásica es explosiva. La lógica paraconsistente no lo es. Esta propiedad de la lógica paraconsistente le permite tener ciertas aplicaciones que lógica clásica no tiene. Sin embargo, dichas ventajas tienen un alto costo: la lógica paraconsistente tiene que admitir contradicciones verdaderas (dialetheias).
La lógica paraconsistente es muy controversial y, por eso mismo, las discusiones en torno a ella son fascinantes. Sin duda, Graham Priest es una de las autoridades más importantes en el mundo sobre el tema. Su paso por Lima es una de esas oportunidades imposibles de desaprovechar por aquellos que estén en Lima para esas fechas (¡Qué envidia!).
