Silogística y deducción natural por la red
Resumen
En esta plática mostraré algunos avances al proyecto
original "Lógica, silogismos y diagramas de Venn" que
empecé en el año 2000, y que ahora vuelvo a retomar. La
estrategia que propongo para este ciclo, es la creación de una
página Web más delimitada sobre la relación de la
silogística y la deducción natural. La creación
de esta página tiene el cometido de enseñarnos las
interpretaciones más recientes sobre el gran parecido que
guarda la deducción silogística con la lógica
proposicional y también permitirá el desarrollo de
habilidades lógicas a los usuarios, en esta mutua
comparación de dos lógicas comunmente consideradas como
opuestas.
Ricardo Madrid Marín