diagrama de veen euler
Venn introdujo el sistema de representación que hoy conocemos en julio de 1880 con la publicación de su trabajo titulado «De la representaciónmecánica y diagramática de proposiciones y razonamientos»1 2 3 en el Philosophical Magazine and Journal of Science, provocando un cierto revuelo en el mundo de la lógica formal. Aunque la primera forma derepresentación geométrica de silogismos lógicos se atribuye comúnmente a Gottfried Leibniz, y fue luego ampliada por George Boole y Augustus De Morgan, el método de Venn superaba en claridad ysencillez a los sistemas de representación anteriores, hasta el punto de convertirse con el tiempo en un nuevo estándar. Venn fue el primero en formalizar su uso y en ofrecer un mecanismo de generalizaciónpara los mismos.
Más adelante desarrolló algo más su nuevo método en su libro Lógica simbólica, publicado en 1881 con el ánimo de interpretar y corregir los trabajos de Boole en el campo de la lógicaformal. Aunque no tuvo demasiado éxito en su empeño, su libro se convirtió en una excelente plataforma de ejemplo para el nuevo sistema de representación. Siguió usándolo en su siguiente libro sobrelógica (Los principios de la lógica empírica, publicado en 1889), con lo que los diagramas de Venn fueron a partir de entonces cada vez más empleados como representación de relaciones lógicas.
Laprimera referencia escrita al término "diagrama de Venn" de la que se tiene constancia es muy tardía (1918), en el libro A Survey of Symbolic Logic, de Clarence Irving Lewis.4 5 6
Los diagramas de Venn seemplean hoy día para enseñar matemáticas elementales y para reducir la lógica y la Teoría de conjuntos al cálculo simbólico puro. Se suelen usar también en el aula diagramas de Venn de dos o tres...
Regístrate para leer el documento completo.