Dirección:
344 College St, New Haven, CT 06511-6629
203-432-6971
Lógica, Filosofía de la lógica, Historia de la lógica, Filosofía lingüística, Filosofía del lenguaje.
Sun-Joo Shin (pronúnciese "san-yu yin") es una profesora de filosofía de la Universidad de Yale que trabaja en las áreas de la lógica y la filosofía del lenguaje. Obtuvo su PhD en la Universidad de Stánford en 1991. Alcanzó notoriedad con la publicación del libro "The logical Status of Diagrams" (Cambridge, 1994), en el que demostró que sus dos variantes de la notación de Peirce (Ven-I y Venn-II) constituyen un sistema tan robusto y completo de deducción como el de la lógica simbólica de predicados de primer orden.
Razonamiento Diagramático
Primera extensión de Shin (Venn-I)
Esta extensión tiene las siguientes características:
- vuelve al sombreado de regiones para indicar que éstas no pueden ser ocupadas,
- usa el símbolo "x" de Peirce, y
- usa el símbolo "–", introducido por Peirce.
 |  |
| diagrama de Shin (Venn-I) | diagrama de Peirce |
En estos diagramas (equivalentes), las dos premisas son:
- «Ningún elemento es sólo de B», y
- «B tiene algún elemento».
La conclusión, por lo tanto, es: «Algún elemento pertenece simultáneamente a B y A».
Segunda extensión de Shin (Venn-II)
Esta extensión tiene las mismas características que el anterior, pero agrega la posibilidad de conectar dos diagramas —que en este caso tienen representado el conjunto universal— con una línea de disyunción.
 |  |
| diagrama de Shin (Venn-II) | diagrama de Peirce |
La proposición, en este caso, es: «O todo elemento de A es elemento de B y algún elemento de A es de B, o ningún elemento de A es de B y algún elemento de B no es de A». El diagrama simple de Peirce es de lectura más difícil que el correspondiente diagrama doble de Shin.
Sistema de demostraciones de Shin
El razonamiento humano es heterogéneo, en el sentido de que involucra palabras y símbolos, pero también imágenes, diagramas y modelos. Por otra parte, para procesar esa información, el ser humano usa relaciones semánticas entre proposiciones ("similitud intuitiva") y procedimientos no deductivos (como la "abducción"). Desde áreas de trabajo diversas, han sido hechas distintas aproximaciones al "razonamiento multimodal".
En cuanto a la comparación del razonamiento simbólico con el razonamiento diagramático, se ha mostrado que no hay diferencia entre ambos en lo que a "estatus lógico" se refiere. En 1994, Shin presentó los diagramas Venn-I y Venn-II como un sistema de representación formal con su propia sintaxis y semántica. Las reglas sintácticas indican si un diagrama es aceptable, en el sentido de si está bien formado y qué transformaciones están permitidas. La semántica se ocupa de las consecuencias lógicas. Así se comprueba que los sistemas mencionados son robustos y completos, en el mismo sentido que lo son algunos sistemas lógicos simbólicos. Este resultado da por tierra con la arraigada creencia de que los sistemas de diagramas pueden llevar a deducciones erróneas y que por lo tanto hay que abstenerse de usarlos en demostraciones.
No hay comentarios:
Publicar un comentario