Guillaume de Soissons
# Guillaume de Soissons

Guillaume de Soissons, a veces llamado William de Soissons, fue un prelado y filósofo medieval, activo en París en el siglo XII. Se desconocen sus datos biográficos, a excepción de que estudió con Juan de Salisbury y Adam du Petit-Pont, y que posteriormente fue profesor de Guillermo de Tiro en la Universidad de París. Esto sugiere que hubo de estar activo al menos durante la década de 1140. Guillermo de Tiro dijo de él que era de hablar entrecortado pero de mente aguda.

No se conserva obra escrita suya, aunque sus argumentos e ideas circularon e influyeron mucho en la escuela lógica de Paris. Como estudiante de Adam du Petit-Pont, también conocido como Adam Parvipontanus, perteneció a la escuela lógica llamada de los Parvipontinos.

## Principio de Explosión

De Soissons parece haber sido la primera persona en exponer el Principio de explosión en lógica clásica. Según Juan de Salisbury, su estudiante Guillaume de Soissons

Se cree que Guillaume de Soissons posiblemente inventara alguna máquina física capaz de computar silogismos lógicos, lo que constituiría un antecedente a los esfuerzos de Ramon Llull en ese campo.

Al mismo tiempo, parece que como parte de estos esfuerzos, De Soissons ofreció una prueba en la que demostraba que si se acepta una contradicción como cierta, es posible inferir cualquier otra aserción como cierta. Por ejemplo, esto significa que si alguien cree que Está lloviendo (P) y no está lloviendo (P) al mismo tiempo y en el mismo sentido, es posible inferir que hay árboles en la Luna (E), o cualquier otro enunciado. La forma de la prueba original que se conserva es la dada por Juan de Salisbury.

La prueba de De Soissons parece ser la primera respuesta formal a la pregunta ‘’¿Por qué no se aceptan las contradicciones en los razonamientos lógicos?’’. Aunque desde la Grecia clásica exponer contradicciones había sido una estrategia habitual para demostrar que un argumento era erróneo, no existía prueba explícita alguna que demostrara por qué las contradicciones eran incorrectas. La prueba de De Soissons fue la primera prueba de su tipo, y parece que la primera en usar el principio de explosión.

### Prueba de De Soisson

En el siglo XIX, Clarence Lewis formalizó la prueba de De Soissons en términos modernos:

Demostración

V : ó & : y → : inferencia P : premisa ¬ P : negación de P P &¬ P : contradicción. E : cualquier aserción posible (Explosión).

En el siglo XV, la prueba de De Soissons fue rechazada por la escuela de Colonia, que rechazaba el paso 6 de la misma. Sin embargo, para el siglo XIX, el principio de Explosión era ampliamente aceptado como auto-evidente.

