Guillermo de Soissons (en francés: Guillaume de Soissons) fue un lógico francés que vivió en París en el siglo XII. Perteneció a una escuela de lógicos llamada los parvipontianos. [1]
Guillermo de Soissons [2] parece haber sido el primero en responder a la pregunta "¿Por qué no se acepta una contradicción en el razonamiento lógico?" mediante el principio de explosión . Exponer una contradicción ya era en la antigüedad una forma de mostrar que algún razonamiento era erróneo, pero no había ningún argumento explícito de por qué las contradicciones eran incorrectas. Guillermo de Soissons dio una prueba en la que demostró que de una contradicción cualquier afirmación puede inferirse como verdadera. [1] En el ejemplo de: Está lloviendo (P) y no está lloviendo (¬P) se puede inferir que hay árboles en la luna (o en cualquier otra cosa) (E) . En lenguaje simbólico: P & ¬P → E.
Si una contradicción hace que algo sea verdadero, entonces hace imposible decir algo con sentido: digas lo que digas, su contradicción también es verdadera.
Los contemporáneos de Guillermo compararon su prueba con una máquina de asedio (siglo XII). [3] Clarence Irving Lewis [4] formalizó esta prueba de la siguiente manera: [5]
Prueba
(1) P & ¬ P → P (Si P y ¬ P son ambos verdaderos, entonces P es verdadero)(2) P → P∨E (Si P es verdadero entonces P o E es verdadero)(3) P & ¬ P → P∨E (Si P y ¬ P son ambos verdaderos, entonces P o E son verdaderos (de (2))(4) P &¬ P → ¬P (Si P y ¬ P son ambas verdaderas, entonces ¬P es verdadero)(5) P &¬ P → (P∨E) &¬P (Si P y ¬ P son ambos verdaderos, entonces (P∨E) es verdadero (de (3)) y ¬P es verdadero (de (4)))(6) (P∨E) &¬P → E (Si (P∨E) es verdadero y ¬P es verdadero entonces E es verdadero)(7) P &¬ P → E (De (5) y (6) uno tras otro sigue (7))
En el siglo XV, esta prueba fue rechazada por una escuela de Colonia . No aceptaron el paso (6). [6] En la lógica clásica del siglo XIX , el principio de explosión fue ampliamente aceptado como evidente, por ejemplo, por lógicos como George Boole y Gottlob Frege , aunque la formalización de la prueba de Soissons por Lewis proporcionó una base adicional para el principio de explosión.