Cálculo lógico de modelos proposicionales: La revolución del silogismo en el diagrama de Marlo

El Diagrama de Marlo es una forma intuitiva y revolucionaria de representar y resolver gráficamente cualquier silogismo, permitiendo concluir incluso a partir de dos premisas particulares o de dos negativas, tal y como ocurre en el lenguaje natural. También alcanza a expresar las relaciones de un número ilimitado de términos, lo cual es imposible en los diagramas convencionales. Como algoritmo puede impulsar el desarrollo de los lenguajes informáticos y de la inteligencia artificial, generando un potente modelo de cómo pensamos y razonamos compatible con la investigación psicológica más moderna. Además, los modelos proposicionales que postula aportan una nueva perspectiva a ciencias tan dispares como la teoría de conjuntos y la lingüística.
Por último, pero siendo lo primero en importancia, su potencial didáctico es inmenso, pues los alumnos de Bachillerato son capaces de manejarlo eficazmente con muy poca instrucción. El método les permite visualizar y corregir los errores más comunes de la deducción, algo esencial cuando el objetivo es aprender a pensar.