Documentos de Académico
Documentos de Profesional
Documentos de Cultura
com
Estudios de lógica
universal
Amirouche Mokteh
Editores de Sun-Joo Shin
Razonamien
to visual
con
diagramas
Estudios de lógica
universal
^ Birkhauser
^Birkhauser
Estudios de lógica universal
Editor de series
Esta serie está dedicada al enfoque universal de la lógica y al desarrollo de una teoría general
de la lógica. Cubre temas como configuraciones globales para teoremas fundamentales de la
lógica y marcos para el estudio de la lógica, en particular matrices lógicas, estructuras de
Kripke, combinación de lógicas, lógica categórica, teoría de la prueba abstracta, operadores de
consecuencias y lógica algebraica. Incluye también libros con discusiones históricas y
filosóficas sobre la naturaleza y alcance de la lógica. En la serie aparecerán tres tipos de
libros: libros de texto de posgrado, monografías de investigación y volúmenes con artículos
aportados.
Amirouche Moktefi • Sun-Joo Shin
Editores
^Birkhauser
Editores Estrasburgo, Francia
Amirouche Moktefi Sun Joo Shin
irista Departamento de Filosofía
Universidad de Universidad de Yale
Estrasburgo New Haven, Connecticut,
EE. UU.
v
vi Prefacio
ejemplos del proceso de razonamiento de nuestra vida diaria: para llevar a cabo el
razonamiento se utilizan mapas, imágenes, cuadros y diagramas, así como oraciones y
símbolos. Por supuesto, las imágenes pueden ser engañosas. Pero también pueden
hacerlo las oraciones. En la siguiente sección, presentamos ejemplos extensos e
históricos.
para ilustrar el razonamiento visual, es decir, cómo se lleva a cabo el razonamiento
válido mediante el uso de diagramas. Por tanto, nos gustaría concluir que los símbolos
son uno de los principales métodos adoptados para llevar a cabo un razonamiento válido,
pero están lejos de ser el único método. Entonces, ¿por qué los símbolos han sido el
medio casi exclusivo de los sistemas formales?
¿Cuál es la esencia de los sistemas formales? Al no ser un enfoque caso por caso, la
formalización apunta a mecanizar los procesos para que se puedan eliminar errores y al
mismo tiempo se logre efectividad. De hecho, la precisión y la eficiencia son los
objetivos de un sistema formal. Un sistema que no asegure la precisión sería inútil. Por
otro lado, si sólo nos importara la precisión, es decir, pudiéramos tomarnos todo el
tiempo que queramos y pudiéramos confiar en procesos tan elaborados como queramos,
entonces tampoco tendría sentido tener un sistema. Exploramos más a fondo cómo se
obtienen estos dos deseos para poder llegar a la esencia de la formalización. Entonces,
nuestra pregunta inicial sobre el predominio de los sistemas formales simbólicos podría
encontrar alguna respuesta.
Comencemos con el desiderátum de precisión. Decimos que se produce un error en el
caso del razonamiento deductivo cuando inferimos (erróneamente) una información falsa
a partir de información verdadera dada. Para garantizar la precisión, queremos tener un
mecanismo que evite que la información pase de información verdadera a información
falsa. Un obstáculo obvio para esta empresa es que existe un número infinito de casos
para llegar a la falsedad a partir de la verdad. ¿Cómo se nos ocurre una forma de predecir
y prevenir estos casos infinitos y no enumerables? Este es un dilema al que casi todos los
sistemas deben enfrentarse y, al mismo tiempo, es precisamente la razón por la que
deseamos tener un sistema, en lugar de enfoques caso por caso. Otro elemento
desconcertante es cómo abordar los valores semánticos, es decir, la verdad y la falsedad,
en un sistema. En resumen: ¿Cómo podemos gestionar un número infinito de casos de
relaciones semánticas a nivel mecánico?
Una solución inteligente a este desafío es estipular un número finito de
manipulaciones sintácticas permitidas. En un sistema sólo se permiten aquellas
inferencias permisibles y, dado que los pasos permisibles son finitos, un sistema puede
bloquear un error comparando cada movimiento con un conjunto finito de reglas. Cabe
señalar que se trata de transformaciones sintácticas, no semánticas. ¿Cómo sabemos que
un número finito de manipulaciones sintácticas garantiza la precisión que busca un
sistema formal? Primero, nos gustaría determinar cómo un número finito de reglas
conquista un número infinito de casos de razonamiento válidos/no válidos. En segundo
lugar, necesitamos teorizar el tráfico bidireccional entre sintaxis y semántica. El
razonamiento válido se entiende en términos de conceptos semánticos, es decir,
verdadero o falso. Al mismo tiempo, la inferencia permisible se define en términos de
alteración sintáctica permisible.
Estas preguntas exigen un metanivel de justificación: las pruebas de solidez e
integridad de un sistema (semi) resuelven la tensión entre infinito y finitud y al mismo
tiempo defienden un intercambio legítimo entre sintaxis y semántica. Si un sistema es
sólido, cualquier inferencia obtenida mediante sus reglas es válida, y si un sistema es
Prefacio vii
estudiantes de lógica han estado familiarizados durante siglos con los cuadrados de
oposición y los árboles lógicos. Estas y otras estructuras similares ofrecen de un vistazo
un panorama de las relaciones entre proposiciones (Fig.1) o ilustrar el funcionamiento de
un proceso lógico como la división dicotómica (Fig.2). Como tales, suelen acompañar
argumentos lógicos desarrollados en palabras o apelando a la notación simbólica. Sin
embargo, el uso generalizado de este tipo de dispositivos no debe hacernos olvidar que
también se han diseñado otros esquemas para realizar razonamientos lógicos de forma
independiente. Estos diagramas, conocidos por John Venn como diagramas analíticos,
fueron particularmente apreciados en los siglos XVIII y XIX, un período que podría
considerarse como la edad de oro de los diagramas lógicos. Curiosamente, este período
también fue testigo de un creciente interés por la notación simbólica.
Tanto los métodos esquemáticos como los simbólicos fueron ampliamente utilizados
durante ese período para resolver problemas lógicos. En términos generales, se entendía
por problema de silogística la comprobación de la validez de una inferencia en la que se
daban premisas y conclusiones. A mediados del siglo XIX, los lógicos simbólicos que
trabajaban bajo la influencia de las prácticas matemáticas tendían más bien a ofrecer un
conjunto de premisas y a buscar qué conclusiones se debían extraer. En ambas
situaciones, los lógicos inventaron herramientas y métodos para resolver esos problemas
con el atractivo de dispositivos simbólicos, esquemáticos o incluso, a veces, mecánicos.
Leonhard Euler utilizó únicamente diagramas, mientras que George Boole utilizó
únicamente símbolos. Charles S. Peirce ideó
Prefacio ix
Figura 1Plaza de la
oposición
Figura 2árbol
lógico
no-y
Métodos tanto simbólicos como esquemáticos. Con el mismo propósito, Lewis Carroll
diseñó un tablero y mostradores de colores que se vendían junto con sus libros. Algunos
otros lógicos como William Stanley Jevons y Allan Marquand también inventaron
máquinas lógicas. Se recurre a cualquiera de los métodos dependiendo del problema que
se enfrente y de lo que parezca conveniente. En ocasiones, la combinación de varios
métodos también es muy apreciada cuando se trata de problemas complejos. Finalmente,
recurrir a más de un método, digamos tanto esquemático como simbólico, ha demostrado
ser útil para determinar resultados individuales, realizándose cada método de forma
independiente para comparar esos resultados entre sí.
Este relato no debe entenderse como la historia de un desarrollo feliz y continuo. No
sólo competían diferentes métodos, sino que dentro del propio razonamiento
esquemático competían varios esquemas. Por supuesto, los diagramas debían ser precisos
para poder participar en el concurso. Sin embargo, cabían otros criterios en cuanto a la
eficacia de los diagramas, el tipo de información que podían representar, su naturalidad y
la ayuda visual que proporcionarían. Si consideramos el método de representación, se
pueden distinguir a grandes rasgos dos tipos principales de diagramas. El primer método,
generalmente atribuido a Euler aunque era conocido antes que él, tiene como objetivo
representar la información dada con rigor. Por ejemplo, si nos pidieran que
representáramos la proposición "Todos los x son y", sólo necesitaríamos dibujar un
círculo x dentro de un círculo y (Fig.3). De esta manera representamos lo que realmente
se sabe: la clase x está incluida en la clase y. Sin embargo, se podría observar que
nuestro diagrama representa x como estrictamente incluido en y, mientras que nuestra
proposición también es válida para el caso en el que xey son idénticos. Para representar
esta información potencial, haríamos bien en apelar a otro método de representación
atribuido a Venn. La idea es representar primero todas las relaciones posibles entre
x Prefacio
términos y luego marcar las celdas para indicar su estado. En la proposición anterior,
estaban involucrados dos términos (x e y), lo que significa que hay cuatro
Prefacio xi
combinaciones posibles: xy, x not-y, not-x y, not-x not-y, como se muestra en la Fig.2.
Estos se pueden representar con dos círculos que se cruzan y que dividen el espacio de la
forma deseada. Entonces, la representación de la proposición “Todos x son y” se obtiene
simplemente sombreando el compartimento x no-y para indicar su vacío (Fig.4).
Ambos diagramas representan la misma proposición "Todos los x son y".
Cifra3Parece más intuitivo, pero la Fig.4es más preciso ya que deja espacio para la
posibilidad de que las clases xey sean idénticas. Hasta ahora sólo hemos representado
información con estos diagramas. Resolver problemas de lógica requiere manipular
información para extraer una conclusión a partir de un conjunto de premisas. No
daremos una explicación detallada aquí ya que tales ejemplos se encontrarán en los
capítulos de este volumen. Sin embargo, explicaremos la idea general para resolver este
tipo de problemas. Primero, tenemos que representar esquemáticamente las
proposiciones dadas como premisas. Luego, quitamos las cifras (aquí círculos) que
corresponden a los términos que no queremos tener en la conclusión. En el caso de un
silogismo, ese sería el término medio. En consecuencia, obtenemos un diagrama que
representa nueva información sobre la relación entre los términos guardados. Ahora, todo
lo que tenemos que hacer es expresar esa relación en forma concreta para decir cuál es la
conclusión del argumento.
En el ejemplo anterior, apelamos a círculos para representar clases. Cabe señalar que
también se podrían haber utilizado otras formas. En realidad, los lógicos también han
utilizado diagramas lineales y se puede demostrar fácilmente que su método de
representación también podría reconocerse como del tipo Euler o Venn. Lo mismo puede
decirse de los diagramas tabulares que fueron elogiados en las últimas décadas del siglo
XIX, gracias a su representación de un universo cerrado y a su uso ventajoso cuando
aumenta el número de términos. Por supuesto, cuando se trata de resolver problemas
lógicos que involucran un gran número de términos, digamos más de seis términos, los
diagramas se vuelven complejos y pierden sustancialmente la ayuda visual que uno
esperaría de tales dispositivos. Sin embargo, este es un inconveniente práctico que no
debería cuestionar la viabilidad teórica de resolver tales problemas de forma
esquemática. También hay que decir aquí que el problema surge de manera similar con
los métodos simbólicos.
xii Prefacio
tendencia apunta a prestar más atención a las prácticas reales de los matemáticos y
lógicos, en lugar de quedarse con los problemas clásicos en cuanto a los fundamentos de
las matemáticas y la lógica únicamente. En el octavo ensayo, Valeria Giardino sostiene
que la ambigüedad es una característica inherente a los diagramas. Esta ambigüedad no
debe ser domesticada porque hace que el razonamiento esquemático sea productivo al
abrir el camino a la interpretación y la imaginación. Como tal, son las prácticas de
manipulación compartidas por la comunidad las que fijan el significado de los diagramas
en cada ocasión.
Los dos ensayos siguientes continúan considerando el papel de los diagramas en
matemáticas desde el punto de vista de la práctica, proporcionando ejemplos concretos
de diferentes disciplinas matemáticas. En el noveno artículo, Zach Weber se basa en la
teoría de categorías para buscar una respuesta matemática a la cuestión filosófica que
está investigando. Allí utiliza la idea de transformación natural para describir lo que debe
considerarse una buena representación matemática, ya sea una fórmula o una figura.
Finalmente, en el último artículo de este volumen, Mitsuko Wate-Mizuno analiza el
desarrollo de los diagramas utilizados en la teoría de grafos. Examina las
representaciones de Dénes König en Theorie der endlichen und unendlichen Graphen
(1936) y las compara con sus predecesores para dar cuenta de cómo evolucionaron y
tomaron forma esos diagramas.
Esperamos que los ensayos de este volumen convenzan al lector de la riqueza y
energía de la investigación actual en estudios de diagramas. Las contribuciones a este
volumen provienen de académicos de diversas disciplinas: filosofía, matemáticas, lógica,
historia, etc. Como tales, demuestran la necesidad y el interés de fomentar el trabajo
interdisciplinario. Esto sólo podría lograrse mediante mayores intercambios y
colaboraciones entre académicos de diferentes disciplinas y países, como es el caso ahora
en varias reuniones internacionales como los congresos Diagrams y Universal Logic.
Ofrecemos este volumen como un paso más en esa dirección.AgradecimientosNos
gustaría expresar nuestro agradecimiento a todos aquellos que nos ayudaron durante la
preparación de este volumen, en particular a los autores que contribuyeron a este
volumen y a los árbitros que aceptaron revisar los artículos. Queremos agradecer
especialmente a Jean-Yves Béziau por su apoyo tanto a la organización del taller
“Diagrama lógico” en 2010 como a la publicación de este volumen en la serie de
Estudios de lógica universal que está editando. Finalmente, nos gustaría agradecer al
equipo de Birkhäuser, en particular a Barbara Hellriegel y Sonja Gasser, por su ayuda y
paciencia durante la preparación de este volumen.
Estrasburgo, Francia Amirouche Moktefi
New Haven, Connecticut, EE. UU. Sun Joo Shin
Contenido
x
vi
i
¿Qué es un diagrama lógico?
Catherine Legg
A. Moktefi, S.-J. Shin (eds.), Razonamiento visual con diagramas, Estudios de Lógica Universal,1
DOI 10.1007/978-3-0348-0600-8_1, © Springer Basilea 2013
2 C. Legg
Esta sospecha de "expectativas visuales" fluyó luego hacia el trabajo de Frege sobre
los fundamentos de las matemáticas. Consciente de los errores que sus colegas
matemáticos habían aprendido a eludir, Frege intentó eliminar por completo la
"intuición" de la lógica con la que se propuso dar a las matemáticas una base enteramente
nueva y más rigurosa. Es famoso lo que comentó sobre su propio guión conceptual:
Para que nada intuitivo pudiera pasar desapercibido, todo tenía que depender de que la cadena de
inferencia estuviera libre de lagunas.dieciséis, pag. 48].
Frege argumentó contra el empirismo de John Stuart Mill de que los números no eran
propiedades abstraídas del mundo físico, sino definibles de forma puramente analítica.
Frege, a su vez, tuvo una enorme influencia en el positivismo lógico (Carnap estudió
con él, por ejemplo), lo que a su vez preparó el escenario para los objetivos y
metodologías de la filosofía analítica dominante en muchas formas que todavía se están
desarrollando hoy. El enfoque estricto inicial del movimiento en la clarificación del
significado se debió en gran medida a la visión de Frege de un lenguaje ideal, todos
cuyos pasos inferenciales se establecen explícitamente y utilizan un conjunto de reglas
especificadas de antemano.V Así, AJ Ayer estableció una definición estricta de
"significado literal" que se limita a afirmaciones que tienen "contenido fáctico" en virtud
de ofrecer "hipótesis empíricas" [1, pag. 2]. Así, para ilustrar con un ejemplo sencillo,
“El gato está sobre la alfombra” es literalmente significativo porque hay una experiencia
del tipo de gato-estando sobre la alfombra que podría tenerse (o no) en las situaciones
relevantes. .
VI(Un gato.)
VIIRandall Dipert ha argumentado en contra de esto que no se sigue que la semejanza sea
"completamente independiente de" la representación porque la primera relación es simétrica y la segunda
no lo es, como tampoco que la relación hermano sea "completamente independiente" de la relación tío
como lo es la primera. simétrico y el último no es [15].
4 C. Legg
Otros autores han regresado a los textos matemáticos griegos antiguos para argumentar
que no se pueden entender completamente sin tomar más en serio sus diagramas.13].VIII
Mientras tanto, en lógica, Sun-Joo Shin sostiene que, aunque “durante más de un
siglo, los sistemas de representación simbólica han sido tema exclusivo de la lógica
formal” [36, pag. 1], esto debería ampliarse para considerar también los “sistemas
heterogéneos”, que “emplean elementos tanto simbólicos como esquemáticos” [36, pag.
1]. “Sistemas heterogéneos” es un término influyente que deriva de Jon Barwise [2].
Shin sostiene que los sistemas de razonamiento simbólico y heterogéneo tienen
diferentes fortalezas y debilidades, y deberíamos hacer un estudio exhaustivo para sacar
lo mejor de ambos, teniendo en cuenta que las diferentes disciplinas que podrían recurrir
a dichos sistemas (como la lógica, la inteligencia artificial y la filosofía) mental) pueden
tener necesidades diferentes.
Este artículo busca unirse a estos autores y al mismo tiempo ubicar este objetivo en
un contexto más amplio, es decir, un movimiento que también apunta a desmantelar la
simple imagen de “significado literal” que ha sido tan influyente en el siglo XX: el
expresivismo.
El expresivismo tiene una encarnación metaética, como una visión que “... afirma cierta
falta de analogía interesante entre... evaluaciones y descripciones del mundo” [12, pag.
1]. Por el contrario, Robert Brandom ha propuesto un expresivismo semántico cuyo
punto principal es que no todo el contenido semántico puede hacerse completamente
explícito. Esta visión contrasta con una visión generalizada que a menudo se considera
intuitivamente obvia y posiblemente un espectro posterior a la noción de significado
literal de Ayer. Lo llamaré semántica realista metafísica. La yuxtaposición aquí es
deliberadamente algo controvertida, dado que muchos realistas metafísicos se esfuerzan
mucho en hacer una separación clara entre cuestiones metafísicas y semánticas, y en
afirmar que su punto de vista se encuentra firmemente en el lado metafísico. Más
adelante en este artículo se argumentará que esta autoevaluación es problemática.
Una semántica realista metafísica sostiene que el propósito del lenguaje es enunciar
“hechos” que, si las proposiciones que los expresan son verdaderas, forman parte de una
realidad independiente del lenguaje. Así, volviendo a nuestro ejemplo anterior, se cree
que “El gato está en la alfombra” (adecuadamente desambiguado en cuanto a gatos y
alfombras) presenta un 'contenido' cuyo significado es suficiente para comprender
completamente el significado de las palabras de la afirmación. Brandom llama a esta
visión representacionalismo. Por el contrario, sostiene que el propósito principal del
lenguaje es transformar lo que hacemos en algo que podamos decir:
Por expresivismo me refiero a la idea de que la práctica discursiva nos hace especiales al permitirnos
hacer explícito, en la forma de algo que podemos decir o pensar, lo que de otro modo queda implícito
en lo que hacemos.30, pag. 7].
VIIIVéase también, desde una perspectiva más filológica, la obra de Reviel Netz, por ejemplo [23].
¿Qué es un diagrama lógico? 5
IX[5,32].
XPrice sugiere que Rorty aborda un no cognitivismo global en [29].
XIEste término deriva de [6].
XIIEl término fue acuñado por Simon Blackburn, véase en particular [4]. Sus vínculos con el
pragmatismo se exploran en [28], aunque [21] sostiene que los dos puntos de vista comparten
importantes similitudes y diferencias.
XIIIHe argumentado esto anteriormente en otro lugar: [19,20].
6 C. Legg
Wittgenstein afirmó además que lo que se muestra no se puede decir. XIV Los primeros
Wittgenstein y Brandom se destacan entre la semántica dominante por su audaz
afirmación de que no
XIVAsí, por ejemplo, el Tractatus 6.42 afirma: “...no puede haber proposiciones éticas...” [37].
¿Qué es un diagrama lógico? 7
TRIÁNGU
LO
tener una 'parte verdaderamente esquemática' parece ser suficiente para ser un diagrama,
al menos en este caso. Entonces quizás podamos capturar esto en una nueva definición:
(ii) "X es un diagrama si hay imágenes en la página".
Pero ¿qué es una imagen? ¿Podemos dar una definición que cubra todos los casos que
quisiéramos llamar imágenes y no cubra los casos que no quisiéramos? ¿Quizás
podríamos decir que un cuadro, a diferencia de una prosa, está hecho de líneas unidas?
Esto produce otra posible definición:
(iii) "X es un diagrama si hay líneas unidas en la página".
Sin embargo la Fig. 3no tiene líneas unidas, sólo letras. Sin embargo, también se puede
decir que es un diagrama. Aunque está compuesto únicamente de palabras, éstas están
dispuestas en una estructura, y esto parece convertirlo en un diagrama. Entonces tal vez
podríamos capturar esto con una definición similar a:
(iv) X es un diagrama si hay algún 'componente que no es una palabra' en la página.
Sin embargo, esto parece terriblemente vago y, aun así, probablemente no sea un criterio
suficiente. (¿Puntuación? ¿Números de página?)
Uno podría preguntarse en este punto si estamos intentando definir algo demasiado
básico y fundamental para expresarlo con palabras. ¿O quizás estamos intentando definir
algo demasiado heterogéneo? ¿Quizás el concepto de diagrama no es un tipo semiótico
claramente demarcable? Sin embargo, esto sería rendirse demasiado fácilmente. Ofreceré
ahora una definición que se basa en el concepto de signo icónico de Charles Peirce. De
hecho, nuestro problema clave hasta ahora ha sido intentar elaborar nuestra definición
simplemente inspeccionando el signo mismo. Peirce creía que el criterio clave es la
relación del signo con su objeto.
TRI
TRIÁNGULO
TRI A Nd TRIÁNGULO TRIÁNGULO TRI TRIÁNGULO
Además de atribuir una estructura triádica al signo en sí, taxonomizó los signos
utilizando una serie de distinciones de tres vías. El icono forma parte de una tríada
compuesta por icono, índice y símbolo, correspondiente a las tres formas diferentes en
que Peirce creía que un signo podía asociarse con un objeto.
Símbolossimbolizan lo que hacen a través de algún hábito o convención arbitraria que
debe aprenderse. Así debemos aprender que la palabra “banana”, en inglés, significa
plátanos. Todas las palabras son simbólicas hasta cierto punto, ya que pertenecen a un
lenguaje público compartido. Sin embargo, como Perry [27], y otros demostraron, el
lenguaje también incluye signos que seleccionan un objeto no por hábito o convención
arbitraria, sino a través de alguna relación directa de 'indicación' o 'señalación' (por
ejemplo, “aquí”, “ahora”). Peirce llamó a estos signos índices. Finalmente los iconos son
signos que se parecen a lo que significan [24, 2.304]. Esta categoría se diferencia de los
símbolos, ya que las semejanzas no necesitan establecerse por convención, sino que
pueden percibirse de nuevo (por ejemplo, "Esa nube parece una rana"). Los ejemplos
incluyen mapas, pinturas y, sobre todo, diagramas matemáticos que funcionan imitando
las estructuras que representan.
Esta definición del icono inmediatamente suscita preocupaciones escépticas en la
mente de muchos. “El parecido es barato”, se piensa. Se puede argumentar que cualquier
cosa se parece a otra cosa en algún aspecto. Por ejemplo, se podría pensar que una
fotografía de Richard Nixon se parece a otros objetos en cuanto masculino (por ejemplo,
Brad Pitt), en cuanto moreno (por ejemplo, Elizabeth Taylor), en cuanto cabeza ovalada
(por ejemplo, un huevo) o en muchos otros aspectos más recónditos (por ejemplo, “Algo
en sus ojos me recuerda al Monte Everest...”). Para colmo, en este punto a menudo se
invoca vagamente el teorema de Löwenheim-Skolem, siguiendo a Putnam [31], para
sugerir que todos los puntos de un objeto pueden ser mapeados sobre todos los puntos de
cualquier otro objeto para producir un 'isomorfismo', de modo que de alguna manera
matemático-lógica adecuadamente impresionante, un triángulo podría ser 'como' un
cuadrado, un La vaca podría ser "como" una bandada de pájaros y en ese punto todo el
asunto de la semejanza se disuelve en la arbitrariedad.
¿Cómo puede una teoría seria del lenguaje, por no hablar del razonamiento, apoyarse
en un pilar aparentemente tan subjetivo? Parece haber una intuición no articulada pero
profunda en la filosofía analítica contemporánea de que es por eso que la semántica debe
basarse directamente en la referencia, ya que dejar espacio a las contingencias de la
capacidad de la mente para notar creativamente semejanzas introduciría un caos teórico.
La preocupación es muy comprensible, y abordarla adecuadamente requeriría excavar
y resolver una serie de cuestiones muy profundas. Mencionaré tres. (i) Será necesario
defender un realismo sobre las estructuras que posiblemente esté subestimado desde la
ecuación quineana del compromiso ontológico con la variable ligada mencionada
anteriormente.XV Peirce afirma que las partes de un icono guardan entre sí la misma
relación que las partes del objeto que representa el icono.24, 3.363]. Esta definición
parece ser una buena manera de explicar la estructura, y vale la pena resaltar que los
íconos son los signos estructurales por excelencia, en términos de sus medios de
significación. Porque aunque los índices pueden ser palabras y en ese grado poseen
complejidad interna (en las letras individuales), su función significativa es la de servir
como un puro indicador. La palabra "aquí" indica una ubicación en el espacio; no "dice"
nada más. Y aunque la convención mediante la cual el símbolo simboliza lo que hace
puede tener estructura, esa estructura no es interna al signo mismo. Por ejemplo, la
palabra "dólar" representa lo que hace en la sociedad de Nueva Zelanda mediante un
conjunto complejo de
convenciones que involucran billetes de diferentes colores, números en una pantalla en la
banca por Internet, etc., pero ninguna de estas "partes de convenciones" están
relacionadas de la misma manera que las partes de la palabra "dólar" en sí (una vez más:
sus letras). Sin embargo, en un mapa de la Isla Norte de Nueva Zelanda descubrimos que
Hamilton está al oeste de Napier al observar las relaciones espaciales relevantes en el
propio mapa.
(ii) La segunda cuestión se refiere a comprender adecuadamente el papel del icono,
que no es el de generar compromisos ontológicos en la forma simple y denotativa que
muchos en la tradición quineana conciben. La denotación es la función del índice, pero
sólo puede realizar esta función cuando está adecuadamente respaldada por los otros dos
tipos de signos. De hecho, Peirce creía que los íconos, índices y símbolos desempeñan
tres roles funcionales diferentes cuya copresencia y coordinación es vital para que el
lenguaje funcione como lo hace. Vale la pena explicar estos roles. En primer lugar, la
naturaleza convencional del símbolo significa que significa propiedades generales,
porque las convenciones son "reglas generales" [24, 3.360] que se puede aplicar
cualquier número de veces en situaciones que muestren las características (generales)
apropiadas. En segundo lugar, debido a su pura función de señalar, los índices designan
una existencia particular: Peirce escribe: “[u]na palabra indexada... tiene fuerza para
atraer la atención del oyente hacia alguna hecceidad común a la experiencia del hablante
y del oyente”. [24, 3.460]. Finalmente, los iconos no designan ni hechos generales ni
existencias particulares. Más bien significan hipótesis, situaciones posibles.24, 3.362].
En relación con esto, es importante señalar que estos tres tipos de signos no son
mutuamente excluyentes en el sentido de que un solo signo puede servir como icono,
índice y símbolo en diferentes aspectos al mismo tiempo.XVI
(iii) En cuanto a la reintroducción de las idiosincrasias creativas de la mente en la
semántica y la teoría de la inferencia (la cuestión aquí es aceptarla, por desconcertante
que pueda ser), hace tiempo que debería haberse hecho. Existe una larga tradición de
debate en filosofía sobre si la mente pensante es esencialmente activa o pasiva; los
racionalistas generalmente prefieren el primer campo y los empiristas el segundo. Es una
diferencia importante en el pensamiento de Kant y Hume. (Aunque hay que reconocer
que Hume destacó la imaginación, aparentemente una facultad activa, en un grado
incomparable con otros empiristas británicos, explicó esta facultad dentro de una
perspectiva naturalista con fuertes implicaciones deterministas, y cuando discutió el
problema del libre albedrío (posiblemente ofreció una “evasión” compatibilista). En
cualquier caso, lograr esta reintroducción requerirá plantear algunos desafíos profundos
sobre para qué sirve una semántica o teoría de la inferencia. Podría decirse que los
campos se han desviado de dar cuenta de los fenómenos en cuestión, demasiado hacia
una necesidad sentida de proporcionar un algoritmo para predecirlos.XVII
A falta de tiempo para continuar adecuadamente con estas tres grandes
investigaciones, presentaré un argumento fenomenológico preliminar sobre el valor del
ícono en el campo de la lógica, fuertemente independiente de la mente, demostrando la
lógica icónica de Peirce en uso (posiblemente no sea una estrategia terrible para un
pragmático). ).
XVIUn ejemplo es un reloj en la sombra, que es icónico en la medida en que representa la estructura de
24 horas de nuestro día, indicial en el sentido de que se basa en que el sol proyecta físicamente una
sombra para indicar la hora, y simbólico en la medida en que los números del reloj. La cara tiene
significados que deben aprenderse.
XVIIEsto podría tener algo que ver con el hecho de que investigadores clave en semántica y lógica en
los años 1960 y 1970 también trabajaron en inteligencia artificial.
¿Qué es un diagrama lógico? 11
Esta prueba parece ser puramente sentencial en los términos de Mumma. ¡Observe la
longitud necesaria para establecer la tautología más simple!
Por el contrario, el GE no utiliza conectivos entre las letras de las oraciones. Más bien
representa conjunción al colocar dos letras de oración en la misma “hoja de afirmación”,
y negación al trazar una línea o 'corte' alrededor de la proposición ('gráfico') en cuestión
(ver Fig.4). Un beneficio que se ha reclamado para los diagramas lógicos son los
llamados viajes gratis [3]. Se pueden "ver" inmediatamente ciertas equivalencias
lógicas.XVIII Así, la Fig.5Se puede observar que representa elegantemente: ~(A & ~C),
(AV ~C) y (ADC) simultáneamente. Esta es una percepción inmediata. ¿Qué tal una
prueba? Primero necesitamos algunas reglas.
Las siguientes cinco reglas de Alpha Graph consisten cada una simplemente en un
permiso para escribir o borrar un gráfico en la hoja de afirmación.
XVIIIShin también llama a esto el “principio de talla múltiple” [35, pag. 77].
12 C. Legg
Reglas de prueba para gráficos alfaLos diagramas son de Zeman [38, 39].
1. Inserción en impar:En un área extrañamente cerrada se puede escribir cualquier
fórmula.
<p
(b) 'cortes cruzados':
¿Qué es un diagrama lógico? 13
Prueba II, EG: F (PV ~P) Primero, la regla 5 permite agregar una doble negación
(frecuentemente un primer paso en estas demostraciones):
Prueba III, por ejemplo: (PDQ), (QDR) F (PDR) (Silogismo hipotético) Comenzamos
escribiendo las premisas en la hoja de afirmación:
Y el resultado final se logra usando (2) para borrar el lado derecho (funcionalmente
equivalente a la eliminación de conjunciones):
Sin embargo, nuestra prueba coloca a P en el recinto más externo (impar), y no hay
manera consistente con las reglas de que pueda eliminarse. Los gráficos en recintos
impares pueden iterarse hacia adentro, pero nunca eliminarse. Sin embargo, sería
necesario eliminarlo para llegar a la conclusión que se muestra arriba.
XIXEsto no quiere decir que los razonadores ordinarios necesariamente los reconocerían como tales.
Esta es lógica teórica, no aplicada (lo que Peirce llamó logica docens, oponiéndola a logica utens, una
distinción que hicieron los lógicos medievales).
16 C. Legg
7 Conclusión
Este artículo ha presentado una visión expresivista de los diagramas lógicos. Así, Brown
se ve reivindicado en su afirmación de que “las imágenes tienen un papel legítimo que
desempeñar como evidencia y justificación”. De hecho, ahora vemos que toda lógica
formal es esencialmente esquemática, aunque hemos visto que los diagramas pueden ser
más o menos claros. También podemos ver que la definición de Mumma de la 'prueba
puramente oracional' que desea argumentar ("[una] prueba... es una secuencia de
oraciones. Cada oración es una suposición de la prueba o se deriva mediante una
XXAunque esto sea contrario a la intuición para algunos, el hecho de que la experiencia sólo sea posible
una vez que uno haya comprendido la interpretación adecuada de las reglas del GE no socava su carácter
directo una vez que se han comprendido esas reglas.
XXIVale la pena señalar que esta lógica articuló la primera versión de la notación Russell-Peano para
cuantificadores que es estándar en la actualidad. Gracias a un árbitro anónimo por sugerir esto.
¿Qué es un diagrama lógico? 17
XXIISe podría objetar que esto es incorrecto, ya que se puede entender que un diagrama como un mapa
postula la forma de un país del mundo real. Sin embargo, considerado puramente como diagrama, un
mapa aún no tiene esa función semiótica. Interpretarlo como si dijera algo sobre un país es: (i) vincularlo
a un objeto del mundo real (convirtiéndolo así también en un índice), (ii) afirmar algo general sobre la
forma de ese objeto (convirtiéndolo también en un símbolo). Éstas son otras señales.
XXIIIAsí, por ejemplo, Chrisman resume gran parte de la metaética reciente escribiendo: “El debate
sobre el realismo se ha desarrollado (principalmente) investigando la explicación semántica apropiada de
los enunciados éticos” [14, pag. 334].
18 C. Legg
real?” Si recordamos que los signos indexales seleccionan detalles independientes del
signo, a menudo parece difícil responder "sí" a esta pregunta para términos clave en
discursos humanos manifiestamente importantes (como predicados éticos o estéticos,
términos numéricos...). Por otro lado, aquellos que están insatisfechos con la
problematización de tales áreas por parte del realismo metafísico, y aquellos que desean
reconocer un aporte social manifiesto a los juegos de lenguaje humanos, a menudo se
oponen al realismo metafísico con alguna forma de convencionalismo que sostiene que
el término X no denota un objeto real
pero tiene alguna otra función socialmente sancionada y enseñada. Podemos entender tal
convencionalismo en términos peirceanos como un intento de entender toda significación
realizada con signos simbólicos.
Se supone ampliamente que el realismo metafísico y el convencionalismo son polos
opuestos. Tantas dialécticas en tantos artículos en tantas áreas de la filosofía giran en
torno a esto, de modo que la mayoría de las veces se asume sin lugar a dudas que un
argumento contra el realismo metafísico es un argumento a favor del convencionalismo,
y un argumento contra el convencionalismo como un argumento a favor de la metafísica.
realismo. Pero ésta es una falsa dicotomía. Existe un tercer tipo de significación que no
consiste en una denotación bruta o en una convención arbitraria, sino que presenta la
estructura directamente al ojo de la mente. Hoy en día apenas se vislumbra en la
semántica formal. Y, sin embargo, es este tipo de signo el que representa la forma lógica,
una parte difícilmente trivial de nuestro esquema conceptual. Si tan sólo pudiéramos
reconocer que el símbolo, el índice y el icono desempeñan un papel semántico único e
irreductible y que, en consecuencia, la realidad está compuesta de hábitos reales, detalles
reales y estructuras intrínsecas reales, daríamos un salto inesperado hacia la
comprensión. ese concepto tan controvertido.
Referencias
1. Ayer, AJ: Lenguaje, verdad y lógica. Dover, Londres (1953)
2. Barwise, J.: Razonamiento heterogéneo. En: Gráficos conceptuales para la representación del
conocimiento. Apuntes de conferencias sobre informática, vol. 699, págs. 64–74 (1993)
3. Barwise, J., Shimojima, A.: Razonamiento sustituto. Cognir. Semental. 4(2), 7–27 (1995)
4. Blackburn, S.: Difundir la palabra. Clarendon, Oxford (1984)
5. Blackburn, S.: Wittgenstein, Wright, Rorty y el minimalismo. Mente 107, 157–181 (1998)
6. Boghossian, P.: El estatus del contenido. Filos. Rev.99(2), 157–184 (1990)
7. Brandom, R.: Hacerlo explícito: razonamiento, representación y compromiso discursivo. Prensa de la
Universidad de Harvard, Cambridge (1998)
8. Brandom, R.: Articular razones: una introducción al inferencialismo. Prensa de la Universidad de
Harvard, Cambridge (2000)
9. Brown, JR: Filosofía de las matemáticas: una introducción al mundo de las pruebas y las imágenes.
Routledge, Londres (1999)
10. Carnap, R.: La eliminación de la metafísica mediante el análisis lógico del lenguaje. Erkenntnis 2,
219–241 (1932) (trad.: Pap, A. En: Ayer, AJ (ed.) Logical Positivism, págs. 60–81. Free Press,
Nueva York (1959))
11. Carnap, R.: Comprobabilidad y significado. Filos. Ciencia. 3(4), 419–471 (1936)
12. Carter, A., Chrisman, M.: ¿Es el expresivismo epistémico incompatible con la investigación? Filos.
Semental. 159(3), 323–339 (2012)
13. Catton, P., Montelle, C.: Huellas en la costa de Rodas: el diagrama matemático griego como
¿Qué es un diagrama lógico? 19
C. Legg (B)
Programa de Filosofía, Universidad de Waikato, Private Bag 3105, Hamilton, 3240, Nueva
Zelanda
correo electrónico:clegg@waikato.ac.nz
La geometría de los diagramas y la lógica de los
silogismos
Richard Bosley
AbstractoAristóteles da cuenta de tres figuras sobre las cuales se forman los silogismos.
En la primera figura es posible demostrar la integridad de todos los silogismos posibles.
Pero en la segunda y en la tercera figura no es posible completarla; por lo tanto, las
premisas basadas en la segunda o tercera cifra se convierten de tal manera que cuenten
como premisas de la primera cifra. El procedimiento de Aristóteles conduce a
dificultades que se analizan y corrigen a lo largo de este artículo.
C*
El diagrama anterior está dibujado en la primera figura que muestra el intervalo final
AC compuesto de letras que representan términos o límites, uno de los cuales pertenece
al extremo superior de un intervalo que se extiende hasta un límite medio; el intervalo
está indicado en el diagrama mediante una línea recta que va desde un punto superior, es
decir, 'A', hasta un punto inferior, es decir, 'C'; el segundo intervalo va desde el punto
medio, es decir, 'B' hasta el punto extremo inferior, es decir, 'C'. El intervalo final AC
está marcado con un asterisco que indica que su intervalo largo completa esta instancia
de la primera figura. El dibujo de la línea larga no pretende sugerir que el intervalo largo
no sigue a los dos intervalos cortos AB y BC.
En el curso de la antigua tradición de enseñar la silogística, el comentarista Alejandro
de Afrodisias [1] tiende a combinar un intervalo y una premisa, aunque el propio
Aristóteles deja claro que son distintos y separados. Si los diagramas de Aristóteles
hubieran sobrevivido, sin duda no se habría desarrollado la tendencia a fusionar un
silogismo y su figura.
El texto de Aristóteles difiere del comentario de Alejandro y Filopono en este
sentido: habiendo expuesto la estructura de una figura y sus intervalos, Aristóteles
comenta sobre una base que es o no adecuada para la formación de un silogismo. Pero
21 R.Bosley
los comentaristas
La geometría de los diagramas y la lógica de los silogismos 22
C*
El propio Aristóteles no hace distinción entre la conclusión de un silogismo y el largo
intervalo trazado desde la letra "A" hasta la letra "C". Este intervalo es necesario para
completar una segunda figura.
Es característico de toda figura completa que exista un término medio mediante el
cual se puede representar el largo intervalo desde la parte superior hasta la parte inferior
del diagrama. Mostrar el intervalo largo en la primera figura es el objetivo de una prueba
en la primera figura. Por supuesto, la opinión de Aristóteles es que las otras dos figuras
no admiten una prueba de sus largos intervalos. Porque los intervalos largos están
establecidos por edicto con respecto a las dos segundas figuras, es decir, en la segunda
figura: “Sea que el término A pertenezca al conjunto del límite extremo C y que el
término A pertenezca al conjunto del término medio B”. (La discusión de las dos
segundas figuras agregará una salvedad crucial a la descripción inicial de las dos
segundas figuras.)
Era la opinión de Aristóteles (como queda claro en las primeras secciones de los
Análisis posteriores [4]) que no es posible probar un intervalo inmediato, es decir, “El
límite superior A pertenece a la totalidad del límite medio B”. Al huir de la dificultad de
demostrar la existencia de un intervalo corto, se enfrenta a otra: ¿Cómo es posible
remodelar un diagrama de tal manera que un intervalo largo que une dos términos se
convierta en un intervalo corto que une dos términos?
Hay un aspecto importante en el que un silogismo difiere de un diagrama: un
diagrama está dibujado y no es un objeto inmediato de afirmación o negación. No es
parte de un diagrama tener una parte que indique negación. La negación, después de
todo, es un acto y no un objeto: afirmar y negar, por otra parte, son acciones contrarias y
no objetos contrastantes. Por esta razón ninguna marca en un diagrama indica ni afirmar
ni negar; en consecuencia, un intervalo trazado entre dos puntos no es ni una afirmación
ni una negación. Por tanto, al dibujar un diagrama completo es necesario resolver la
negación implícita en las premisas destinadas a formar partes de un silogismo.
Supongamos que tenemos las dos premisas de la primera figura: "el límite A
pertenece al todo del límite B" y "el límite B no pertenece a ninguna parte del límite C".
Dado que una premisa negativa no corresponde a un intervalo que se extiende entre dos
límites, es útil resolver la negación. El principio de resolución de la negación anticipa
una de dos formas posibles en las que se puede resolver la negación: en la primera,
corregimos el término incorrecto dibujando un término contrario en el diagrama.
Supongamos que trazamos una línea desde la letra superior 'A' hasta la letra media 'B';
Para resolver la negación de la segunda premisa “el límite B no pertenece a ninguno de
los límites extremos inferiores C” debemos dibujar el siguiente diagrama en la primera
figura:
ANUNCIO
C
La geometría de los diagramas y la lógica de los silogismos 23
SER
C
24 R.Bosley
MNP
XX
Supongamos que un diagrama de la segunda figura muestra una línea larga que
conecta las letras 'M' y 'X', como muestra el diagrama de arriba, y también muestra una
línea corta que conecta 'M' y 'N'. Pero la información proporcionada por el diagrama se
destruye al convertir la línea larga 'M-X' en una línea corta 'M-X' que se muestra arriba
en el segundo diagrama. Al tratar de mostrar que hay una línea corta y final de 'M' a 'X',
la conversión convierte la línea larga inicial 'M-X' en una línea corta 'M-X'; este
movimiento destruye la larga línea que debía representar un largo intervalo entre M y X.
Así, la solución de Aristóteles al problema de formar silogismos en la segunda y tercera
figuras es, en efecto, socavar el punto de la segunda y tercera figuras. y socavar los usos
de oraciones que originalmente tienen usos mediante los cuales se puede indicar una
cuadrícula de términos y relaciones. En consecuencia, deberíamos esperar que el mal
manejo por parte de Aristóteles de la segunda y tercera figuras tuviera el efecto de hacer
de la silogística una cuestión en gran medida lingüística que se interpretaría más o menos
como la interpretaron Alejandro y Juan Filopono. Además, tal interpretación desdibuja la
imagen y el diagrama de la estructura general de lo silogístico: primero viene la
formación de silogismos demostrativos ([4], I.4ff) sobre la base de una figura
diagramada para mostrar una cuadrícula de términos y relaciones y luego, habiendo
completado el proyecto de formación de silogismos, Aristóteles gira ([4], I.32ff) hasta la
disolución de un silogismo hasta su figura propia.
Pero volvamos a mi historia del mercado negro que ha florecido en la oscuridad de lo
que sucede cuando oraciones formadas como premisas ya sea en la segunda o en la
tercera figura son transportadas a la primera figura ahora preñada de un silogismo,
ilegítimo en la primera. cifra, pero ya no me siento cómodo con la segunda o la tercera
cifra.
26 R.Bosley
A continuación se muestra un ejemplo de la segunda figura y su diagrama:
ANUNCIO
C*
Las dos líneas DB y AEC indican dos intervalos, uno largo y otro corto. (Este
ejemplo de la teoría binaria es el resultado de la resolución de la negación implícita en lo
que Alexander llamaría una premisa mayor, universal y privativa.) Es obvio que el breve
y concluyente intervalo no se extiende entre los términos B y C; porque en ese caso el
extremo inferior caería bajo géneros contrarios, lo cual es imposible. Por lo tanto, existe
un intervalo corto y concluyente entre los términos E y C que forman el intervalo final
necesario para completar tanto la figura como el silogismo formado sobre la base de ella.
La línea larga AC representa el intervalo largo AC que en verdad está mediado por el
término E. El intervalo largo mediado por el límite medio E no se muestra
necesariamente en el diagrama dibujado justo arriba; ni tampoco se menciona el hecho
en el silogismo formado sobre la base de la segunda figura. Si tuviéramos que dibujar el
intervalo largo primero de A a E y luego de E a C, tendríamos una versión diferente de la
prueba de mediación (es decir, en el estilo de la segunda figura y no en el de la primera
figura). Surge la pregunta de qué diferencia hay entre la prueba que depende de una
figura propia y la prueba que depende de la contraposición y el retorno a la primera
figura como base del silogismo. Se puede formar un silogismo sobre la segunda figura de
la siguiente manera:
1. Todos los B son D (o, restauración de la negación): “Ningún B es A”
2. Todas las C son A
3. Entonces, ningún C es B
Es evidente, sobre la base del diagrama, que si algo de C fuera B, alguna parte de B
caería bajo un término superior contrario, lo cual es imposible. Por tanto, no es necesario
convertir ni contraponer los nombres de los términos para llegar a la conclusión.
Pero consideremos más a fondo el texto de Aristóteles, un texto que deja claro de qué
manera el filósofo juega injustamente con la formación de la tercera figura y, por tanto,
con el silogismo que debe formarse sobre su base. Nuevamente necesitamos dos
diagramas: el primero es el boceto inicial de la tercera figura; el segundo muestra el
resultado de la conversión para falsificar una copia de la primera figura. Según las
sugerencias de Aristóteles para dibujar las dos figuras, aquí nuevamente hay una
posibilidad:
pqp
SR(D)
Definiendo la tercera figura ([4], I.6; 28a10–22) Reducción a la primera cifra ([4], I.6; 28a10-17)
C*
Tal como está el diagrama, podemos interpretar la figura que presenta de la siguiente
manera: el límite superior A es necesario para la totalidad del límite B; el límite B, a su
vez, pertenece simplemente a la totalidad del límite extremo C. La parte del diagrama
dibujada como 'n-' no indica la necesidad del término A para la totalidad del término
extremo inferior C; más bien indica la modalidad del AC final y de intervalo largo, es
decir, según sea necesario para completar la figura. Por el contrario, la marca 'n' adjunta
a la línea corta AB (que presenta el intervalo superior corto AB) indica la modalidad del
término superior A para todo el término medio B. De ello se deduce que el diagrama no
presenta el término superior como necesario para el término extremo C. Pero los
comentaristas que suponen que el término medio B está contenido dentro del término
superior A y que el término inferior C está contenido dentro del término medio B, están
obligados a confundir los dos usos de las modalidades.
Se puede repetir una observación sobre el diagrama de la segunda figura: la línea
larga indica el intervalo largo AC pero sin mostrar el curso del intervalo largo y por lo
tanto dejar claro cuál es el término mediador (ni esta información se mostraría mediante
un silogismo que depende de la figura); Tampoco se nos dice cómo el término medio
puede recibir un intervalo de un término superior necesario y mediar en el intervalo largo
de tal manera que el intervalo BC sea de pura pertenencia. Sin embargo, el intervalo es
necesario para la coherencia de la figura y para el silogismo formado sobre la figura.
Un silogismo formado sobre la tercera figura se puede escribir de la siguiente manera:
1. Todos los C son B.
2. Todas las C son A.
3. Entonces todos los B son A.
Nuevamente es evidente, sobre la base del diagrama, que si algunos B no son A,
entonces alguna parte de C sería A y no A. Es igualmente obvio que el intervalo largo
está mediado por el límite medio B. Esta característica de la figura no se hace evidente
mediante un silogismo basado en ella.
Insecto. I.14 de los Análisis Previos [4] Aristóteles continúa su estudio de los
silogismos modales y sus figuras abordando la contingencia. Así como algunos términos
son necesarios para otros, algunos términos son contingentes para otros. A diferencia del
postulado de necesidad, el postulado de contingencia requiere un postulado
correlacionado de dos términos a partir de los cuales dos intervalos se conectan con un
solo término para el cual hay contingencia. Por ejemplo, tanto sentarse como caminar
son contingentes para los humanos y estar despiertos y dormidos son contingentes para
los animales. Un diagrama que presente tales términos y la modalidad de contingencia
requiere dos términos superiores y un único término inferior en el que convergen los dos
intervalos. No es posible dibujar un diagrama de este tipo de modalidad sin que un par
coordinado de intervalos converja en un término inferior.
Fue un error de Aristóteles intentar expandir la silogística tanto a la modalidad de
necesidad como a la modalidad de contingencia manteniendo al mismo tiempo una sola
columna de términos. De hecho, fue un error extraño que cometiera el filósofo, ya que
conocía y trabajaba dentro de una teoría binaria en varios aspectos. Aristóteles sigue un
camino modal
lo cual es particularmente pedregoso cuando algunos intervalos son necesarios, algunos
La geometría de los diagramas y la lógica de los silogismos 29
contingentes y otros mezclados tanto con las modalidades como también con la simple
pertenencia. Aristóteles ha logrado desconcertar a sus comentaristas; deja a algunos
comentaristas modernos perplejos y consternados. La aplicación de una teoría binaria es
la menor ayuda que existe junto con la resolución de la negación. Entonces es posible
esbozar diagramas que den sentido consistente al proyecto del filósofo.
Comencemos con la contingencia definida de tal manera que se ajuste a los siguientes
diagramas. El texto en cuestión comienza con el art. I.14 de la primera parte de los
Análisis Previos [4]. Aristóteles escribe:
Entonces cuando el límite A es contingente para el conjunto del límite B y el límite B para el
conjunto del límite C, habrá un silogismo completo [mostrando] que el límite A es contingente por
pertenecer al conjunto del límite C Esto se desprende claramente de la definición; porque así
hablábamos de que el ser contingente para pertenecer al todo es así. [4, I.14; 32b38–33a1]
El siguiente diagrama presenta la figura descrita anteriormente:
una computadora c
B n- n- mi
*C*
Es necesario escribir cuatro premisas para formar un silogismo que dependa de la
totalidad de la figura representada por el diagrama anterior. La primera premisa
representa el corto intervalo contingente AB; la premisa de contraparte representa el
segundo intervalo contingente corto DB; la premisa inferior representa el intervalo
contingente corto BC, y la segunda premisa inferior representa el intervalo contingente
corto EC. Hay dos largos intervalos finales, ambos necesarios para completar la figura y
también para completar el silogismo formado sobre la base de la figura. El curso del
primer intervalo largo es evidente, es decir, mediado por el término medio B. Pero,
¿cómo está mediado el segundo intervalo largo? La teoría binaria aplicada a este caso de
figura sugiere la mediación por el término medio E.
Antes de pasar a los contraejemplos empleados por Aristóteles para demostrar que no
hay más silogismos además de los ya demostrados, cabe preguntarse si una distinción
entre lo óntico y lo modal debería ser parte de la lógica de los silogismos. Si
comenzamos con la realidad —como parece hacer Aristóteles al establecer paradigmas
de figuras— podemos suponer que Aristóteles no supone que una posición de realidad
implique la presencia de necesidad; por otra parte, supone que una posición de necesidad
implica una posición de actualidad; hace una suposición análoga respecto de la
contingencia y la actualidad. Y, sin embargo, está claro que una postura de actualidad no
es coherente con una postura de contingencia. Es posible sostener que tanto encanecer
como mantener el color del cabello son contingentes a pertenecer a Fred. La actualidad
simultánea de ambas contingencias no es posible. Por lo tanto, es posible que exista la
contingencia de A por B y también es posible que exista la contingencia de D por B.
Surge una pregunta paralela con respecto a la necesidad, a saber, si es posible
sostener que el límite A es necesario para B aunque no esté implícito que A realmente
pertenezca a B. Ejemplos plausibles respaldan la sugerencia. La nueva casa de mi vecino
depende de los cimientos necesarios para ella, aunque aún no se haya construido una
casa.
Quedan dos cuestiones por discutir para concluir este documento. El primero trata
sobre contraejemplos y el segundo y último, sobre la reducción a lo imposible.
Respecto al primero, Juan Filópono se queja de que Aristóteles a veces no hace un buen
trabajo al exponer los términos y sus relaciones al mostrar que un silogismo no es
posible. La pregunta apropiada para este artículo es si Aristóteles habría utilizado un
30 R.Bosley
diagrama al exponer su argumento o habría preferido formar premisas que dejen claro
que no se puede formar ningún silogismo por medio de tales premisas. Los primeros
ejemplos aparecen en I.4 de [4] después de que Aristóteles haya demostrado cómo los
términos e intervalos de la primera figura hacen posibles los silogismos; en I.4; 26a2ff
establece términos e intervalos para mostrar cuándo no hay una cifra suficiente para la
formación de un silogismo. El escribe:
Pero si el primer intervalo sigue al término medio pero si el límite medio no pertenece a ninguno de
los límites extremos, no habrá silogismo de los términos extremos; porque nada necesario resulta en
virtud de estos límites e intervalos; porque es posible que el primer límite pertenezca tanto al todo
como a ninguno; pero cuando de ellos no surge nada necesario, no habrá silogismo. [4, 26a2–8]
Un diagrama de una primera figura que falta prueba Un diagrama de una reducción a lo imposible
SER B*mi
c*C(1)
Un diagrama de una primera figura que falta prueba Un diagrama de la tercera figura
bebe
C*C(1)
Un diagrama de una primera figura que falta prueba Un diagrama que muestra lo imposible
Referencias
1. Alejandro de Afrodisias: comentario sobre los análisis previos de Aristóteles. Wallies, M. (ed.).
Berlín (1883) (CAG II.1)
2. Patzig, G.: Die Aristotelische Syllogistik. Vandenhoeck y Ruprecht, Goettingen (1963)
3. Philoponus, J.: Comentario sobre los análisis previos de Aristóteles. Wallies, M. (ed.). Berlín (1905)
(CAG XIII.2)
4. Ross, WD: Análisis previo y posterior de Aristóteles, texto revisado con introducción y comentario.
Clarendon, Oxford (1949)
R. Bosley (B)
Profesor Emérito, Departamento de Filosofía, Universidad de Alberta, 2-40 Assiniboia Hall,
Edmonton, AB T6G 2E7, Canadá
correo electrónico:rbosley@ualberta.ca
Un cálculo esquemático de silogismos
Ruggero Pagnan
1 Introducción
Observación 2.1A lo que nos referimos como silogismos son silogismos tradicionales en
la terminología de [8], donde se puede encontrar una discusión detallada de la diferencia
entre esta noción y la de silogismo aristotélico. Tal diferencia no afectará el presente
tratamiento. Sólo mencionamos que según [8], un silogismo aristotélico es una
proposición del tipo “Si A y B, entonces C”, mientras que un silogismo tradicional es
una forma argumentativa con dos premisas y una conclusión como “A, B luego C”, que
en su totalidad no formar una proposición compuesta. Así, mientras que un silogismo
aristotélico puede ser verdadero o falso, un silogismo tradicional puede ser válido o no.
Sin embargo, hay que decir que algunos autores cuestionan la consideración de un
silogismo como una proposición, ver [1] por ejemplo, y que en general la noción de
silogismo aún merece ser debatida. Se invita al lector interesado a consultar [11].
Observación 2.2Sin duda las tres primeras cifras del cuadro1fueron introducidos por
Aristóteles. Respecto a la polémica sobre quién introdujo el cuarto, mencionamos que
según [8] Aristóteles era completamente consciente de su existencia y de todos los
35 R. Pagan
modos silogísticos válidos para él, ver Tablas2 y3abajo.
3 El calculo
En esta sección presentamos un cálculo esquemático en base al cual, los silogismos
válidos enumerados en las Tablas2y3resultarán ser exactamente aquellos cuya
conclusión se sigue mediante cálculo.
A cada proposición categórica asociamos las representaciones esquemáticas
xaXY^YX^XY^Y ----------------------
citando de [2].
Se pueden concatenar y reducir dos o más diagramas silogísticos, si es posible,
componiendo formalmente dos o más símbolos de flecha consecutivos y orientados en
consecuencia.
Adiputado,ASM = ASP mi
PM,ASM = mi
SP Idiputado,AEM = ISP APM,miEM = mi
SP
= = = =
= = = =
mi
diputado,ASM mi
SP APM,miSM mi
SP Adiputado,IEM ISP IPM,AEM ISP
= = =
Adiputado,ISM ISP mi
PM,ISM 0
SP 0
diputado,AEM 0
SP mi
PM,IEM 0
SP
mi
diputado,ISM 0
SP APM,0SM 0
SP mi
diputado,IEM 0
SP
36 R. Pagan
=
midiputado,AEM ohS existe algún P
P existe algún P
APM,AEM ISP
______>miS9METRO^________METRO<UnPM
S
I
S miSP
(APM) ^miSM)1=(miSP)
PruebaPor un lado, basta con construir explícitamente una inferencia silogística para
cada uno de los silogismos de la tabla2, como sigue:
Figura 1:
(
ADIPUTADO)^ASM}= (A sp) (E mp)^ a sm) = (Esp)
( AMP)^ I sm) = (1 I sp) ( Emp)^ I sm) = (Osp)
Figura 2:
(A.M.)^miEM)= (Esp)
(IPM)0(AEM)= (Yo sp)
(miPM)^IEM)= (Osp)
Por otro lado, basta con construir inferencias silogísticas para una conclusión posible
dada.
- Por Lema 3.2 (i), la única forma de obtener Asp como conclusión está representada por
la
diagrama
S------MPP---
IITII
S-----------------PÁGINAS
Un cálculo esquemático de silogismos
que corresponde exactamente a la inferencia silogística
(ADIPUTADO)B(ASM)1= (Áspide)
validando el estado de ánimo AAA en la primera figura.
- Por Lema 3.2 (ii) y (iii), las únicas formas de obtener Esp como conclusión, están
representadas por los dos diagramas
S• • <MPS----------------------------------- P
-------MILÍMETRO-----------• • A
II t IIII t G
S------•----------------------PD------------------------•
El extremo izquierdo se puede leer como la inferencia silogística (A pm)0( Esm) =
(Esp)
o
(APM) ^miEM)= (Esp)
los cuales validan el estado de ánimo AEE en la segunda y cuarta figura,
respectivamente. El extremo derecho puede leerse como la inferencia silogística
(miDIPUTADO)0(ASM)= (Esp)
o
(miPM) ^ASM)= (Esp)
los cuales validan el estado de ánimo EAE en la primera y segunda figura,
respectivamente.
- Por Lema 3.2 (iv) y (v), las únicas formas de obtener Isp como conclusión están
representadas por los dos diagramas
S ^—M^-------- PD^ • MPP
I t II-II t II
I PD•PAG
S
El extremo izquierdo se puede leer como la inferencia silogística (I mp)))( A ms) = (I
sp)
o
(
IPM) ^AEM)= (Yo sp)
los cuales validan el estado de ánimo IAI en la tercera y cuarta figura,
respectivamente. El extremo derecho puede leerse como la inferencia silogística
(ADIPUTADOMETROISM)= (Yo sp)
o
(AP.F.) ^IEM)= (Yo sp)
que validan el estado de ánimo AII en la primera y tercera cifra, respectivamente.
- Por Lema 3.2 (vi), (vii) y (viii), las únicas formas de obtener Osp como conclusión
están representadas por los tres diagramas
S <----•-------MILÍMETRO P
A
G
R. Pagan
II I
S <----•--------------
Un cálculo esquemático de silogismos
SM ^-------------•>^- - ------------PAG
IIIII
S ^----------------•>•*- ------------PAG
S-------•>• *- ------------M^P-----
III
S ^- - - -•^* ^- ----------------------PAG
La primera puede leerse como cualquiera de las inferencias silogísticas.
(
miDIPUTADO)^(ISM)1= (Osp) (E pm)$( I sm) = (Osp)
(E mp)$( I ms) = (Osp) (Epm)^ I ms) = (Osp)
que validan el estado de ánimo EIO en todas las figuras. La segunda puede leerse
como la inferencia silogística.
(ohDIPUTADO)PSAEM)= (Osp)
que valida el estado de ánimo OAO en la tercera figura. La tercera puede leerse como
la inferencia silogística.
(APM)^ohSM)= (Osp)
validando el estado de ánimo AOOen la segunda figura. □
Observación 3.5Después del teorema 3.4, es un ejercicio fácil leer las conocidas reglas
del silogismo de la lista del Lema3.2.
(1) De dos premisas negativas no se puede inferir nada.
(2) De dos premisas particulares no se puede inferir nada.
(3) Si la primera premisa de un silogismo es particular, mientras que la segunda premisa
es negativa, entonces no se puede inferir nada.
(4) Si una premisa es particular, entonces la conclusión es particular.
(5) La conclusión de un silogismo es negativa si y sólo si lo es una de sus premisas.
X
1X
X-X X•- -----°X• X
que debe leerse correspondientemente como
AXX: Todo X es X
miXX: Ningún X es X Ixx : Algunos X son X OXX:
Algunos X no son X
Los diagramas A xx y I xx representan las leyes de identidad. El diagrama I xx en
particular representa la importancia existencial, mientras que el diagrama EXX afirma el
vacío de X. Nosotros miramos a
diagrama Oxx como expresión de contradicción, por razones que serán ilustradas más
claramente por la Proposición3.8.
Teorema3.4se extiende para comprender los silogismos de la tabla3, teniendo en
cuenta las importaciones existenciales de las formas Iss , I mm , I pp . El primer paso en
esa dirección es el Lema.3.6abajo.
R. Pagan
Lema 3.6Una inferencia silogística aplicada a una concatenación de dos diagramas
silogísticos y una importación existencial produce un diagrama silogístico exactamente
en los siguientes casos:
(i) S^•^ S^M^P
(ii) S^ M ^•^ M ^ P
(iii) S^ M ^ P ^•^ P
(iv) S^•^ S^ M ^•^ P
(v) S^•^ S ^•^M <- PAG
(vi) S<- M ^•^ M ^•^ P
PruebaPor un lado, está claro que la inferencia silogística se aplica a los diagramas
enumerados en el enunciado y, al hacer desaparecer M, se obtiene un diagrama
silogístico que involucra sólo a S y P como conclusión. Por otro lado, teniendo también
en cuenta Observación 3.1, procedemos por casos:
(a) No hay forma de obtener S ^ P como conclusión de una inferencia silogística bajo
cualquier importación existencial de la forma I ss, I mm o I pp, debido a la presencia
de un símbolo de viñeta indeleble en cualquiera de ellas.
(b) No hay forma de obtener S ^ • ^ P como conclusión de una inferencia silogística bajo
cualquier importación existencial de la forma I ss , I mm o I pp, debido a la presencia
de un símbolo de viñeta indeleble en cualquiera de estos, junto con dos morfismos
que divergen de él.
(c) Las únicas formas de obtener S ^ • ^ P como conclusión de una inferencia silogística,
bajo cualquier importación existencial de la forma I ss, I mm o I pp, es mediante (i),
(ii) o (iii), ya que En la conclusión debe aparecer exactamente un símbolo de viñeta
junto con dos morfismos que divergen de él.
(d) No hay manera de obtener S ^•^•^ P como conclusión de una inferencia silogística
bajo la importación existencial Ipp, ya que tal suposición necesariamente produce
una conclusión como S • • • • ^ P que de ninguna manera puede ser S ^ •^•^ P. Las
únicas formas de obtener S ^•^•^ P como conclusión de una inferencia silogística,
bajo cualquier importación existencial de las formas I ss o I mm, es por (iv), (v) o
(vi), ya que deben aparecer exactamente dos símbolos de viñeta en la conclusión,
junto con tres morfismos alternos. □
(e) orema 3.7Un silogismo con significado existencial es válido si y sólo si hay una
inferencia silogística desde sus premisas hasta su conclusión..
(AAPM)^(miM)^ISS)1= (0 velocidades)
(
miPM)^ASMMETROISS)= (0 sp)
Figure 3:
(miDIPUTADO)B(IMILÍMETROS)^AEM)= (0 sp)
Figure 4:
(A
PMMETROmiEM)PSISS)= (0 sp)
(miPM)^IMILÍMETROS)^AEM)= (0 sp)
(IPÁGINAS)^(APMMETROAEM)= (Yo sp)
Por otro lado, basta con construir una inferencia silogística para una posible conclusión
dada, teniendo en cuenta las importaciones existenciales.
Debido a los puntos (a) y (b) en la prueba del Lema3.6, no hay manera de obtener los
diagramas silogísticos Asp y Esp como conclusión de una inferencia silogística bajo
ninguna importación existencial.
- Por Lema3.6(i), (ii), (iii), las únicas formas de obtener la conclusión Isp bajo la
importación existencial I ss, I mm o I pp están representadas por los tres diagramas
S^ ---• -^S II ^ M— -^
II PAG
S ^ --- II
S^ —M^ - -• -^M— PAG
II t II
S^ — - -• — -*
S^ —M^- - PAG- - - -• — PAG
PAG
II t II
S^ — - - -• — -^
que de arriba a abajo pueden leerse como las inferencias silogísticas
Mp)i(A SMMETROISS)=
(A
(Yo sp)
(AMp)i(IMILÍMETROS)0(AEM)= (Yo sp)
(
IPP)^(A PM)MAEM)= (Yo sp)
respectivamente, validando el estado de ánimo AAI en la primera, tercera y cuarta
figura.
- Por Lema3.6(iv), (v), (vi), las únicas formas de obtener la conclusión 0sp es bajo la
importación existencial I ss o I mm , como se representa en los tres diagramas.
S ^-----•-------SS-----MILÍMETRO------•• ^P
II t II
S <-----•» • *----------------------------------PAG
S•--------------SS•• M^P--------------------
II t II
S <-----•* • <---------------------------------PAG
R. Pagan
SI M M P
I
S E E A
T T G
el primero de los cuales puede
R leerse como la inferencia
R II
silogística P
(O O A
midiputado^iiASM)^(ISS)1=
G
(ohSP)
o
miPM)#(ASMMETROISS)=
(
(Osp)
que validan el estado de ánimo EAO en la primera y segunda figura, respectivamente.
El segundo diagrama puede leerse como la inferencia silogística
(
APM)^miSMMETROISS)=
(Osp)
o
APMMETROmiEM)^(ISS)=
(
(Osp)
que validan el estado de ánimo OEA en la segunda y cuarta cifra, respectivamente. El
tercer diagrama puede leerse como la inferencia silogística
(
midiputado)^IMM)i(AEM)= (Osp)
o
(miPMMETROIMM)^AEM)=
(Osp) □
que validan el estado de ánimo EAO en la tercera y cuarta cifra,
respectivamente.
Terminamos la sección discutiendo brevemente las conexiones existentes entre el
cálculo de silogismos descrito hasta ahora y las leyes del cuadrado de oposición.
variedad
AX,Y miX,
Y
subalternación subalternación
subcontrarieda
d
en el
cual
- AXYy Oxy, así como Exy e Ixy, son contradictorios porque no pueden ser ambos
verdaderos, ni ambos falsos. En cada par, una proposición es verdadera si y sólo si la
otra es falsa.
- Bajo la importación existencial en X, Axy e Ixy, así como Exy y Oxy, son subalternos
porque Ixy es verdadera si Axy es verdadera, y Oxy es verdadera si Exy es verdadera,
pero no al revés, en ambos casos.
- Según la importación existencial en X, Axy y Exy son contrarios porque no pueden
ser ambos verdaderos, pero ambos pueden ser falsos. Cada uno de ellos implica la
negación del otro, pero no a la inversa.
Un cálculo esquemático de silogismos
Lema 4.1Por cada número natural positivo n, una inferencia silogística produce un
diagrama silogístico como conclusión exactamente en los siguientes casos:
(i) A1 → A2 → ···→ Ai →Ai+1 → ···→ An-1 → An.
(ii) A1 → A2 → ···→ Ai →•←Ai+1 ← ···← An-1 ← An, con1≤ i≤norte -1.
(iii) A1 ← A2 ← ···← Ai ←•→ Ai+1 → ···→ An-1 → An, con1≤ i≤norte -1.
(iv) A1 ← A2 ← ···←Ai ←•→Ai→ ···→ An-1 → An, con1≤ i≤norte.
(v) A1 ← A2 ← ···← Ai ←•→•←Ai+1 ← ···← An-1 ← An , con 1 ≤ i ≤ n - 1.
(vi) A1 ← ···← Ai ←•→ Ai+1 → ···→ Aj -1 →•←Aj ← ···← An , con 1 ≤ i<j≤ n.
(vii) A1 ← ···←Ai ←•→Ai → ···→ Aj-1 →•←Aj ← ··· ← An, con 1 ≤ i< j ≤n.
R. Pagan
PruebaEstá claro que se aplica una inferencia silogística a cada uno de los diagramas
enumerados en el enunciado que produce un diagrama silogístico que involucra los
términos A1 y An únicamente. Por el contrario, procedemos por casos:
(a) la única forma de obtener A1 → An como conclusión de una inferencia silogística es
mediante (i), ya que no se permite que aparezca ningún símbolo de viñeta en la
conclusión.
(b) la única manera de obtener A1 →•←An como conclusión de una inferencia
silogística es mediante (ii), ya que en la conclusión debe aparecer exactamente un
símbolo de viñeta con dos morfismos convergiendo a él.
(c) la única manera de obtener A1 ←•→ An como conclusión de una inferencia
silogística es mediante (iii) o (iv), ya que en la conclusión debe aparecer exactamente
un símbolo de viñeta con dos morfismos divergiendo de él.
(d) la única manera de obtener A1 ←•→•←Ancomo conclusión de una inferencia
silogística es por (v), (vi) o (vii), ya que en la conclusión deben aparecer exactamente
dos símbolos de viñeta, con tres morfismos alternos. □
Lema 4.2Por cada número natural positivo n, sean ϕ(n) y ψ(n) el número de diagramas
como los de los puntos (vi) y (vii) del lema.4.1, respectivamente. Los siguientes hechos
se sostienen
(i) ϕ(n)= (norte-1)2(n-2).
(ii) ψ(n)= norte(n2-1).
Prueba(i) Para todo número natural positivo n, ϕ(n + 1)= ϕ(n)+ (n - 1). Porque pasar de n
a n + 1 es cuestión de insertar un símbolo de flecha más → o ←, a la izquierda, a la
derecha o en el medio de los diagramas construidos en n, para extenderlos con un
término-variable más . Hay exactamente n - 1 posibilidades de hacer esto. Finalmente,
por inducción sobre el número de variables de términos, la tesis se logra fácilmente.
(11) El argumento es completamente similar al anterior excepto por el hecho de que
para cada número natural positivo n, ^(n + 1) = ^(n) + n. □
,..
—
1Anorte
AAnorte—
.,IAi+1 Ai,...,AA2A1k
IA1Anorte norte 1
AAnorte,..—
—
1Anorte 1
AAnorte,..Anorte— .,
1Anorte
= IA1Anorte norte
norte 1
=
AiAAi,---,
. ,1oh iAi+1A,...,
A2AA1A2A1
1,..
—
AAnorteAnorte—
1,..
AAnorteAnorte—
.,miAj—1Aj,...,1A,A,+1 ,...,Aoh
A2AA11Ano
= (norte— 1)(norte—2)2
1
=
0
.,miAj—1Aj,...,1Ai+1A, ,...,AA2A1 A1Anorte (norte— 1)(norte—2)2
1,..
AAnorteAnorte—
=
0
.,miAjAj—....................1 AiAi+1 ,...,AA2A1 A1Anorte (norte—1)(norte—2)2
1,..
AAnorteAnorte— .,miAjAj—1,...,1Ai+1Ai
=
0
,...,AA2A1 A1Anorte (norte—1)(norte—2)2
1,-
A
=
AnorteAnorte— 0
. ,miAj Aj,...,1AiAi, A1Anorte norte(norte)—1)2
1,..
—1
A
AnorteAnorte— . ,miAjAj ,...,1AiAi, norte(norte)—1)2
=
—1
..,AA2A1 ohA1Anorte
1,..
..,AA2A1 ohA1Anorte
(OA 1 An)
Un cálculo esquemático de silogismos 51
(
AAnorteAnorte—1 W • • • MmiAjAj—1W • • • W
1
Ai+1A)• • • AC AA 2 A1) = (OA1 An)
que validan los 4 • (n—1 )n—2) silogismos de n términos
=
0
A1AnorteAAnorteAnorte-1,...,miAjAj-1,...,IAi+1Ai,...,
AA2A1 =ohA1Anorterespectivamente.
Por Lema4.1(vii) y lema4.2 (ii), los diagramas n(n—1)
A1 -s------Ai^—•—AAI-------------^-•aj-1—•• ^—Aj• • • t—Un
IIT||
A1 ■*•*■ • -*------------------------------------------------------------Un
representan la única manera de producir evidencia para las inferencias silogísticas 2 •
nn-Al
(
AAnorteAnorte-1W • • • tt(miAj-1Aj )^• • • W IAiAi1 • • • AC AA 2 A1) = ( OA1
An) (A AnAn-1 )tt • • • B( E AjAj-1 W • • • WI AiAi1 • • • AC AA 2 A 11 = ( OA 1
An) que validan los 2 • n(n2~1) silogismos de n términos
AAnorteAnorte-1,...,miAj-1Aj,..., Yo AiAi,..., AA2A1 =ohA1Anorte
AAnorteAnorte-1,...,miAjAj-1,...,IAiAi,...,AA2A1 =ohA1Anorterespectivamente.
Así, en total hay n - 1 + 4 • (n-1)—2) + 2 • n(n~1) silogismos válidos de n términos
con conclusión Oa 1 An ■
En total, los silogismos válidos de n términos están en número de
(n -1 )(norte - 2)
1 + 2 (n - 1) + 2 (n - 1) + n + (n - 1)+ 4 • 2------------------- -
+M norte-O = 3n2_n D
2
La inferencia silogística existente que proporciona evidencia de la validez de un
silogismo de n términos no está determinada de manera única, en general. Para ver esto,
considere el silogismo válido de 5 términos A A55 a 4, EA 3 A 4, IA 3 A 2, AA 2 A 1 =
OA 1 A55, por ejemplo. Se puede obtener como combinación de inferencias silogísticas
posteriores de dos maneras diferentes, como lo muestran los diagramas.
Automó I A3A2 mi Automó
— • —^ Un3 A3 un 4 -
A1 vil club - A2*— — —^ • -^— A4 vil club
II británic
II Automó A5
británic
A1
t II vil club II
—•— - A3 —^ • ^—
A4 Automó -
británic
1
II A1A ÉL miA3A4 11 vil club
II
A1
II
3
• AA 1 4
A t • A4 británic -
A5
A1 —•—
■
OA1 A5 —^ • ■<— Un
Automó
AA2A1 I A3A2
mi
A3 un 4 vil club
■
A1 - A2 *— —•— —^ Un3 —^ • ■<— A4 británic Un
II Automó 11
II Automó II
A1 vil club II vil club
—•— —>■ • ■<— A4 ■
II - A2^-II OA2A4
Un
t
A1I Automó - A2^- —•—
■
I 0 2
t A A5.'
vil club Un
52 R. Pagan
A1 —•— OA1A5 —> • <—
-
Figura 1 Figura 2
premisa A1A2 A 1A 2
conclusión A1A2 A 2A 1
Tabla 5Figuras de los
silogismos de 2
términos
que es también la razón por la cual, a diferencia del teorema 3.4, en teorema 3.7Se ha
abandonado la condición de unicidad sobre la existencia de una inferencia silogística
para la validez de un silogismo con importancia existencial.
Terminamos con la descripción explícita de los silogismos de n términos válidos para
n = 1 y n = 2, respectivamente. En el primer caso, sólo hay una figura, es decir A1A1 y
sólo dos modos válidos para ella, es decir A e I, de modo que, como se observa en [8] y
[9], los únicos silogismos de 1 término válidos son A a 1 a 1 |= A a 1 a 1 e IA 1 A 1 1=
IA 1 A 1, es decir, las leyes de identidad que insinuamos en la sección anterior. En el
segundo caso hay dos figuras, como se muestra en la Tabla5, y diez silogismos válidos de
2 términos, seis en la primera figura y cuatro en la segunda, de la siguiente manera:
Figura 1: A a 1 a 2 = AA 1 A 2, EA 1 A 2 = EA 1 A 2, IA 1 A 2 = IA 1 A 2, OA 1 A 2 =
OA 1 A 2, más las leyes de subalternación A a 1 a 2, IA 1 A 1 = IA 1 A 2, EA 1 A 2,
IA 1 A 1 = OA 1 A 2.
Figura 2: Ea 2 a 1 = EA 1 A 2, IA 2 A 1 = IA 1 A 2 que son las leyes de conversión
simple, y IA 2 A 2, AA 2 A 1 = IA 1 A 2, EA 2 A 1 , IA 1 A 1 = OA 1 A 2 que son
las leyes de conversión por accidentes.
y siempre que sea el caso, al realizar una inferencia silogística nos referiremos a la
sustitución por doble negación en cuanto a la operación de sustituir ese diagrama con el
único
Un cálculo esquemático de silogismos 55
Tabla 6Las formas de predicación de De Morgan
Picante. notación Diag. notación Lenguaje natural
AXY X))Y
X ^ Y
TodoXesY
^.^• ^
Axy X))yoX((Y TodoYesX
• ^•^
Axy X Y NoXesY
• ^»^
AxY X))yoX( (Y X Y Todo esXoY
IXY X ))Y
X() AlgunoXesY
^.^
YoX( )Y X Y
^.^.^.^
Ixy X()yoX)(Y X Y Algunas cosas no lo sonXniY
• ^.^. ^
Ixy X Y AlgunoXno esY
IxY AlgunoYno esX
• ^»^*^
X()yoX( (Y X Y
X()YoX) )Y X Y
Teorema 5.1Cada silogismo con complementos en la Tabla. 7se valida mediante una
inferencia silogística y viceversa.
PruebaPor un lado, procedemos fijando uno de los cuatro esquemas de inferencia
descritos anteriormente y recorriendo las columnas de la Tabla7, indicado por los
números en los elementos siguientes, que muestran que existe una inferencia silogística
que proporciona evidencia de la validez del silogismo correspondiente con
complementos. Las inferencias silogísticas que contienen una sustitución de doble
negación son exactamente aquellas de un silogismo en el que el término medio se
complementa tanto en la primera como en la segunda premisa. Se indica explícitamente
la importancia existencial de los silogismos reforzados.
(i) Para el esquema )) )) = ))
(i.(1) ADIPUTADO,ASM1= Asp produce (Amp)^(Asm') 1= (Asp)
(i.(2) AMP,ASM= ASp produce (AMp)^(Asm) = (ASp)
(i.(3) AMP,Asm= Rendimientos ASP (AmpMASm) = (ASP)
(i.(4) Adiputado,Asm= ASp produce (Amp)^(ASm) = (ASp)
(i.(5) ADIPUTADO,Am= AsP produce (Amp)B(asm) = (Asp)
(i.(6) AMP,Am= Asp produce (AMp)i(Asm) = (Asp)
(i.(7) AMP,Asm= AsP produce (Amp)i(Asm) = (AsP)
(i.(8) Adiputado,Asm= Asp produce (Amp)^(Asm) = (Asp)
(ii) Para el esquema (( () = ()
(ii.(1)
IDIPUTADO,AEM= I SP produce (I mp)B( a ms) = (I sp)
(ii.(2)
IMP,AEM= I Sp produce (I Mp)i( A ms) = (I Sp)
(ii.(3)
IMP,AEM= I SP produce (I mPM A ms) = (I Sp)
(ii.(4)
Idiputado,AEM= I Sp produce (ImpMA mS) = (I Sp)
(ii.(5)
IDIPUTADO,AEM= IsP produce (I mpM a Ms) = (I sp)
(ii.(6)
IMP,AEM= I sp produce (IMp)^A Ms) = (I sp)
(ii.(7)
IMP,AEM= Isp produce (Imp)^(Ams) = (IsP^
(ii.(8)
Idiputado,AEM= I sp produce (I mp)^ A ms) = (I sp)
(iii) Para el esquema () )) = ()
(iii.(1) ADIPUTADO,ISM= Isp produce (Amp)^(Ism) = (Isp)
(iii.(2) AMP,ISM= ISp produce (AMpW(Ism) = (ISp)
(iii.(3) AMP,Ism= ISP produce (AmP)^(ISm) = (Isp)
(iii.(4) Adiputado,Ism= ISp produce (Amp)^ISm) = (ISp)
(iii.(5) Adiputado,Im= IsP rinde (AMP)^ IsM) = (IsP)
(iii.(6) AMP,Im= Isp produce (AMp)^(Ism) = (Isp)
(iii.(7) AMP,Ism= Isp produce (Amp)^(Ism) = (IsP)
(iii.(8) Adiputado,Ism= Isp produce (Amp)^Ism) = (Isp)
(iv) Para el esquema (( )) = ()
(iv
-l) A MP, A MS = I SP produce(Amp)^ Imm)^ a ms) = (I sp)
(iv.2) A Mp, A ms = I Sp produce (AMpWtI mm)^ a ms) = (I Sp)
(iv.3) AmP, A mS = I SP produce (A mP)i( A ms) = (A MP)^( IMmMa Ms) = (I
Sp) (iv.4) A mp, A mS = I Sp produce (A mp)i( A ms) = (AMpWtIMM)^ a Ms) = (I
Sp) (iv.5) A mp, a Ms = IsP produce (Amp)^ Imm)^ a Ms) = (I sp )
(i
v.6) AMp, A Ms = I sp produce (AMp)^(IMM)^(a Ms) = (I sp)
(iv.7) AmP, A ms = IsP produce (AmpMA ms) = (AmpM Imm)0(a Ms) = (IsP)
Un cálculo esquemático de silogismos 57
(iv.8) A mp, A ms = I sp produce (A mp)^( A ms) = (A Mp)^( I MM)^( a Ms) = (I
sp)
Por el contrario, dejamos que el lector se convenza de que es suficiente proceder como ya
se hizo en Teoremas. 3.4 y3.7, es decir, construyendo inferencias silogísticas adecuadas
para una posible conclusión fija teniendo en cuenta tanto las sustituciones de doble
negación como las importaciones existenciales en las premisas. No basta con hacer esto
exclusivamente para Asp, Asp, Isp
e Isp, ya que por ejemplo Asp ahora se puede obtener como posible conclusión mediante
la inferencia silogística (Amp)^(Asm) 1= (Asp) así como mediante la inferencia
silogística (AmpW(ASm) = (Asp), en la que se produce una sustitución de doble
negación. □
Referencias
1. Corcoran, J.: Completitud de una lógica antigua. J. Symb. Registro. 37, 696–702 (1972)
2. De Morgan, A.: Sobre los símbolos de la lógica, la teoría del silogismo, y en particular de la cópula,
y la aplicación de la teoría de las probabilidades, a algunas cuestiones de evidencia. Trans. Camb.
Filos. Soc. 9, 79-127 (1851)
3. Englebretsen, G.: Diagramas lineales para silogismos (con relacionales). Notre Dame J. Formulario.
Registro. 33(1), 37–69 (1992)
4. Glazowska, K.: La estructura de silogismos válidos de n términos. Semental. Registro. 8, 249-257
(1958)
5. Hammer, E.: Razonamiento con frases y diagramas. Notre Dame J. Formulario. Registro. 35(1), 73–
87 (1994)
6. Hobart, ME, Richards, JL: La lógica de De Morgan. En: Manual de Historia de la Lógica, vol. 4,
Lógica británica en el siglo XIX, págs. 283–329. Elsevier, Ámsterdam (2008)
7. Lemon, O., Pratt, I.: Sobre la insuficiencia de diagramas lineales para silogismos. Notre Dame J.
Formulario. Registro. 39(4), 573–580 (1998)
8. Łukasiewicz, J.: La silogística de Aristóteles desde el punto de vista de la lógica formal moderna.
Clarendon, Oxford (1951)
9. Meredith, CA: Las figuras y estados de ánimo del silogismo aristotélico de n términos. Dominio.
Estudios 6, 4247 (1953)
10. Shin, S.-J.: Explicación teórica de la situación del razonamiento válido con diagramas de Venn. En:
Razonamiento lógico con diagramas. Semental. Computación lógica, vol. 6, págs. 81-108. Prensa de
la Universidad de Oxford, Nueva York (1996)
11. Smiley, TJ: ¿Qué es un silogismo? J. Filos. Registro. 2, 136-154 (1973)
12. Smyth, MB: Un tratamiento esquemático de la silogística. Notre Dame J. Formulario. Registro.
12(4), 483–488 (1971)
R. Pagnan (B)
DISI, Universidad de Génova, Génova, Italia
correo electrónico:ruggero.pagnan@disi.unige.it
Más allá de los silogismos: Carroll (marcado)
Diagrama cuadriliteral
Amirouche Moktefi
1 Introducción
Es bien sabido que el lógico Lewis Carroll inventó en la década de 1880 un esquema
esquemático original para resolver problemas silogísticos.6]. También se sabe que más
tarde describió una serie de diagramas lógicos que podrían usarse para resolver
problemas lógicos que involucran más de 3 términos [12, págs. 176-179]. Carroll publicó
muchos de estos problemas complejos conocidos como sorites. Curiosamente, sin
embargo, nunca imprimió ninguna solución esquemática de ellos. Una explicación
sencilla sería que podría haber tenido la intención de hacerlo en la segunda parte de su
Lógica simbólica, que nunca completó. Desafortunadamente, los fragmentos
supervivientes recopilados y publicados por William W. Bartley III en 1977 no
contienen ninguna solución esquemática a problemas lógicos de más de 3 términos,
mientras que contienen numerosos ejemplos resueltos simbólicamente o utilizando el
método de los árboles [4].
Sin embargo, una colección reciente de folletos de lógica de Carroll editada por
Francine Abeles, reprodujo un manuscrito donde Carroll resuelve un problema lógico
complejo que involucra cuatro términos con la ayuda de su método esquemático [3, pag.
59]. Ese manuscrito se reproduce como Fig. 1. Forma parte de 4 hojas de notas lógicas
que se conservan en la Colección Houghton (Biblioteca Pierpont Morgan, Nueva York),
una de las cuales contiene un texto fechado el 13 de septiembre de 1892 [10]. Este
manuscrito muestra un problema lógico en la parte superior derecha, un diagrama lógico5
de 4 términos en la parte superior izquierda y varios diagramas y fórmulas pequeños en5
56 A. Moktefi
la parte superior.
A. Moktefi, S.-J. Shin (eds.), Razonamiento visual con diagramas, Estudios de lógica universal, DOI
10.1007/978-3-0348-0600-8_4, © Springer Basilea 2013
Figura 1Diagrama cuadriliteral de Charles L. Dodgson. Reimpreso con autorización de © The Pierpont
Morgan Library, Nueva York. AAH 545, 2013
abajo. Carroll aborda aquí el problema de una manera inusual, incluso para quienes están
familiarizados con su método de diagramas. El objetivo de este artículo es darle sentido a
este manuscrito y explicar cómo Carroll resolvió este problema de 4 términos con sus
diagramas. Como tal, este estudio de caso podría proporcionar algunas luces sobre el uso
de diagramas para resolver soritas.
Figur
a2
xy xy'
x'y x'y'
Fig. 3
xymf xy soy'
xym xy soy
x'ym x'y'm
Figur
a4
I 0
figura 5
coloca el símbolo 'I' (de ocupación) en el límite entre esos dos compartimentos, como se
muestra en la Fig. 5[12, pag. 26].
Para encontrar la conclusión de un silogismo, Carroll primero representa los datos
expresados por las dos premisas en un diagrama triliteral. Sean las premisas: "Ningún m
es y" y "Algunas x son m". Su representación se muestra en la Fig.6. Al contrario de
Venn, que extrae la conclusión directamente de su diagrama de 3 términos, Carroll
transfiere los datos mostrados por el diagrama triliteral a un diagrama biliteral,
involucrando sólo los 2 términos que deberían aparecer en la conclusión (aquí x e y) y,
en consecuencia, eliminando los término medio (aquí m).
Más allá de los silogismos: diagrama cuadriliteral (marcado) de Carroll 59
– Regla A: Si el cuarto del diagrama triliteral contiene una 'I' en cualquiera de las celdas,
entonces ciertamente está ocupado, y se puede marcar el cuarto correspondiente del
diagrama biliteral con una 'I' para indicar que está ocupado.
– Regla B: Si el cuarto del diagrama triliteral contiene dos '0', uno en cada celda,
entonces ciertamente está vacío, y se puede marcar el cuarto correspondiente del
diagrama biliteral con un '0' para indicar que está vacío.
La aplicación de estas reglas aquí da la Fig.7, que sostiene la conclusión: “Algunos x no
son-y”, que se extrae del par de premisas dado. No debe subestimarse la importancia del
método de transferencia de Carroll, desconocido para Venn. Por sí solo muestra cómo
extraer la conclusión de las premisas de un silogismo.dieciséis, págs. 641–644].
Figur
a9 I
Figura 10
Figura 11
primero en el
Más allá de los silogismos: diagrama cuadriliteral (marcado) de Carroll 63
Figura 12Tomado del libro de Venn de 1894 [18]
Figura 14
Figura 16
fórmulas. Cuatro columnas están encabezadas por diagramas de dos términos, algunos de
los cuales ya se han analizado en la sección.2.2. A continuación, reconstruyamos el
problema original en el que estaba trabajando Carroll, comprobemos la exactitud de la
representación esquemática que proporcionó y, finalmente, extraigamos las conclusiones
que deberían extraerse de esas premisas.
El diagrama principal es cuadriliteral, lo que significa que tenemos un problema de 4
términos. Estos términos aparecen listados como a, b, cyd en la parte superior derecha
del manuscrito. También se nos dice que a se refiere a "patos", b a "valses", c a "oficial"
y d a "mis aves de corral". En el diccionario, aparecen tres proposiciones de dos términos
en forma de subíndice:
1. ab0
2. C1b'0
3. dia0
Estas proposiciones, dadas como premisas, pueden ser interpretadas fácilmente por
cualquier lector familiarizado con la notación lógica de Carroll. La introducción del
simbolismo en la lógica a partir del siglo XVIII hizo que varias notaciones compitieran [-
17]. Las primeras notaciones eran en su mayoría ecuacionales, como se puede ver en los
escritos de Boole y sus seguidores inmediatos William S. Jevons y Venn. Otros, como
Charles S. Peirce, Ernst Schröder y Hugh MacColl, apelaron más bien a notaciones
inclusivas o implicativas. Carroll exploró un camino diferente al introducir subíndices
para indicar el estado de una clase: "0" para el vacío y "1" para la existencia [1, 14].
Por ejemplo, la proposición “Ningún x es y” indica que la clase xy está vacía.
Entonces, simplemente se representa como: “xy0”. De manera similar, la proposición
“Algunas x son y” se representa como “xy1”. Proposiciones como “Todos los x son y”
son más complejas porque Carroll consideraba que afirmaban tanto la existencia de x
como el vacío de xy' (donde y' significa no - y). En consecuencia, los representó como “
x 1 y 0 ”, con los subíndices teniendo efecto desde el principio de la fórmula [12, pag.
72]. Gracias a estas convenciones, uno puede transformar fácilmente el trío de premisas
dadas en el manuscrito en las siguientes formas abstractas:
1. ninguna a es b
2. Todos los c son b
3. Todos los d son un
De nuevo, si reemplazamos las letras a, b, c y d como indica el diccionario, obtenemos el
problema original tal y como debía ser en forma concreta:
1. Ningún pato es un vals
2. Todos los oficiales son valses.
3. Todas mis aves son patos.
Figura
17 1 2 3 4
5 6 7 S
9 10 11 12
13 14 15 dieciséi
s
Figura
18 0 0 0
0 0 0 1
0 0 0 0
1 0
Encontrar la conclusión que se puede sacar de las premisas depende de los términos que
se quieran tener en la conclusión. Carroll intenta discutir todos los casos posibles: ab, ac,
ad, bc, bd y cd, siempre que se trate de proposiciones de dos términos. Estas son las 6
columnas que se pueden ver al final del manuscrito. Para llegar a las conclusiones,
Carroll procede del mismo modo que lo hizo con los silogismos. Para cada caso,
transfiere información a un nuevo diagrama de 2 términos donde se guardan solo los 2
términos que aparecen en la conclusión. Esos diagramas de dos términos se obtienen
simplemente eliminando las otras clases del diagrama cuadriliteral, como se muestra en
la figura. 19. Tenga en cuenta que Carroll no representó en su manuscrito los diagramas
de 2 términos en las columnas cuarta y quinta, correspondientes a los casos bc y bd
respectivamente.
La transferencia de información del diagrama cuatriliteral a cada uno de estos
diagramas de 2 términos se realiza de acuerdo con las mismas reglas que describimos
anteriormente en el funcionamiento de los silogismos. La idea es que un compartimento
está vacío sólo si se sabe que todas sus subdivisiones están vacías, y está ocupado si se
sabe que al menos una de sus subdivisiones está ocupada. Una vez que la información se
transfiere al diagrama de 2 términos apropiado, uno simplemente tiene que "leerla" allí.
Este último paso, por más simple que parezca, aún podría resultar bastante difícil para el
principiante que aún no está familiarizado con esos diagramas. No sólo los distintos
diagramas de dos términos tienen diferentes formas, sino que también un solo diagrama
puede contener más de una conclusión. Una solución que se podría seguir, aunque no
tenemos evidencia de que Carroll la haya usado alguna vez, es transferir nuevamente
información de cada
Carroll pasa por alto la tercera conclusión: ab0 (es decir, “Ningún a es b”), que en
combinación con las anteriores dan conclusiones finales: a1b0 (es decir, “Todos a son
no-b”) y b1a0 (es decir, “Todos b no son-b”). a ").
Carroll pasa por alto las conclusiones finales (combinadas): a1 c0 (es decir, “Todos a son
no-c”) y c1a0 (es decir, “Todos c no son-a”).
inclusiones: b1d0 (es decir, “Todos los b no son-d”) y d1b0 (es decir,
“Todos los d no son-b”).
6to CasoRetinendos: c, d ; Eliminandos: a , b .
0 I
0 0 I
Conclusiones de Carroll: cd0 (es decir, “ningún c es d”), cd[ (es decir, “algunos c no
son - d”) y c' d 1 (es decir, “algunos no-c son d”).
Carroll señaló que la combinación de las dos primeras conclusiones da c1d0 (es decir,
"Todos los c no son-d"). Sin embargo, pasa por alto el hecho de que la combinación de la
primera y la tercera conclusión también da d1c0 (es decir, “Todos los d no son-c”).
3.4 Variaciones simbólicas
Ahora que hemos dado una solución completa al problema lógico que estamos
considerando, observamos que Carroll no llegó tan lejos y que muchas de sus
70 A. Moktefi
tal, de acuerdo con la teoría de la importación existencial de Carroll, esta nueva premisa
ya no afirma la existencia de “funcionarios” (es decir, el término c). Por tanto, ninguna
de las premisas afirma la existencia de c, mientras que la conclusión (1) sí lo hace. De
ello se deduce que la conclusión (1) no es válida. Eliminar la importación existencial de
la conclusión (1) la convertiría en:
(3) “No c es d” (“Ningún oficial es mi ave de corral”).
Sin embargo, enumerar la conclusión (3) es superfluo porque su información ya está
contenida en la conclusión (2).
En realidad, hay una segunda modificación menor que Carroll hizo en la expresión
del problema tal como aparece en Symbolic Logic. De hecho, cambió las letras b y d en
su diccionario, haciendo que b signifique "mis aves de corral" y d "dispuesto a bailar el
vals". Este cambio no parece implicar ninguna consecuencia en la solución simbólica del
problema. Por supuesto, Carroll llegó a una conclusión que contenía las letras b y c, en
lugar de c y d como lo hicimos nosotros. Pero esto es puramente anecdótico porque una
vez que se aplica el diccionario, obtenemos términos concretos similares.
Sin embargo, es digno de mención que este cambio entre las letras b y d tiene una
consecuencia práctica cuando se trata de resolución de diagramas. De hecho, la selección
del diagrama de dos términos a utilizar depende de qué términos vamos a mantener en la
conclusión. Por lo tanto, buscar la relación entre b y c, en lugar de c y d, impide utilizar
el diagrama de la sexta columna, que resultó ser la única que no tiene clases continuas.
De hecho, a diferencia de los otros diagramas de 2 términos que dividen el universo en
cuatro subdivisiones cada uno, el sexto diagrama tiene 6 subdivisiones. La razón es que
los compartimentos c no-d y d no-c están formados por dos áreas discontinuas cada uno,
lo que hace que ese diagrama sea más difícil de utilizar.
(4) Conclusión
En este artículo, intentamos darle sentido a un manuscrito en el que Carroll resolvió un
problema de lógica con su diagrama cuadriliteral. Otra lectura posible, aunque
improbable, del manuscrito sugeriría que Carroll en realidad no resolvió ese problema de
forma esquemática. De hecho, no representó los dos diagramas de dos términos que
deberían haberse dibujado encima de las columnas 4 y 5. Esta objeción no se sostiene
porque Carroll no proporcionó ninguna conclusión para esos casos, ni esquemática ni
simbólica. Por lo tanto, es probable que abandonara el problema allí. Una objeción más
fuerte a nuestra lectura es que Carroll no transfirió ninguna información del diagrama
cuatriliteral a los diagramas de 2 términos en las columnas 1, 2, 3 y 6. Entonces, las
conclusiones no se representan esquemáticamente en ninguna parte, mientras que se
expresan explícitamente simbólicamente. en cada columna. Por lo tanto, es posible que
Carroll haya utilizado esos diagramas sólo como herramientas heurísticas en algún
momento antes de proceder simbólicamente, en lugar de llevar a cabo un razonamiento
esquemático propiamente dicho. En realidad, el cuaderno de lógica de Carroll en la
Colección Parrish (Biblioteca de la Universidad de Princeton), que aparentemente usó
alrededor de 1890, contiene de hecho algunos diagramas cuadriliterales marcados que
parecen acompañar simplemente soluciones que eran bastante simbólicas en sí mismas [-
8]. Sin embargo, a diferencia de ese cuaderno, nuestro manuscrito no muestra ningún
método simbólico. Entonces, ¿cómo procedió Carroll en la práctica para llegar a esas
conclusiones?
Una posibilidad obvia es que utilizó otras hojas (faltantes) para hacer cálculos. Sin
embargo, esto es válido tanto para los métodos diagramados como para los simbólicos, y
72 A. Moktefi
aquí no hay forma de privilegiar un método sobre el otro. Otra posibilidad es que Carroll
representara las premisas en el diagrama cuadriliteral, enumerara los seis casos, dibujara
para cada caso el diagrama de 2 términos correspondiente para visualizar qué áreas
debían considerarse y luego extrajera las conclusiones mentalmente. Esto puede parecer
incómodo para el lector que no esté familiarizado con esos diagramas. Sin embargo,
Carroll estaba acostumbrado a resolver problemas lógicos con sus diagramas y, además,
también estaba capacitado para resolver mentalmente problemas complejos, ya que
publicó un conjunto completo de problemas de este tipo para pensar durante las “noches
de insomnio” [11]. Si Carroll resolvió este problema de la manera que acabamos de
describir, nada nos impide considerarlo todavía como un razonamiento esquemático,
incluso si esos diagramas fueran sólo imágenes mentales y no tinta sobre papel. Estas
especulaciones sobre el verdadero estatus esquemático de la solución de nuestro
manuscrito no deberían hacernos olvidar que Carroll ciertamente sabía cómo proceder, y
muy probablemente procedió, de la forma en que lo hicimos nosotros en nuestra
discusión. Esto se evidencia en los dos diagramas de una circular de 1890 a la que
aludimos en la sección.2.2.
Ahora, una mirada a la solución de Carroll a nuestro problema en su Lógica simbólica
muestra que sólo necesita una línea para resolverse simbólicamente, mientras que la
solución esquemática del manuscrito requiere mucho más tiempo, espacio y trabajo. Ya
explicamos en nuestra discusión de este manuscrito que Carroll debió abandonar su
trabajo en algún momento y nunca terminar su solución esquemática. Además,
observamos que Carroll proporcionó más tarde una solución simbólica a este problema
en su Lógica Simbólica, mientras que nunca publicó ninguna solución esquemática a
ningún problema que involucrara más de 3 términos. Un atajo fácil podría llevarnos a
pensar que esto ilustraría la superioridad de los métodos simbólicos sobre los diagramas.
Esto sería engañoso porque Carroll nunca abandonó los métodos diagramados para
problemas complejos. En el apéndice de la primera parte de Lógica simbólica, describió
varios diagramas para problemas que involucran hasta 10 términos [12, pag. 179]. Como
explicamos anteriormente, Carroll nunca logró terminar y publicar la segunda parte, por
lo que no sabemos si allí las habría aprovechado o no. Es cierto que cuando aumenta el
número de términos, los diagramas se vuelven más complejos y difíciles de entender. Por
lo tanto, es comprensible que los lógicos, incluido Carroll, prefieran otros métodos para
problemas que involucran más de, digamos, 6 o 7 términos. Sin embargo, nuestro
manuscrito no trata sobre este tema porque el problema que analiza tiene solo 4
términos, lo cual aún es viable en forma de diagrama.
Hicimos las observaciones preliminares anteriores para disipar algunas ideas erróneas
que podrían desviarnos en esta conclusión de lo que creemos que es el tema principal
aquí. Además del uso de un método esquemático para resolver el problema en el
manuscrito, el punto interesante es precisamente la idea de Carroll de lo que es un
problema lógico. De hecho, Carroll busca allí todas las conclusiones posibles en cuanto a
la relación entre dos términos cualesquiera involucrados en el argumento. Hasta donde
sabemos, Carroll nunca reelaboró de esta manera su Lógica Simbólica, ni siquiera con
sus métodos simbólicos. En la solución del subíndice que describimos brevemente en la
Sección.3.4, Carroll discutió sólo un caso (el sexto), mientras que exploró seis casos en
el manuscrito. Por lo tanto, no tiene sentido comparar los dos métodos, porque Carroll
estaba siguiendo dos caminos diferentes. Si tuviéramos que discutir simplemente un
caso, después de determinar qué términos deberían estar en la conclusión como se hizo
en el ejemplo de la Sección.2.3, el método esquemático sería perfectamente apropiado,
fácil, eficaz y fiable.
AgradecimientosEste trabajo se benefició enormemente de las conversaciones con muchas personas, en
particular Francine Abeles, Anthony Edwards, Mark Richards y Edward Wakeling, a quienes expreso mi
Más allá de los silogismos: diagrama cuadriliteral (marcado) de Carroll 73
gratitud. Este artículo se basa en un trabajo financiado por una beca de investigación de The Friends of
the University.
de la biblioteca de Princeton. Finalmente, expreso mi agradecimiento a los archiveros que me ayudaron
a consultar el material utilizado en la Biblioteca Pierpont Morgan (Nueva York) y la Biblioteca de la
Universidad de Princeton.
Referencias
1. Abeles, FF: La lógica formal de Lewis Carroll. Historia. Filos. Lógica 26 (1), 33–46 (2005)
2. Abeles, FF: La lógica visual de Lewis Carroll. Historia. Filos. Lógica 28 (1), 1-17 (2007)
3. Abeles, FF (ed.): Los folletos de lógica de Charles Lutwidge Dodgson y piezas relacionadas.
Sociedad Lewis Carroll de América del Norte, Nueva York (2010)
4. Bartley, WW III (ed.): Lógica simbólica de Lewis Carroll. Clarkson N. Potter, Nueva York (1977)
5. Boole, G.: Una investigación de las leyes del pensamiento. Walton y Maberly, Londres (1854)
6. Carroll, L.: El juego de la lógica. Macmillan, Londres (1887)
7. Carroll, L.: Quinto artículo sobre lógica. Colección Parrish, Biblioteca de la Universidad de
Princeton, Dodgson 431 (1887)
8. Carroll, L.: Geometría algebraica. Computadora portátil. The Parrish Collection, Biblioteca de la
Universidad de Princeton, caja 1, carpeta 1 (¿1890?)
9. Carroll, L.: Dos diagramas. Colección Parrish, Biblioteca de la Universidad de Princeton, Dodgson
224 y 225 (¿1890?)
10. Carroll, L.: Notas y cálculos sobre problemas de lógica simbólica. Colección Houghton, Biblioteca
Pierpont Morgan, Nueva York, AAH545 (¿1892?)
11. Carroll, L.: Problemas de almohadas. Macmillan, Londres (1893)
12. Carroll, L.: Lógica simbólica—Parte I, 4ª ed. Macmillan, Londres (1897)
13. Marquand, A.: Diagramas lógicos para n términos. Filos. revista 12, 266–270 (1881)
14. Moktefi, A.: La lógica de Lewis Carroll. En: Gabbay, DM, Woods, J. (eds.) La lógica británica en el
siglo XIX, págs. Holanda Septentrional, Ámsterdam (2008)
15. Moktefi, A., Edwards, AWF: Una clase más: Martin Gardner y los diagramas lógicos. En: Burstein,
M. (ed.) Un ramo para el jardinero: Martin Gardner recordado, págs. Sociedad Lewis Carroll de
América del Norte, Nueva York (2011)
16. Moktefi, A., Shin, S.-J.: Historia de los diagramas lógicos. En: Gabbay, DM, Pelletier, FJ, Woods,
J. (eds.) Lógica: una historia de sus conceptos centrales, págs. Holanda Septentrional, Ámsterdam
(2012)
17. Venn, J.: Sobre las diversas notaciones adoptadas para expresar las proposiciones comunes de la
lógica. Proc. Camb. Filos. Soc. 4, 36–47 (1880)
18. Venn, J.: Lógica simbólica, 2ª ed. Macmillan, Londres (1894)
19. Wakeling, E. (ed.): Diarios de Lewis Carroll, vol. 8. Sociedad Lewis Carroll, Clifford (2004)
A. Moktefi (B)
IRIST, Université de Strasbourg, 7 Rue de l'Université, 67000 Estrasburgo, Francia
correo electrónico:moktefi@unistra.fr
Un puente esquemático entre la lógica estándar y la
no estándar: el segmento numérico
Fernando Cavaliere
En la lógica clásica los contrarios son siempre dos: vienen en pares, ya sea de términos
(predicados) o de predicaciones universales. Por definición, es imposible que los
contrarios subsistan juntos, pero son posibles "intermedios" o "medios" entre dos
contrarios. Por tanto, el gris puede considerarse un intermedio entre el blanco y el negro.
Puede haber más de un intermedio, como pálido, entre el blanco y el negro. Tales
intermediarios siempre representan una privación parcial de las propiedades extremas, en
el sentido de que los dos contrarios correspondientes representan la diferencia máxima
(perfecta o completa). Así, al utilizar una metáfora, los extremos de un segmento de recta
son los dos puntos máximamente distantes entre sí.
A. Moktefi, S.-J. Shin (eds.), Razonamiento visual con diagramas, Estudios de Lógica Universal,73
DOI 10.1007/978-3-0348-0600-8_5, © Springer Basilea 2013
74 F. Cavaliere
Yba
Figura 1El segmento distintivo
Como podemos deducir de Blanché [4, 5], es la conjunción (aquí simbolizada por “*”)
de los dos particulares la que forma el intermedio entre los dos universales contrarios. Lo
"parcial", basado en el cuantificador "sólo algunos" (o "existencial exclusivo"
simbolizado por Y), es el intermedio natural entre los universales contrarios. Sin
embargo, la silogística aristotélica, y con ella la silogística clásica estándar del mundo
occidental, tomaría un rumbo diferente. De hecho, el predicado "parcial" no se tomará en
consideración hasta el siglo XVIII, con Ploucquet o von Holland.XXV
En la Fig.1, junto a las fórmulas se encuentran los siete diagramas de Venn
correspondientes para todas las relaciones posibles entre pares de conjuntos (definidos
contextualmente) que forman el conjunto asociado
XXVITodos los conjuntos en cuestión son distintos del universo de objetos u y del conjunto nulo [3,
págs. 53–55]. En los casos 5 y 7, u coincide con la unión de los dos conjuntos b y a, siendo la diferencia
que, en el caso 7, b es el complemento de a en u. En los otros cinco casos, u está representado por el
marco rectangular. Se observa que tal distribución mutuamente excluyente entre los tipos de
proposiciones no es posible en el clásico cuadrado de oposición. Los 7 tipos de proposiciones ya se
pueden encontrar en De Morgan [8, págs. 65-67] que las llamó proposiciones complejas y simbolizadas
por D - D, - D' - P - C' - C, - C (respectivamente para nuestros casos del 1 al 7). En la misma obra, De
Morgan hace uso de segmentos (o letras dispuestas en filas) para ilustrar proposiciones [8, págs. 61, 79,
81–82, etc.]. Después de De Morgan, Keynes y otros lógicos identificaron los 7 casos. Ninguno de ellos
(incluido De Morgan) utilizó el cuantificador “parcial”.
XXVIILo mismo ocurre con las siguientes Figs.2y3, mientras que en las Figs.4,5y6, los colores tienen la
función de subrayar.
XXVIIISobre esta base hemos construido los cálculos distintivos triangulares y hexagonales [7, págs.
242-246]. Las leyes conocidas de inferencia inmediata ahora se han ampliado con la equivalencia de los
dos anversos Y: Yba = Yba' (donde a' representa el complemento de a en u). El lógico ruso NA Vasil'ev
desarrolló una lógica verdaderamente tripartita como la que acabamos de esbozar. En 1910 la llamó
Lógica de las nociones. Además de los tipos de proposiciones que llamó "generales" (es decir, nuestro
"universal"), postuló el tipo "accidental", y los "juicios" podían ser no sólo afirmativos o (internamente)
negativos, sino también indiferentes. Ver Seuren [22] y Suchon [23] sobre esquemas triangulares,
Blanché [4] y Béziau [2] para desarrollos de esquemas hexagonales.
76 F. Cavaliere
Figura 2NS de un predicado singular Ibla IbOa
máximo=A U®]= E = min = Ibla'
=
= lb Oa'
XXIXEl acrónimo “alo” está tomado de una charla de J.-Y. Béziau (en el Congreso “La lógica ahora y
entonces”, Bruselas, 5 al 7 de noviembre de 2008).
Un puente esquemático entre lógicas estándar y no estándar 77
al menos uno (unja)
=> mín.=43 2 1|0
(4 o 3 o 2 o 1)>1
como mucho
todoexceptouno(amalleo)
4 |3 2 1~= < máx.=0
p o 2 o 1 o 0)<3
XXXEl cuadrado no agota las combinaciones posibles. Por ejemplo, no contiene aquellos con
cuantificadores/intervalos discontinuos, o aquellos que carecen de extremos, como los que tienen varios
cuantificadores intermedios entre ellos.
78 F. Cavaliere
Figura 6Doble NS
2.2 NS y trivalencia
Higo.9). Si considera solo el resultado mínimo de entre los resultados dados, el NS final
será el primero. Aunque solo sea el máximo, será el segundo. Si eliges un resultado
intermedio (media), será el tercero. Finalmente, puedes decidir tomar un punto de vista
específico como el único relevante, eliminando cualquier otro punto de vista (el NS
inferior).
3 Conclusión
La NS es un diagrama simple, una transposición gráfica de algunos conceptos de la
Lógica Distintiva elaborados por el autor. Es una estructura que puede representar
muchos tipos de predicados naturales: categóricos, singulares, numéricos, difusos y
paraconsistentes. Su iconicidad simplifica el análisis de muchas proposiciones
compuestas y abre el camino a métodos visuales adicionales para el razonamiento
estándar o no estándar.
Referencias
1. Aristóteles: Metafisica (traducción italiana de G. Reale, con el texto griego al frente). Bompiani,
Milán (2004)
2. Béziau, J.-Y.: El poder del hexágono. Lógica Univers. 6(1–2), 1–43 (2012)
3. Bird, O.: La silogística y sus extensiones. Prentice Hall, acantilados de Englewood (1964)
4. Blanché, R.: Structures Intellectuelles: Essai sur l'Organisation Systematique des Concepts. Vrin,
París (1966)
5. Blanché, R.: La logica e la sua storia da Aristotele a Russell (traducción italiana de A. Menzio).
Astrolabio-Ubaldini, Roma (1973)
6. Carnes, RD, Peterson, PL: Cuantificadores intermedios vs porcentajes. Notre Dame J. Formulario.
Registro. 32(2), 294–306 (1991)
7. Cavaliere, F.: Silogismos difusos, cuadrado numérico, triángulo de contrarios, interbivalencia. En:
Beziau, JY, Jacquette, D. (eds.) Alrededor y más allá de la plaza de oposición, págs. Springer,
Basilea (2012)
8. De Morgan, A.: Lógica formal o cálculo de inferencia, necesaria y probable. Taylor y Walton,
Londres (1847)
9. Gardner, M.: Máquinas lógicas y diagramas, 2ª ed. Prensa de la Universidad de Chicago, Chicago
(1982)
10. Hacker, EA, Parry, WT: Silogismos booleanos numéricos puros. Notre Dame J. Formulario.
Registro. 8(4), 321–324 (1967)
11. Hamilton, W.: Conferencias sobre metafísica y lógica, vol. 4. Blackwood, Edimburgo (1866)
Un puente esquemático entre lógicas estándar y no estándar 81
12. Harley, R.: El demostrador Stanhope. Mente 4, 192–210 (1879)
13. Horn, LR: Una historia natural de la negación. Prensa de la Universidad de Chicago, Chicago
(1989)
14. Kosko, B.: Pensamiento difuso: la nueva ciencia de la lógica difusa. Hyperion, Nueva York (1993)
15. Lambert, JH: Nuovo Organo (traducción italiana de R. Ciafardone). Laterza, Bari (1977)
16. Lenzen, W.: La 'refutación' de Ploucquet de la tradicional plaza de oposición. Lógica Univers. 2,
43–58 (2008)
17. Moretti, A.: La geometría de la oposición lógica. Tesis doctoral, Universidad de Neuchatel, Suiza
(2009)
18. Murphree, WA: Numéricamente excepcional: una reducción del silogismo clásico. Peter Lang,
Nueva York (1991)
19. Murphree, WA: Lógica de términos numéricos. Notre Dame J. Formulario. Registro. 39(3), 346–
362 (1998)
20. Pfeifer, N.: Silogística contemporánea: silogismos comparativos y cuantitativos. En: Kreuzbauer,
G., Dorn, G. (eds.) Argumentación en Theorie und Praxis: Philosophie und Didaktik des
Argumentierens, págs. LIT, Viena (2006)
21. Sesmat, A.: Lógica. Hermann, París (1951)
22. Seuren, PAM: La lógica del lenguaje. Lenguaje desde dentro, vol. 2. Prensa de la Universidad de
Oxford, Oxford (2010)
23. Suchon, W.: Vasil'iev: ¿qué hizo exactamente? Registro. Registro. Filos. 7, 131-141 (1999)
24. Zadeh, LA: Un enfoque computacional para cuantificadores difusos en lenguajes naturales.
Computadora. Matemáticas. Aplica. 9(1), 149–184 (1983)
F. Cavaliere (B)
V. della Libertà 5, 47042 Cesenatico (FC), Italia
correo electrónico:cavaliere.ferdinando@gmail.com
Razonamiento esquemático con clases y relaciones
1 Introducción
La visualización y el razonamiento esquemáticos son cada vez más importantes debido al
aumento de aplicaciones que requieren ontologías y especificaciones a gran escala. La
visualización esquemática también se ve impulsada por la disponibilidad de dinámicas de
pantalla de computadora.
Consideramos la visualización esquemática y el razonamiento para una lógica de
relación de clases, CRL, que se logra visualmente al extender los diagramas de Euler con
higrafos [18], una tradición examinada en [19]. Los diagramas ofrecen principios de
inferencia atractivos e intuitivos inherentes al formalismo visual. Los diagramas están
destinados a facilitar el razonamiento asistido por ordenador, en particular también para
la ingeniería ontológica a gran escala.
La principal motivación pragmática y desiderata son los siguientes:
• La ingeniería ontológica formal y el modelado de dominios requieren fragmentos de
lógica de predicados adecuadamente adaptados.
• Es preferible que las especificaciones se presenten en forma de diagramas, como
alternativa a las oraciones. Las capacidades de razonamiento deductivo que las
acompañan deben reflejarse en los diagramas de forma intuitiva.
• Las posibilidades que ofrece la pantalla del ordenador para una visualización flexible
y dinámica deberían aprovecharse para la gestión de especificaciones de gran
tamaño.
A. Moktefi, S.-J. Shin (eds.), Razonamiento visual con diagramas, Estudios de Lógica Universal,83
DOI 10.1007/978-3-0348-0600-8_6, © Springer Basilea 2013
84 J. Fischer Nilsson
Lógica de relación de clases, CRL [9], se ocupa de las clases c,d,... de una colección
finita de clases C y de las relaciones binarias entre clases r,... de una colección finita R.
Las clases se tratan de manera intensional, pero pueden entenderse de manera extensiva
como conjuntos con nombre de personas que se encuentran, entre otras cosas, en
relaciones de inclusión de clase.
La forma de relación lógica principal de CRL es la llamada forma ∀∃, explicada en
lógica de predicados como
Vx(c(x) a 2y (r(x, y) A d(y)))
Vx(c(x) ad(x)
2.1 Formas de
diagramas CRL para el∀∃-Relación
V
3 3x(c(x)A 3y(d^y) K r(xxy)))
Se supone que las clases en C no están vacías. Por tanto, no existe la noción de clase
vacía en la forma actual de CRL. Insistencia en que las clases no estén vacías, como en la
lógica aristotélica, es decir, adopción de una importancia existencial, cf. p.ej [28],
simplifica el sistema de inferencia.
Además, la suposición de clases no vacías permite especificar la intersección
(superposición) de dos clases c y d simplemente postulando la presencia de una clase
(por lo tanto, no vacía) incluida en c y d. Complementariamente, la desunión (exclusión)
de dos clases cyd se expresa por la ausencia de una clase de inclusión común junto con la
apelación al supuesto de mundo cerrado.
En nuestra configuración lógica, el supuesto del mundo cerrado puede explotarse
computacionalmente en el nivel metalógico mediante una apelación no monótona a la
falta de demostración. En total, de esta manera la forma de inclusión de la relación ∀∃, es
decir
Vx(c(x) ^ d(x))
permite expresar las tres relaciones clase-clase ontológicamente fundamentales, a saber.
inclusión, superposición y exclusión de clases como se conoce en los diagramas de
Euler.
Los principios de razonamiento a nivel esquemático se plasman en las siguientes
reglas para las relaciones clase-clase:
• Herencia: Un punto final ∀ se extiende como punto final ∀ hasta las cajas interiores.
Esto se aplica de forma recursiva a las cajas anidadas.
• Generalización: Un punto final ∃ de una caja actúa también como punto final ∃ para
88 J. Fischer Nilsson
donde estos últimos se entienden como derivados de inclusión de clase de ∀∃. De ello se
deduce implícitamente que los gatos y los perros están separados por la ausencia de una
subclase común. Por el contrario, presumiblemente habría una subclase conjunta para los
dueños de gatos y perros, cf. Higo. 3.
Se considera que los conjuntos de extensión de clases reales no tienen importancia
ontológica. Sin embargo, los individuos distinguidos pueden ser elevados para
convertirse en clases únicas adicionales.
En una ontología biomédica uno podría tener relaciones de muestra ∀∃
naturales simples como se indica en la Fig.6. Los determinantes que pueden omitirse sin
que surja ambigüedad aparecen entre paréntesis.
Estas formas estilizadas complementan los diagramas CRL para usuarios que no están
familiarizados con la explicación lógica de predicados subyacente.
90 J. Fischer Nilsson
Figura 6Las cuatro
formas del lenguaje [cada] cr cada d
[cada] cr [algunos] d
algo de cr cada d
algunos cr [algunos]
d
5.1 Cajas
Las cajas están etiquetadas de forma única con el nombre de su clase. El nombre puede
omitirse en la interpretación si es irrelevante en el diagrama considerado.
Fundamentalmente, la inclusión topológica del cuadro c en el cuadro d en un
diagrama expresa la relación de subclase (inclusión de clase) correspondiente a la
proposición Vx(c(x) ^2y(x = y A d(y))), es decir Vx(c (x) ^ d(x)). Así, las cajas se
parecen a los contornos de los diagramas de Euler. En consecuencia, cualquier par de
cajas posee las propiedades topológicas de estar disjuntas, parcialmente superpuestas o
una incluida en la otra.
Sin embargo, una superposición topológica/geométrica entre dos cuadros, a diferencia
de los contornos de los diagramas de Euler, no es un cuadro (clase) en sí mismo en CRL.
Por lo tanto, se supone que dicha superposición abarca una o más casillas para clases que
pertenecen a la superposición de clases. Dualmente, la unión de las cajas no forma por sí
misma una caja. Esto está de acuerdo con el principio ontológico de que las categorías
cruzadas son aceptables, a diferencia de los posibles universales formados por
disyunción o complementación, cf. [2], como se analiza también en [7]. Como tal, el uso
del diagrama difiere del uso común de los diagramas de Euler-Venn; para este último
Razonamiento esquemático con clases y relaciones 91
Por convención, los cuadros se representan en “estilo de menú” (con submenús), como
aparece en la Fig.9.
La relación de inclusión subyacente, isa, es un orden parcial. Sin embargo, no es una
red ya que la unión y la intersección (correspondientes a la red supremum e infimum) no
son clases CRL en general. Para clases que se cruzan debe haber al menos una subclase
común con nombre en cualquier superposición, cf. Higo. 10, ya que por convención,
como se mencionó, se asume la desunión a menos que exista una subclase conjunta.
Los arcos de relación son bordes dirigidos (arcos) que se extienden de cajas a cajas o
puntos ∃. Están etiquetados (no necesariamente de forma única) con la relación
pertinente, de modo que una relación
Razonamiento esquemático con clases y relaciones 93
Figura 11Zoom
rPuede etiquetar cualquier número de arcos. Un arco etiquetado como r desde un cuadro
o 2 puntos hasta un cuadro o 2 puntos representa una relación clase-clase de una de las 4
formas básicas. Puede haber cualquier número de arcos entre un par de cajas. El tipo
lógico de una relación está determinado por las convenciones de dibujo de la Fig.5. Estas
convenciones sirven para facilitar el razonamiento de diagramas.
Un punto ∃ toma el nombre de su caja circundante. Sólo sirve en relaciones con
cuantificadores ∃. Como tal, representa algún (uno o más) miembro(s) no especificado(s)
de su clase. El tipo de cuantificador de un arco de relación sigue las convenciones de la
Fig.5, donde un cuantificador existencial se indica mediante un punto final ∃ dentro de
un cuadro.
Los diagramas CRL pueden resultar más útiles para ontologías a gran escala con muchas
clases proporcionando dinámicas de visualización de diagramas. Esto se logra
considerando metafóricamente los diagramas CRL como contrapartes lógicas de los
mapas de carreteras, que se extienden fuera de la pantalla. En consecuencia, el punto
focal se puede mover hacia la izquierda y hacia la derecha y hacia arriba y hacia abajo
para visualizar partes relevantes del diagrama, complementado con acercamientos y
alejamientos.
La función de zoom implica que todos los cuadros de un diagrama se hacen
simultáneamente expandibles/contraíbles para fines de navegación, cf. Higo.11. Se puede
abrir/ampliar una caja para revelar cajas internas con arcos concomitantes. Por el
contrario, una caja puede reducirse a sólo su nombre, o a nada. Los arcos de relación
desaparecen según las convenciones apropiadas cuando las cajas disminuyen (cf. el
principio de la hoja de ruta). La dinámica debe cumplir con los principios de inferencia
esquemática, que a su vez reflejan las inferencias lógicas admisibles.
Los diagramas tienen contrapartes lógicas que toman la forma de una colección finita de
oraciones fácticas básicas lógicas predicadas denominadas formas metalógicas isa(, ) y
Q1Q 2 (, , ). En esta sección describimos cómo razonar con las 4 oraciones básicas de
relación de clases que comprenden 2 Los cuantificadores se pueden realizar en lógica de
predicados utilizando estas formas metalógicas. Este enfoque metalógico está inspirado
en nuestra propuesta de programación lógica combinatoria en [dieciséis] perseguido en
[7, 10]. Esta sección sirve para especificar lógicamente las reglas de razonamiento
esquemático introducidas en la Sección. 3.
Se supone que todas las clases no están vacías: 2xc(x) para todos ce C. Esta
suposición de que no están vacías sirve para simplificar las reglas de razonamiento y
prever la superposición de clases mediante la introducción de una subclase común. No
94 J. Fischer Nilsson
tiene otra relación dentro de la CRL ya que las clases se conciben intencionalmente en
sus relaciones con otras clases, de modo que su extensión es irrelevante en la perspectiva
ontológica.
En la metalógica, una relación V2(c,r,d) se concibe como una fórmula atómica con un
símbolo predicado V2. Lo mismo ocurre con las otras relaciones. Las reglas de
inferencia correspondientes
a CRL en la metalógica se reforman como cláusulas definidas. Las mayúsculas indican
variables cuantificadas universalmente.
Para la relación de inclusión entre clases estipulamos además reflexividad y
transitividad.
isa(X, X)
isa(X, Z)— isa(X, Y) A isa(Y, Z)
La inclusión en ambos sentidos de un par de clases se descarta en los diagramas por
razones topológicas. En consecuencia, la relación isa forma un orden parcial, siendo
reflexiva, antisimétrica y transitiva.
Las siguientes reglas de herencia, generalización y debilitamiento de la
Sección.3expresa el principio de que las clases pueden especializarse en subclases para V
y generalizarse a clases superiores para 2.
herencia de relación
V2(C',R,D) — V2(C,R,D) A isa(C',C) 2V(C, R, D') —
2V(C,R,D) A isa(D', D) VV(C',R,D) — VV(C,R,D) A isa(C',C)
VV(C, R, Dz) — VV(C,R,D) A isa(D' ,D)
Generalización de relaciones:
V2(C,R,D') — V2(C,R,D) A isa(D,D') 22(C',R,D) — 22(C,R,D)
A isa(C, CQ 22(C, R, D') — 22(C,R,D) A isa(D, D') 2V(C',R,D)
— 2V(C,R,D) A isa(C, CQ
Las reglas de debilitamiento ideadas expresan además que V se puede debilitar a 2,
siendo las clases no vacías.
Debilitamiento del cuantificador:
V2 (X,R,Y) — VV (X,R,Y)
2V (X,R,Y) — VV (X,R,Y)
22 (X,R,Y) — V2 (X,R,Y)
22 (X,R,Y) —2V (X,R,Y)
Notamos de paso que los patrones de inferencia anteriores reflejan la noción de
monotonicidad en la lógica natural discutida en [28].
Para casos de relaciones inversas introducidas explícitamente, introducidas, digamos,
por inv(r, r'), postulamos:
VV(D, R',C) — VV(C,R,D) A inv(R, RQ 22( D, R' ,C) — 22
(C,R,D) A inv(R, Rz) V2 ( D, R' ,C) — 2V (C,R,D) A inv (R, R')
Estas reglas para inversas no se reflejan naturalmente en las reglas de los diagramas
CRL, pero requieren convenciones de diagramas ad hoc para agregar arcos adicionales
para las inversas introducidas.
96 J. Fischer Nilsson
Figura 12Ejemplo de bioontología
Superposición de clases:
superposición (Y, Z)<- isa(X, Y) A isa(X, Z)
Por el contrario, la falta de unión de clases en los diagramas CRL se expresa por la
ausencia de una subclase común. Lógicamente esto se consigue apelando al principio del
mundo cerrado
disjunto(Y, Z)— Superposición Z (Y, Z)
donde Z representa la negación como falta de prueba. La formulación dentro de
DATALOG^ ofrece la ventaja de que el cálculo con las reglas de inferencia se puede
emular como una consulta de una base de datos relacional donde se almacenan las
representaciones metalógicas de CRL como hechos atómicos fundamentales, cf. [9].
El fragmento de registro de datos de la lógica de predicados cae dentro de la subclase
Bernays-Schönfinkel y, por tanto, es efectivamente proposicional y, por tanto, decidible.
La forma proposicional se puede lograr instanciando sistemáticamente las variables en
las cláusulas definidas con el conjunto finito de constantes disponible en C ∪ R, y luego
reconcebir las fórmulas atómicas fundamentales resultantes como símbolos
proposicionales.
isa(páncreas, endogland)
isa (insulina, hormona)
V2 (endogland, secretos, hormona)
V2 (páncreas, secreciones, insulina)
Como muestra de deducibles hay
V2 (páncreas, secreciones, hormonas)
obtenido de las reglas de inferencia anteriores ya sea por herencia de propiedad o por
generalización de propiedad, y
22 (endogland, secreciones, insulina)
obtenido por debilitamiento de un cuantificador universal.
Razonamiento esquemático con clases y relaciones 97
Considere una clase c' que posee todas las propiedades atribuidas de una clase c,
aunque posiblemente en forma especializada. Esto no implica lógicamente per se que c'
sea una subclase de c, isa(c',c). Sin embargo, si se toma como definición (si y sólo si) el
conjunto completo de propiedades atribuidas a una clase c en forma de relaciones de
salida, entonces c' seguramente será una subclase de c en lo que podría denominarse
inclusión intensional. . Lo que está en juego aquí es la distinción entre proposiciones
analíticas (definicionales) y sintéticas (es decir, empíricas, observacionales), una
distinción que se produce aquí mediante una definición adicional si con el conjunto de
propiedades atribuidas como premisa.
Lógicamente, este principio de analiticidad, si se desea, podría lograrse con una regla
de inferencia de analiticidad establecida con una clase c como pivote y c' como subclase
candidata.
Como ejemplo, supongamos que "dueño de una mascota" es un concepto analítico
definido como los seres humanos que poseen un animal de compañía, y de manera
similar para "dueño de un perro". Dado que los perros son mascotas, entonces “dueño de
perro” tendría que ser una subclase de “dueño de mascota”, como se muestra en el
diagrama de la figura.2.
A diferencia de las otras reglas de inferencia, tal regla de analiticidad no es (al menos
no prima facie) expresable como una regla de cláusula definida. Además, esta regla
contribuye a las relaciones de subsunción de clases isa, introduciendo así una
dependencia de la regla de inferencia cíclica entre isa y las otras relaciones, iniciando
potencialmente una regresión inferencial. Por lo tanto, sugerimos que una regla de
analiticidad solo se ponga a disposición como una opción para imponerse en diagramas
CRL para relaciones que están etiquetadas como contribuyentes a la definición
intensional de una clase.
Razonamiento esquemático con clases y relaciones 99
Muchas propuestas de diagramas utilizan como base los diagramas de Euler; consulte,
por ejemplo, [19,20], que proporciona medios esquemáticos para representar
topológicamente la inclusión, intersección y exclusión de conjuntos de una manera
intuitiva. Los diagramas de Euler corresponden lógicamente a las álgebras booleanas
finitas: dados dos conjuntos como regiones, a sus derivadas en forma de unión de
conjuntos, intersección y complemento relativo también se les concede existencia
(aunque posiblemente como conjuntos vacíos), al menos en principio. Esta visión de la
teoría de conjuntos (que se extiende a una visión de la teoría de modelos en lógica) se
conoce como "booleanismo" en [25]. La visión booleana tiende a introducir una multitud
de conjuntos que son irrelevantes desde un punto de vista ontológico. Por lo tanto, la
visión booleana de la teoría de conjuntos es comúnmente rechazada en el contexto de las
ontologías formales en favor de una visión orientada a la red o, aún más escasa, una
ordenación parcial con la relación de inclusión. Los diagramas preferidos son entonces
los diagramas de Hasse conocidos por la teoría de redes. El descarte de la formación de
unión y complemento está ligado a la controvertida cuestión de las propiedades
negativas en las ontologías, ver más adelante [2], y [21] para una discusión
contemporánea.
En [13] los llamados espacios conceptuales están abarcados por dimensiones de
calidad que producen una forma de diagramas de Venn de n dimensiones. Se argumenta
que los tipos naturales corresponden a regiones contiguas o incluso convexas en dichos
espacios. En [6].
Diagramas de araña, [5], son diagramas de Venn ampliados con funciones esquemáticas
para presentar individuos nombrados o anónimos. Los diagramas permiten expresar la
presencia de un determinado individuo con nombre en las distintas regiones mediante las
llamadas arañas. Por ejemplo, es posible expresar la presencia de una determinada
constante dentro de uno o más de los conjuntos descritos por el diagrama de Venn.
Diagramas de restricciones, [11, 14, 22], amplía los diagramas de araña introduciendo
relaciones (muchos-muchos) entre los conjuntos en un diagrama de araña. Las relaciones
se representan como flechas con puntos finales en los contornos.
Diagramas de restricciones como se presentan en [14,22] también apelan a los
diagramas de Euler extendidos con arcos de relación. En diagramas de restricciones
como se presenta en [14,22] una relación f de un contorno A a un contorno B, escrita
como Af = B, se entiende de la siguiente manera
Vx(A(x) ^ 3y (f(x, y) AB(y)))
Vx(A(x) ^ -3y (f(x, y) A -B(y)))
La primera oración corresponde a una relación CRL V3 de A a B. La última oración
estipula que ningún individuo x en el conjunto A está relacionado con algo fuera del
conjunto B. Como tal, expresa una restricción, que podría violarse en una restricción.
diagrama, con la consiguiente inconsistencia lógica. Esto contrasta con la CRL, donde
sólo se expresa la frase anterior, sin medios para lograr la inconsistencia.
Además, Af = B requiere que
Vy (B(y) ^ 3x(f(x, y) AA(x)))
correspondiente a un arco CRL inverso.
Los diagramas de restricciones se parecen a los diagramas CRL cuando se utilizan
para la especificación de ontologías. Sin embargo, los diagramas CRL difieren en el
repertorio disponible de formas lógicas de relación de clases, así como en los principios
de inferencia diagramamática disponibles en CRL. Fundamentalmente, los diagramas de
restricciones sirven para expresar restricciones a través del potencial de inconsistencia
lógica, mientras que la lógica y los diagramas CRL expresan sólo conocimiento positivo
(ontológico), excluyendo así per se el riesgo o la posibilidad de inconsistencia.
Razonamiento esquemático con clases y relaciones 101
11 Resumen final
Hemos ideado una propuesta de visualización esquemática y razonamiento para un
fragmento de lógica de predicados que comprende varias formas de relaciones lógicas
102 J. Fischer Nilsson
entre clases. Este sublenguaje está dirigido al modelado de dominios ontológicos donde
las taxonomías se enriquecen con relaciones ad hoc entre clases, como relaciones
partonómicas y causales. La propuesta se distingue además por su apelación dinámica a
la metáfora de la hoja de ruta combinada con principios de razonamiento visual intuitivo,
incluido el mencionado camino lógico. Se ha desarrollado un prototipo de sistema con
uso dinámico de zoom de pantalla para evaluar si CRL ofrece un compromiso factible
entre, por un lado, la expresividad del diagrama lógico y, por otro, la decidibilidad y la
manejabilidad computacional.
Referencias
1. Allwein, G., Barwise, J.: Razonamiento lógico con diagramas. Oxford University Press, Londres
(1996)
2. Armstrong, D.: Una teoría de los universales. Prensa de la Universidad de Cambridge, Cambridge
(1978)
3. Barwise, J., Hammer, E.: Diagramas y concepto de sistema lógico. En: [1]
4. Brink, C., et al.: Álgebras de Peirce. Forma. Áspid. Computadora. 6(3), 339–358 (1994)
5. Dau, F., Fish, A.: Diagramas de araña conceptuales. En: Actas de la XVI Conferencia Internacional
sobre Estructuras Conceptuales. Apuntes de conferencias sobre informática, vol. 5113, págs. 104-
118. Springer, Berlín (2008)
6. Fischer Nilsson, J.: Una lógica espacial conceptual. En: Kawaguchi, E., et al. (eds.) Modelado de
información y bases de conocimiento XI. Novena Conferencia Europeo-Japonesa sobre Modelado
de Información y Bases de Conocimiento, Iwate, Japón, 24 al 28 de mayo de 1999, págs. IOS
Press, Ámsterdam (2000)
7. Fischer Nilsson, J.: Constituciones ontológicas para clases y propiedades. En: Int. Jornada sobre
Estructuras Conceptuales. Apuntes de conferencias sobre informática, vol. 4068, págs. 37–53.
Springer, Berlín (2006)
8. Fischer Nilsson, J.: Sobre la reducción de las relaciones a adscripciones de propiedad. En: Kiyoki,
Y., et al. (eds.) Modelado de información y bases de conocimiento XX. Fronteras en inteligencia
artificial y aplicaciones, vol. 190, págs. 245-252. IOS Press, Ámsterdam (2008)
9. Fischer Nilsson, J.: Consulta de la lógica de las relaciones de clases en un marco metalógico. En:
Sistemas flexibles de respuesta a consultas FQAS 2011. Apuntes de conferencias sobre informática,
vol. 7022 (2011)
10. Fischer Nilsson, J., Palomäki, J.: Hacia la informática con intensiones y extensiones de conceptos.
En: Charrel, P.-J., et al. (eds.) Modelado de información y bases de conocimiento IX, págs. IOS
Press, Ámsterdam (1998)
11. Fish, A., Flower, J., Howse, J.: La semántica de los diagramas de restricciones aumentadas. J. Vis.
Lang. Computadora. 16(6), 541–573 (2005)
12. Gabbay, DM, Woods, J. (eds.): Manual de historia de la lógica, vol. 3, El auge de la lógica
moderna: de Leibniz a Frege. Elsevier, Ámsterdam (2004)
13. Gärdenfors, P.: Espacios conceptuales: sobre la geometría del pensamiento. Prensa del MIT,
Cambridge (2000)
14. Gil, J., Howse, J., Kent, S.: Hacia una formalización de diagramas de restricciones. En: Actas de
los simposios IEEE 2001 sobre entornos y lenguajes de computación centrados en el ser humano
(HCC'01) (2001)
15. Grosof, BN, Horrocks, I., Volz, R., Decker, S.: Programas lógicos de descripción: combinación de
programas lógicos con lógica de descripción. En: Actas de la Duodécima Conferencia Internacional
sobre la World Wide Web, WWW2003, Budapest, Hungría, 2003, págs. ACM, Nueva York
(2003)
16. Hamfelt, A., Fischer Nilsson, J.: Hacia una metodología de programación lógica basada en
Razonamiento esquemático con clases y relaciones 103
Gem Stapleton, John Howse, Simon Thompson, John Taylor y Peter Chapman
1 Introducción
Los diagramas se han utilizado durante siglos para visualizar conceptos matemáticos y
para ayudar en la exploración y formalización de ideas. Este no es el lugar para examinar
esa historia; sin embargo, ahora damos una breve descripción general de los antecedentes
del desarrollo de los diagramas de araña.
Una de las notaciones visuales de mayor éxito es el diagrama de Venn para conjuntos
y sus relaciones; de hecho, en muchos países se enseña en el plan de estudios de la
escuela primaria. Mientras que los diagramas de Venn contienen todas las regiones de
intersección posibles entre los conjuntos, los diagramas de Euler [4] permiten representar
visualmente la intersección, la desunión y la contención establecidas. El diagrama de
Euler d1 en la Fig.1afirma que A y B son disjuntos y C es un subconjunto de A. La
ubicación relativa de las curvas da, gratis, que C es disjunto de B. Este 'viaje gratuito' es
una de las áreas donde se cree que los diagramas son superiores a lenguajes simbólicos
[20]. Este ejemplo también ilustra el concepto de "buena coincidencia" [8] ya que la
representación visual de las afirmaciones refleja las del nivel semántico: por ejemplo, la
contención de una curva por otra refleja la interpretación de que la curva encerrada, C,
representa un subconjunto del conjunto representado por la curva encerrada, A. Además,
esto tiene el beneficio adicional de que la relación de subconjunto se refleja en la
propiedad transitiva de la contención sintáctica.
Se han propuesto varias extensiones a los diagramas de Euler, como incluir sintaxis
para representar individuos nombrados.27], o afirmar la existencia de números finitos
arbitrarios de elementos [12]. El diagrama de Euler d2 en la Fig.1se aumenta con
sombreado, lo que afirma 10
4
Sobre la integridad de los diagramas de araña aumentados con constantes 105
A. Moktefi, S.-J. Shin (eds.), Razonamiento visual con diagramas, Estudios de lógica universal, DOI
10.1007/978-3-0348-0600-8_7, © Springer Basilea 2013
106 G. Stapleton y col.
el vacío del conjunto A - C y el diagrama de Euler/Venn d3 nos dice, además, que fred
está en el conjunto C y bob no está en el conjunto A.
Diagramas de araña [12] también se basan en diagramas de Euler. El diagrama de
araña d4 en la Fig.1afirma la existencia de dos elementos en el conjunto C y al menos un
elemento fuera del conjunto A; Esto se logra mediante el uso de arañas existenciales. Una
araña es un árbol que denota un único elemento que puede ocupar una de las posiciones
dadas por los nodos del árbol. El sombreado en d4 se utiliza para colocar un límite
superior a la cardinalidad de A, limitándola a dos: en un conjunto representado por una
región sombreada, todos los elementos deben indicarse mediante arañas. Utilizando un
argumento teórico de modelos, se ha demostrado que los diagramas de araña son
equivalentes a la lógica monádica de primer orden con igualdad [23].
Arañas constantes [21,25], correspondiente a las arañas dadas en [11], se introdujeron
para proporcionar a los usuarios de diagramas de araña una forma explícita de escribir
restricciones que involucran a individuos nombrados. Hay una serie de ejemplos de
diagramas de araña que se utilizan en la práctica, como ayudar con la tarea de identificar
fallas de componentes en diseños de hardware críticos para la seguridad [2]. Se han
utilizado notaciones equivalentes para representar sistemas de archivos informáticos no
jerárquicos [3], en un entorno de edición visual de web semántica [dieciséis,28] y para
ver grupos que contienen conceptos de múltiples ontologías [9]. Cada una de estas
aplicaciones utiliza constantes para representar objetos específicos, lo que motiva la
utilidad de aumentar los diagramas de araña con constantes. Para tomar un ejemplo
particular, el sistema VennFS [3], se utiliza para representar sistemas de archivos
visualmente no jerárquicos. El ejemplo de la Fig.2proporciona información sobre la
ubicación de la carpeta de ciertos archivos almacenados en una computadora: los puntos
etiquetados son archivos (o arañas constantes) y las curvas representan carpetas.
En [25], se estableció que las constantes en los diagramas de araña se podían simular
mediante un contorno sombreado que contuviera una única araña (no constante). Esta
traducción dio un diagrama que era expresivamente equivalente al original, en el sentido
de que tenía el mismo modelo establecido que el diagrama de araña con una constante.
Como ocurre con muchas notaciones (tanto simbólicas como esquemáticas), vale la pena
añadir una notación aunque pueda descartarse como mero "azúcar sintáctico". La
notación adicional deja clara la intención del usuario, y
permite que esa intención se preserve en el razonamiento, por ejemplo. En una notación
Sobre la integridad de los diagramas de araña aumentados con constantes 107
visual, hace que sea mucho más fácil preservar las propiedades de "viaje libre" y
"adaptación adecuada"; En el caso particular de las constantes, se trata de una
denominación directa de una constante, en lugar de una denominación indirecta, por
ejemplo a través del nombre del contorno representado. Se pueden encontrar más debates
y motivaciones en [21,25].
Trabajos anteriores formalizaron la sintaxis y la semántica de los diagramas de araña
y especificaron una lógica para los diagramas que demostró ser sólida, completa y
decidible; En este artículo hacemos lo mismo para los diagramas de araña con constantes.
En concreto, en la sec. 2, damos la sintaxis de los diagramas de araña ampliada para
incluir arañas constantes y, en la Sección. 3, presentan semántica formal. Insecto.4,
proporcionamos una colección de reglas de razonamiento para diagramas de araña con
constantes y, en la Sección. 5, presentamos esbozos de resultados de solidez, integridad y
decidibilidad.
2 Sintaxis
En los sistemas esquemáticos podemos distinguir dos niveles de sintaxis: sintaxis
concreta (o simbólica) y sintaxis abstracta (o tipo).10]. La sintaxis concreta captura la
representación física de un diagrama. La sintaxis abstracta es independiente de las
relaciones espaciales semánticamente sin importancia entre elementos sintácticos en un
diagrama concreto. No incluimos la sintaxis concreta en esta discusión ya que aquí
trabajamos en el nivel abstracto.
Las curvas cerradas en un diagrama de araña se llaman contornos y cada contorno se
identifica mediante una etiqueta elegida de un conjunto infinito contable, CL. una
zonaXXXIII se define como un par (dentro, fuera) de subconjuntos finitos disjuntos de CL.
El conjunto in contiene las etiquetas de los contornos que incluyen la zona (in, out)
mientras que out es el conjunto de etiquetas de los contornos que no incluyen (in, out).
Entonces, en un diagrama unitario, dentro y fuera forman una partición del conjunto de
etiquetas de contorno. En el diagrama d 1 de la Fig.3la zona que está dentro del contorno
A pero fuera de B y C tiene representación abstracta ({A}, {B, C}). Una región es un
conjunto de zonas. Definimos Z y R = PZ como los conjuntos de todas las zonas y
regiones respectivamente. Como se señaló anteriormente, en un diagrama de Venn, d,
cada zona posible (es decir, cada elemento de PL para el conjunto L de etiquetas de
contorno en d) se representa en d. Este no es el caso del diagrama de araña, y se dice que
falta una zona si no es miembro de la posible zona establecida para el diagrama.
Una araña sin etiqueta se llama araña existencial. Una araña con una etiqueta se llama
araña constante. Una araña toca una zona si esa zona está en su hábitat, y se dice que
habita la región en la que se encuentra, lo que se denomina su hábitat. Para describir las
arañas existenciales en un diagrama particular, basta con decir cuántas arañas
existenciales hay en cada región. Usaremos una bolsa de regiones, llamada descriptores
de arañas existenciales, y el número de apariciones de cada región en la bolsa dará la
cantidad de arañas existenciales en la región. Por ejemplo, la región
{({A, C}, {B}), (0, {A, B, C}), ({B}, {A, C}), ({B, C}, {A})}
XXXIIIDado que todas las construcciones discutidas aquí son abstractas, usaremos la terminología
"zona" en lugar de "zona abstracta" en todo momento.
108 G. Stapleton y col.
d] ¿
Fig. 3Ejemplos de diagramas de araña unitarios d
Definición 2.1Un diagrama de araña unitario abstracto con constantes, d (con etiquetas
de contorno en CL y etiquetas de araña constantes en CS), es una tupla de 7
(L,Z,Z*, ESD,CS,O,rn}
6. 0= Od : CS ^ R(d), es una función que asigna cada etiqueta de araña constante a una
región en d. Si Od(si) = r decimos que si tiene un hábitat r en d.
7. a= to : CS(d) x CS(d) ^ PZ es una función que devuelve la red de cada par de arañas
constantes donde zew(si,sj) significa que hay un empate entre si y sj en la zona z.
Además, ω debe garantizar que lo siguiente se cumpla para todos los si, sj, sk en
CS(d):
(a) dadas dos arañas constantes sólo puede haber vínculos en zonas comunes a su
hábitat: w(si,sj) C 6d(si) n Od(sj),
(b) cada araña constante está unida a sí misma por vínculos (esto simplifica la
formalización de la semántica siguiente): w(si,si) = Od(si),
(c) si hay un empate entre las arañas constantes si y sj en la zona z, entonces hay un
empate entre sj y si en z: w(si,sj) = w(sj,si), y
(d) dada cualquier zona z, si si y sj están unidos por un empate en z y también lo
están sj y sk, entonces si y sk están unidos por un empate en z: ze to(si,sj) n
to(sj,sk) ^ ze a(si,sk).
XXXIVSin embargo, para cualquier diagrama que incorpore tales vínculos es posible definir un
diagrama semánticamente equivalente que no contenga dichos vínculos. Este no es el caso de los
vínculos entre arañas constantes. Es sencillo ampliar el trabajo de este artículo al caso en el que se
permitan estos tipos adicionales de ataduras.
110 G. Stapleton y col.
y también definimos
S(r, d)= ES(r, d) U CS(r, d).
Entonces, cualquier araña en d cuyo hábitat sea un subconjunto de r está en el conjunto
S(r, d). El conjunto de arañas existenciales que tocan r en d se denota por ET (r, d). Más
formalmente,
TE(r, d)= {se ES(d): n(s) nr = 0}.
Además, en una región sombreada existe un límite superior de la cardinalidad del
Sobre la integridad de los diagramas de araña aumentados con constantes 111
conjunto representado. Por ejemplo, d 1 en la Fig.4nos dice que hay como máximo dos
elementos en B — A, porque exactamente dos arañas tocan B — A. El conjunto de
arañas constantes que tocan una región, CT(r, d), y el conjunto de arañas que tocan una
región, T( r,d), se definen de manera similar. En d1, Fig.4,
|S({({B}, {A})},d1)| = 1
y
|T({({B}, {A})},d1)|= 2.
En d2,
|S({({A}, {B})},d2)|=|t({({A}, {B})},d2)|= 3.
Los diagramas unitarios forman los componentes básicos de los diagramas compuestos,
formados mediante el uso de conectivos lógicos.
Nuestra convención será denotar los diagramas unitarios con d y los diagramas
arbitrarios con D. Algunos diagramas compuestos no son satisfactorios (se definen más
adelante). Más adelante, por conveniencia, introducimos el símbolo ±, definido como un
diagrama unitario que no es satisfactorio.
3. Semántica
Ahora esbozamos, informalmente, la semántica de los diagramas de araña unitarios. Las
regiones representan conjuntos. Las zonas faltantes representan el conjunto vacío. Por
ejemplo, en el diagrama d1 de la Fig.3, faltan las zonas ({A, C}, {B}) y ({A}, {B, C}) y,
por lo tanto, representan el conjunto vacío; de esto podemos deducir que los conjuntos
representados por A y B son disjuntos.
Ahora, por simplicidad, supongamos que un diagrama unitario d no contiene ningún
vínculo. Si la región r está habitada por n arañas en d, entonces d expresa que el conjunto
representado por r contiene al menos n elementos. Si r está sombreado y tocado por m
arañas en d, entonces d expresa que el conjunto representado por r contiene como
máximo m elementos. Por lo tanto, si d tiene una región sombreada e intacta, r, entonces
d expresa que r representa el conjunto vacío. Por ejemplo, en el diagrama d1 de la Fig.3,
la región sombreada {({A}, {B, C}), ({A, C}, {B})} no es tocada por ninguna araña y,
por lo tanto, representa el conjunto vacío. En el diagrama d2 de la Fig.3, la misma región
está sombreada y tocada por dos arañas y por lo tanto el conjunto que representa contiene
como máximo dos elementos.
Cada araña constante afirma que el individuo que representa está en el conjunto
representado por su hábitat. Además, los individuos representados por arañas constantes
son distintos de los representados por arañas existenciales. Por tanto, si una región
contiene una araña existencial y una araña constante, s, podemos deducir que hay al
menos dos elementos en esa región, incluido el representado por s. Dentro de un
diagrama unitario, no hay dos arañas constantes que representen al mismo individuo a
112 G. Stapleton y col.
menos que estén unidas por un vínculo. Arañas constantes unidas por
Los vínculos representan al mismo individuo si y sólo si existe una zona, z, en su red y
ambos representan individuos en el conjunto representado por z. Entonces, la presencia
de un vínculo entre dos arañas constantes tiene el efecto de reducir potencialmente las
restricciones de cardinalidad superior e inferior impuestas al conjunto representado por la
unión de sus hábitats. En el diagrama d3 de la Fig.3, las arañas constantes s y t
representan individuos diferentes a menos que ambos individuos que representan estén en
el conjunto representado por la zona ({A}, {B, C}) o ambos estén en el conjunto
representado por ({C}, {A , B}), en cuyo caso deberán representar a la misma persona
física.
Para formalizar la semántica de los diagramas de araña con constantes, asignaremos
etiquetas de araña constantes, etiquetas de contorno, zonas y regiones a subconjuntos de
algún conjunto universal. Deseamos que las etiquetas de araña constantes actúen como
constantes en la lógica de predicados de primer orden, por lo que se asignarán a
subconjuntos de un solo elemento del conjunto universal, a menos que el conjunto
universal sea el conjunto vacío. De manera equivalente, podríamos optar por asignar
arañas constantes a elementos del conjunto universal. Sin embargo, el predicado
semántico (definido a continuación) es más elegante cuando asignamos arañas constantes
a conjuntos, como lo son los detalles de algunas de las pruebas a continuación. Nuestra
formalización de la semántica amplía la dada para los diagramas de araña sin constantes
en [12].
y
Ve e ES(D) Vsi e CS(D) &(e) = ^(si).
(b) Condición existencial de las arañas.No hay dos arañas existenciales que
representen la existencia del mismo elemento:
Ve 1 ,e2 e ES(D) (& (e 1) = &(e2) ^ e 1 = e2).
Si & : RU ES(D) ^ PU garantiza que PD (m) sea verdadero, entonces & es una extensión
válida de las arañas existenciales para D. Si D = D1 VD 2 entonces PD(m) = Pd 1 (m) V
Pd 2 ( metro). Si D = D1 AD 2 entonces PD(m) = Pd 1 (m) A Pd2 (m). Decimos que m
satisface D, o m es un modelo para D, denotado m = D, si y sólo si Pd (m) es verdadero.
Si todos los modelos para D1 son modelos para D2, entonces D1 implica semánticamente
a D2, denotado D 1 1 = D 2. Si D 1 1 = D2 y D2 1 = D 1, entonces D 1 y D2 son
semánticamente equivalentes, denotado D 1 =^D2.
Definición 3.4Sea d un diagrama de araña unitario con constantes. Sea f : S(d) ^ Z(d) una
función tal que para cada araña s , f(s)está en el hábitat de s . Para cada araña constante,
si , definimos
51] ] = {sj e CS(d): f(sj) = f(si) A f(si) G ad(si,sj)}
(estos conjuntos [si ] dan lugar a una relación de equivalencia y, por tanto, forman una
partición de CS(d)). Definir
Ud.= ES(d) U {[ si ]: si e CS(d)}.
4 reglas de razonamiento
Ahora desarrollaremos un conjunto de reglas de razonamiento sólidas y completas para
diagramas de araña con constantes. Todas las reglas de razonamiento dadas para
diagramas de araña sin constantes en [12] se puede extender, a veces de forma no trivial,
a diagramas de araña con constantes; omitimos la mayoría de las definiciones formales
de las reglas extendidas.
Regla 1(Introducción de una zona sombreada) Sea d1 un diagrama unitario al que le falta
una zona. Si d2 es igual que d1 excepto que d2 contiene una zona nueva, sombreada y
"intacta", entonces d1 es lógicamente equivalente a d2.
En la Fig.5, Regla 1(introducción de una zona sombreada) se aplica a d1 para dar d2.
La aplicación de la introducción de una regla de zona sombreada da como resultado un
diagrama semánticamente equivalente. Las siguientes dos reglas no preservan la
información.
Regla 2(Borrado de sombreado) Sea d1 un diagrama unitario con una región sombreada
r. Sea d2 idéntico a d1 excepto que r no está completamente sombreado en d2. Entonces
d1 implica lógicamente d2.
Sobre la integridad de los diagramas de araña aumentados con constantes 115
Regla 3(Borrado de una araña) Sea d1 un diagrama unitario que contiene una araña s con
un hábitat completamente sin sombra. Sea d2 igual que d1 excepto que d2 no contiene s
ni ningún vínculo que esté conectado a s. Entonces d1 implica lógicamente d2.
Ahora especificamos cinco reglas más, cada una de las cuales es reversible, que permiten
reemplazar un diagrama unitario por un diagrama compuesto. La primera de estas reglas
nos permite introducir un contorno. En la lógica de los diagramas de araña sin constantes,
la introducción de una regla de contorno se aplica y da como resultado un diagrama
unitario [12].
Antes de formular la introducción de una regla de contorno, veamos un ejemplo. En la
Fig.7, examinamos cómo introducir el contorno con etiqueta C en d1, que contiene
arañas constantes. Cuando lo hagamos, cada zona debe dividirse en dos nuevas zonas,
garantizando así que se preserve la información. Los hábitats de las arañas existenciales
también se ven alterados. Sin embargo, hay que tener más cuidado con las constantes
arañas debido a la presencia de ataduras. Considere, por ejemplo, las constantes arañas s
y t. El individuo representado tanto por s como por t debe estar en C — (AUB) o en U —
(AUBUC). La araña constante u representa un individuo que está en A — (BUC) o
(AAC) — B. Esto da lugar a cuatro posibilidades, que se muestran en d2, d3, d4 y d5. A
estos cuatro diagramas los llamamos extensiones C de d 1. El diagrama d 1 es
semánticamente equivalente a d2 V d3 V d4 V d5. Podríamos reemplazar d 1 con la
disyunción de solo dos diagramas unitarios, cada uno de los cuales u tiene un hábitat de
dos zonas: ({A}, {B, C}) y ({A, C}, {B}). Sin embargo, no es cierto que el diagrama
unitario único d6 de la Fig. 8es semánticamente equivalente a d1 . Las arañas constantes
s y t deben representar
116 G. Stapleton y col.
Definición 4.1Sea d1 un diagrama unitario tal que cada araña constante en d1 tenga un
hábitat de zona única. Sea Li una etiqueta de contorno que no está en d 1, es decir Li e
CL — L(d 1). Sea d2 un diagrama unitario tal que cada araña constante en d2 tenga un
hábitat de zona única. Si se cumplen las siguientes condiciones, entonces d2 es una
extensión de Li de d1.
1. Las etiquetas de contorno de d2 son las de d 1, junto con Li: L(d2) = L(d 1) U {Li}.
2. Las etiquetas de araña constantes coinciden: CS(d 1) = CS(d2).
3. Existe una sobreyección, h : Z(d2) ^ Z(d 1) definida por h(a, b) = (a — {Li},b —
{Li}) tal que
(a) cada zona en d1 está asignada por dos zonas distintas en d2,
(b) cada zona está sombreada en d2 si y solo si se asigna a una zona sombreada,
(c) las arañas existenciales coinciden y sus hábitats se preservan bajo h: existe una
biyección, a : ES(d 1) ^ ES(d2) que satisface
Ve e ES(d 1) n(a(e)) = {ze Z(d2) : h(z) en(e)},
y
Sobre la integridad de los diagramas de araña aumentados con constantes 117
Regla 5(Arañas divididas) Sea un diagrama unitario con una araña tocando cada zona de
dos regiones disjuntas r1 y r2. Sean d1 y d2 diagramas unitarios idénticos a d excepto que
ninguno contiene s, sino que cada uno contiene una araña adicional, s1 y s2
respectivamente, cuyos hábitats son las regiones r1 en d1 y r2 en d2. Si s es una araña
constante, entonces
1. s1 y s2 tienen la misma etiqueta que s y
2. cualquier vínculo unido a s en d se une a la instancia apropiada de s en d1 y d2.
Entonces d es lógicamente equivalente al diagrama d 1 V d2.
Regla 6(Medio excluido) Sea d un diagrama unitario con una región r completamente no
sombreada. Sean d1 y d2 diagramas unitarios iguales a d excepto que d1 contiene una
araña existencial adicional cuyo hábitat es r y en d2 la región r está sombreada. Entonces
d es lógicamente equivalente al diagrama d1 V d2.
El individuo representado por una etiqueta de araña constante, t, pertenece a uno de los
conjuntos indicados por las zonas en d. Además, este individuo debe ser igual o diferente
de los elementos ya representados en d.
Como ejemplo, considere d en la Fig. 11que solo tiene modelos no vacíos. Por lo
tanto, en cualquier modelo para d, la araña constante (etiqueta) t se asigna a algún
individuo (técnicamente, conjunto de elementos únicos). Entonces t está en A — B, B —
A o U — (AUB). Si t está en A — B entonces debe ser igual a s, ya que la región dentro
de A está completamente sombreada, como se muestra en d 1. Si t está en el conjunto B -
A entonces puede ser igual o diferente del elemento representado por la araña existencial
en B en el diagrama d; estos casos están representados por d2 y d3 respectivamente.
Finalmente, si t no está en A — B o B — A entonces, como AAB = 0, t debe estar en U
— (AUB), representado por d4. Los diagramas d1, d2, d3 y d4 se denominan extensiones
t de d. Un diagrama en el que todas las arañas tienen un hábitat de zona única se llama
diagrama α.
Figura 12Combinando
diagramas
6. Si si tiene un hábitat sombreado, z, en d2 entonces el número de arañas existenciales
que habitan z es uno menos que el número en d1 o si está unido a otra araña
(constante) mediante un empate: si θd2 (si )⊆ Z∗ (d2) entonces
(a) ∀sj ∈ CS(d1)ωd2(si,sj)=∅∧∃e ∈ ES(θd2(si),d1)ES(d2)= ES(d1)
- {e} o
(b) ∃sj ∈ CS(d1)ωd2(si,sj)= ∅ ∧ ES(d1) = ES(d2).
7. Si si tiene un hábitat sin sombra en d2, entonces el número de arañas existenciales que
habitan en z es el mismo, o uno menos que el número en d1, o si está unido a otra
araña (constante) mediante un vínculo y el número de arañas existenciales arañas es lo
mismo: si θd2(si)∩Z∗(d2)=∅entonces
(a) ∀sj ∈ CS(d1)ωd2(si,sj)=∅∧(ES(d1)= ES(d2) ∨ ∃e ∈
ES(θd2(si),d1) ES(d2)= ES(d1) - { mi}) o
(b) ∃sj ∈ CS(d1)ωd2(si,sj)= ∅ ∧ ES(d1) = ES(d3).
Definimos EXT(si,d1) como el conjunto de todas las extensiones si de d1.
Regla 7(Introducción de una araña constante) Sea d1 un diagrama α unitario tal que S(d1
)= ∅ y exista si ∈ CS - CS(d1 ). Entonces d1 es lógicamente equivalente al diagrama
V d2.
d2∈EXT(si,d1)
Lema 4.5sea d0 y d1 sean diagramas α unitarios comparables. Entonces d0 y d1 están en contradicción si y sólo si
d0 A d 1 es insatisfactorio.
Introducimos ahora una colección de reglas, todas las cuales tienen analogías (obvias) en
la lógica simbólica. La siguiente regla es análoga a P ^ P ∨ Q, para cualquier proposición
P,Q.
4.4 Obtenibilidad
5 solidez
En esta sección mostramos la solidez de la lógica de los diagramas de araña con
constantes introducidas en la Sección.4.
Para demostrar que el sistema es sólido, la estrategia es comenzar demostrando que
cada una de las reglas de razonamiento es sólida. Mostramos que la introducción de una
regla de araña constante es una buena ilustración, pero omitimos las pruebas restantes. El
teorema de solidez sigue luego un argumento de inducción simple.
d1 =^y d2.
d2e EXT(si,d1)
{si} = CS(d2).
4. Los hábitats de las arañas constantes coinciden y el hábitat de si en d2 está
determinado por Ψ1:
oh
d1= impar2Yo CS(d1)
y
Sobredosis2 (Si)= {z}
donde z es la zona única en Z(d 1) tal que ^(si) C &(z). Tal zona existe porque la
condición de mosaico plano se cumple para d1.
5. Las almas existentes en d 1 se conservan en d2: Md 1 = Md21cs(d 1)xcs(d 1)•
6. Ahora consideramos tres casos para definir las arañas existenciales (y sus hábitats) y
las redes restantes de d2.
(a) Hay una araña existencial, s, en d.1 tal que & 1 (s) = &(si). En este caso, elegimos en({n(s)}),
donde (n, n(s)) € ESD(d 1), y definimos ES(d2) = ES(d 1) — {en(n (s))}• Para las webs restantes, definimos,
para todos los sj€ CS(d1), Md2(si,sj) = 0. Observamos, por la condición de las arañas para d 1, Od2(si) =
n(s)•
(b) Hay una araña constante, c, en d1 tal que &(c) = & (si). En este caso, ES(d 1) = ES(d2), y, para el
resto de redes, comenzamos definiendo Md2(si,c) = Od 1c); desde d1 es un diagrama α, θd1 (c) es una zona
única. De ello se deduce que si también está unido por un vínculo a todas las arañas constantes que están
unidas a c en d1 y, por (5) anterior y la transitividad de los vínculos, no está unido por un vínculo a ninguna
otra araña constante. Observamos, por la condición de las arañas para d 1, Od2(si) = Od1c).
(c) Sin araña, s, en S(d1) satisface & 1 (s) = &(si). En este caso, tenemos ES(d 1) = ES(d2) y para todo c
€ CS(d 1), Md2(s)yo,c)= 0.
V d2= re1.
d2€ EXT (si,d1)
Por eso
d1 =1=\/ d2,
d2e EXT (si ,di)
PruebaLa prueba es por inducción sobre la longitud, n, de una secuencia que establece
D1 F D2, ya que se puede demostrar que cada paso individual es sólido según las líneas
de la prueba del Lema5.1arriba. □
6 Integridad y Decidibilidad
En esta sección mostramos la integridad y capacidad de decisión de la lógica de los
diagramas de araña con constantes introducidas en la Sección.4. Comenzamos con una
descripción general informal, antes de dar detalles de las distintas etapas de la prueba.
La estrategia de prueba de integridad para diagramas de araña sin constantes dada en [12]
se extiende al caso más general aquí. La estrategia extendida, descrita en la Fig.14, es
como sigue. Supongamos que D1 = D2. El objetivo es transformar D1 y D2 en
disyunciones de diagramas α unitarios usando reglas reversibles (es decir, aquellas que
son equivalencias lógicas) donde, en términos generales, cada parte unitaria tiene un
conjunto de etiquetas de contorno específico y un conjunto de etiquetas de araña
constante.
En primer lugar, dividimos las arañas constantes en D1 y D2 hasta que, en cada parte
unitaria, todas las arañas constantes tienen un hábitat de zona única, dando D1S y D2S
respectivamente. Esto nos permite agregar contornos a las partes unitarias tanto en D1S
como en D2S usando la regla reversible.4 (introducción de una etiqueta de contorno),
hasta que cada parte unitaria (no falsa) tenga el mismo conjunto de etiquetas de contorno,
L. Esto da D1L y D2L respectivamente. Para el siguiente paso, se introducen zonas en
cada parte unitaria hasta que todas las partes unitarias (no falsas) tengan el mismo
conjunto de zonas, Z. Esto se hace usando la regla reversible 1(introducción de una zona
sombreada) y produce D1Z y D2Z respectivamente. Ahora obtenemos α -diagramas
usando la regla reversible 5 (arañas divididas), produciendo D1α y D2α respectivamente.
La formalización de los diagramas DiL, DiZ y Diα generaliza fácilmente los dados en
[12] para diagramas de araña sin constantes.
Deseamos introducir arañas constantes a cada lado hasta que cada parte unitaria tenga
el mismo conjunto de etiquetas de araña constante. Sin embargo, sólo podemos introducir
arañas constantes cuando nuestros diagramas contienen al menos una araña (asegurando
modelos no vacíos). Por lo tanto, el siguiente paso que damos es aplicar la regla del
medio excluido a ambos lados hasta que todas las partes unitarias (no falsas) estén
completamente sombreadas o contengan al menos una araña. La regla reversible7Luego
se aplica (introducción de una araña constante), introduciendo arañas constantes en todas
las partes unitarias que contienen una araña, hasta que todas esas partes unitarias tengan
algún conjunto de etiquetas de araña constante específico, C. Esto da D1C y D2C
respectivamente.
Sobre la integridad de los diagramas de araña aumentados con constantes 125
agregar zonas
dpdp
Tsplit existencialT
*arañas*
^yo D2
I
^
aplique la f media excluida
y agregue arañas constantes
PD DP
\ combinar T
A
Agregue arañas
existenciales y sombree
según sea necesario, luego
elimine lo que no sea
necesario. ;
Ahora aplicamos la regla. 8(combinando) para eliminar todas las conjunciones, dando
dos disyunciones de diagramas a unitarios, D1 y D*. Llamamos D* (D2;) al diagrama
disjuntado asociado a D1 (D2) dado D2 (D1). Todas las partes unitarias de D* y D* son
1. ±,
2. tener la zona establecida Z y estar completamente sombreada y no contener arañas, o
3. tener zona configurada Z y etiqueta de araña constante configurada C.
Tenga en cuenta que D 1 =y D* y D2 =y D*, ya que todas las reglas aplicadas hasta
ahora son reversibles. El diagrama D* es una forma normal que refleja claramente la
semántica de Di. Ahora aplicamos la regla del medio excluido a D* hasta que haya
suficientes arañas existenciales y haya suficiente sombreado para asegurar que cada parte
unitaria en el lado izquierdo implique sintácticamente una parte unitaria de D2.
Los detalles de la prueba se dan en las siguientes secciones. Las principales
diferencias entre la estrategia de prueba de completitud aquí y la de los diagramas de
araña sin constantes son la adición del primer paso (dividir las arañas constantes), con
cambios en los detalles de los otros pasos, y la inserción de una etapa adicional entre la
división. arañas existenciales y diagramas combinatorios. Además, observamos que los
detalles de las pruebas son más complejos.
126 G. Stapleton y col.
Figura 15Completitud
para unitario.α-diagramas
existencial en d1. Nuevamente podemos deducir que existe un modelo para d1 que
no satisface d2. Por ejemplo, al menos un modelo, m = (U, &) para d 1 garantiza que
|&({C}, {A, B})| = 1. En la interpretación m, no puede ser que tanto la condición de
las arañas como la condición de las arañas existenciales sean válidas para d2.
(c) Las arañas constantes t y u tienen el mismo hábitat en ambos diagramas, pero telas
diferentes. En cualquier modelo para d1, t y u representan al mismo individuo, pero
en cualquier modelo para d2 representan individuos distintos.
De cualquiera de las observaciones anteriores podemos deducir que d 1 = d2.
Teorema 6.1sea d1 (= ±) y d2 (= ±) sean dos diagramas a unitarios. Si Z(d 1) = Z(d2) y CS(d 1) = CS(d2)
entonces las tres afirmaciones siguientes son equivalentes:
1. d1F d2.
2. d1 1 = d2.
3. (a) cada zona sombreada en d2 está sombreada en d1 y contiene el mismo número de
arañas existenciales en ambos diagramas:
z* (d2) CZ * (d 1) AVz e Z * (d2) ES({z} ,d2) = ES ({z} ,d1),
(b) cada zona en d2 contiene como máximo el mismo número de arañas existenciales que en d1:
Vz e Z(d2) ES({z},d2) c ES({z},d 1),
y
(c) las arañas constantes tienen los mismos hábitats y las mismas redes en ambos
diagramas: &d 1 = &d2 y ^d 1 = ^d2 •
una(e)2 ) mi W2 (mi 2 ).
n(a(e)2 )) = n(mi 2 ).
Además, es obvio que d 1 1= d2 implica Z* (d2) CZ*(d 1). Por tanto, se cumple el punto
3(a).
Consideremos ahora 3(c). La condición de las arañas para los estados d1, en parte,
Vsi e CS(d 1 )&(si) C &(3d 1 (si)).
Dado que las zonas distintas en d1 representan conjuntos disjuntos, se deduce de (1) y (2)
eso
Por tanto 3d 1 = 3d2. Supongamos que las arañas constantes si y sj están unidas por un
empate en d 1. Es decir,
Entonces &(si) = &(sj), por la condición de arañas constantes para d 1. Por la condición
de arañas constantes para d2,
3z e Md2(si,sj) &(si) = &(sj).
Por lo tanto, si y sj están unidos por un empate en d2. Eso es,
Entonces & (si) = & (sj) por lo que no puede ser que si y sj estén unidos por un empate
en d2. Eso es,
Figura 17Una-diagrama y
un diagrama extendido
Finalmente, para demostrar que 3 implica 1, se puede demostrar que las arañas
sombreadas y existenciales se pueden eliminar de d 1, usando Reglas2 y
3respectivamente, para dar d2. Por tanto, las tres afirmaciones son equivalentes. □
entonces, para cada componente unitaria di de text(d, D), existe una componente unitaria
dj de D tal que di 1= dj. De hecho,
Por lo tanto
texto(d,D)= div div div div div div di F div d2.
134256
Vz e Z(d) - Z*(d)
132 G. Stapleton y col.
Entonces el diagrama
texto(d,D)= V d'd 'eDd
es el diagrama extendido asociado con d en el contexto de D.
d=^ text(d,D).
Teorema 6.5Sea d (=1) sea un diagrama a unitario tal que S(d) = 0. Sea D una
disyunción de diagramas a unitarios tal que d sea comparable a cada di e comp(D). Dado
D,
deja que ed€ dd. Si ed h D entonces existe un componente unitario de D, digamos di, tal
que ed h di:
edhD ^3 dimi comp(D) ed h di.
o
4 ze Z* (di)|S({z} ,ed)| > | S({z},di)|.
(b1) Hay dos arañas constantes que están unidas por un lazo en un diagrama pero no
en el otro. Más formalmente, od. = Med.
Como (b1 ) no se cumple, deducimos que
Entonces,
|^(z)| > |ES({z},mid)| + |ConS(z,mid)|
= |ES({z},ed)| + |ConS(z, di)| ya que Md 1 = Med
>|ES({z} ,di) | + | ConS(z,di)|.
Esto contradice (4). Por lo tanto, debe ser que z esté sombreado en ed. Además, se
puede demostrar que |ES({z}, ed)| = |ES({z},di)|. Por eso
V ze Z * (di) ze Z *( ed) a ES ({z} ,di) = ES ({z}, ed). (5)
Dado que ed = di, por teorema6.1se cumple una de las siguientes tres condiciones.
(a2) az e Z * (di) z / Z * (ed) v ES( {z} ,di) = ES( {z}, ed).
(b2) az e Z(di) ES({z}, ed)c ES({z},di).
(c2) asi,sj e CS(d 1) Wd 1 (si,sj) = Md2(si,sj).
Consideremos ahora cada una de estas tres posibilidades (a2), (b2) y (c2) por turno.
En primer lugar, (a2) contradice (5) arriba, por lo que no se cumple. En segundo
lugar, (c2) contradice (3) arriba, por lo que no se cumple. Finalmente consideramos
(b2). En el modelo m para ed tenemos,
|^(z)|= | ES ({z} ,ed)| + | ConS (z,ed)|.
134 G. Stapleton y col.
De este modo
Vz e Z(di) ES({z},di) c ES({z}, ed),
lo que contradice (b2). Así, en cualquiera de los tres casos, m no satisface di.
De ello se deduce que la interpretación, m, no satisface ninguna parte unitaria de D. Por
lo tanto, m no satisface D dando una contradicción. Por lo tanto, si ed 1 = D entonces
existe un componente unitario de D, digamos di, tal que ed = di:
mi
d=D ^a dimi comp(D) ed = di. □
6.5 Decidibilidad
7 Implementación
Hemos visto que la igualdad entre diagramas de araña, incluidas las constantes, es
decidible, por lo que es posible crear herramientas informáticas que puedan comprobar la
decidibilidad, pero también que puedan construir pruebas de igualdad cuando existan, ya
sea automáticamente o con la guía del usuario. En esta breve sección analizamos el
estado del arte en la implementación de herramientas para este y otros propósitos.
El desarrollo de herramientas para respaldar el razonamiento esquemático está en
marcha y los avances recientes proporcionan una base para el soporte automatizado de
diagramas de araña con constantes. Estas herramientas requieren una funcionalidad
variada y los desafíos de la investigación pueden considerarse más amplios que los de las
lógicas simbólicas. Hay al menos dos diferencias principales: primero, es más difícil
analizar un diagrama 2D que una oración simbólica 1D; Más importante aún, al generar
pruebas automáticamente, los diagramas deben disponerse para que el usuario pueda leer
las pruebas. Con respecto a la segunda diferencia, posiblemente el aspecto más difícil del
diseño del diagrama de araña esté en la generación inicial del diagrama de Euler
subyacente. Allí tienen
Ha habido muchos esfuerzos recientes en este sentido, incluyendo [1,5, 15, 19,26]. Las
arañas se pueden agregar automáticamente más adelante, como se demuestra en [17].
En términos de razonamiento automatizado, esto se ha investigado para diagramas
unitarios de Euler [24] y, hasta cierto punto, para diagramas de araña, por ejemplo [7].
Los enfoques utilizados se basan en una búsqueda heurística, guiada por una función que
proporciona un límite inferior a la longitud de la prueba. En términos generales, cuanto
mejor sea este límite inferior, más eficientemente el demostrador del teorema encontrará
pruebas. Ha sido posible producir mejores técnicas de búsqueda de pruebas para el
razonamiento con diagramas de araña unitarios [7] que para diagramas compuestos [6].
Como se demostró en [25], la traducción de un diagrama de araña unitario con constantes
da como resultado (excepto en casos triviales) un diagrama compuesto. Por lo tanto, es
muy probable que sea beneficioso, desde una perspectiva de razonamiento automatizado,
desarrollar demostradores de teoremas para diagramas de araña con constantes utilizando
las reglas presentadas en este artículo en lugar de utilizar traducciones y posteriormente
emplear demostradores de teoremas para diagramas de araña. Un demostrador del
teorema del diagrama de Euler, llamado EDITH, está disponible gratuitamente para
descargar desdehttp://www. cmis.brighton.ac.uk/research/vmg/autoreas.htm. Observamos
que los principales objetivos del razonamiento automatizado en sistemas diagramados no
necesitan incluir superar a los demostradores de teoremas simbólicos en términos de
velocidad; De suma importancia es la producción de pruebas que sean accesibles para el
lector y es posible que esta restricción de legibilidad tenga un gran impacto en el tiempo
necesario para encontrar una prueba.
136 G. Stapleton y col.
8 Conclusión
Hemos proporcionado sintaxis y semántica formal para el lenguaje de diagramas de araña
con constantes y presentado un conjunto de reglas de razonamiento para este lenguaje.
Hemos demostrado que el sistema resultante es sólido, completo y decidible. Aunque la
inclusión de arañas constantes no aumenta el poder expresivo, creemos que si uno desea
hacer declaraciones sobre individuos específicos, entonces es natural hacerlo usando
constantes explícitamente. Por lo tanto, aumentar con constantes, aunque no aporta
beneficios de expresividad, es probable que aumente la usabilidad de la notación. Con las
reglas de razonamiento desarrolladas en este artículo, los usuarios pueden razonar con el
lenguaje cuando se incluyen constantes. Estos sistemas de razonamiento proporcionan
una base esencial para permitir el uso de diagramas para la formalización y el
razonamiento matemático.
En el futuro, planeamos investigar el uso de constantes en notaciones que amplían los
diagramas de araña. Estos incluyen diagramas de restricciones [14] y sus
generalizaciones [22]. Investigaciones recientes han comenzado a desarrollar una
variación de diagramas de restricciones que es adecuada para especificar y razonar sobre
ontologías.13, 18].
ReconocimientoEste trabajo cuenta con el apoyo de la subvención EPSRC del Reino Unido “Definición
de lenguajes regulares con diagramas” [EP/H012311/1].
Referencias
1. Chow, S., Ruskey, F.: Dibujo de diagramas de Venn y Euler proporcionales al área. En: Actas de
Graph Drawing 2003, Perugia, Italia. LNCS, vol. 2912, págs. 466–477. Springer, Berlín (2003)
2. Clark, R.: Descomposición modular por modo de fallo mediante diagramas de araña. En: Actas de
diagramas de Euler 2004. Notas electrónicas en Theor. Computadora. Ciencia, vol. 134, págs. 19-31
(2005)
3. De Chiara, R., Erra, U., Scarano, V.: VennFS: un administrador de archivos de diagramas de Venn.
En: Procedimientos de visualización de información, págs. 120-126. Computación IEEE. Soc., Los
Alamitos (2003)
4. Euler, L.: Lettres a une princesse d'Allemagne sur divers sujets de physique et de philosophie. Ópera
Omnia 2, 102-108 (1775)
5. Flower, J., Howse, J.: Generación de diagramas de Euler. En: Actas de la Segunda Conferencia
Internacional sobre Teoría y Aplicación de Diagramas, Georgia, EE. UU., págs. Springer, Jardines
Callaway (2002)
6. Flower, J., Masthoff, J., Stapleton, G.: Generación de pruebas con diagramas de araña utilizando
heurísticas. En: Actas de sistemas multimedia distribuidos, Taller internacional sobre lenguajes
visuales y computación, págs. Instituto de Sistemas de Conocimiento, San Francisco (2004)
7. Flower, J., Masthoff, J., Stapleton, G.: Generación de pruebas legibles: un enfoque heurístico para la
demostración de teoremas con diagramas de araña. En: Actas de la 3ª Conferencia Internacional
sobre Teoría y Aplicación de Diagramas, Cambridge, Reino Unido. LNAI, vol. 2980, págs. 166–
181. Springer, Berlín (2004)
8. Gurr, C.: Alineación de sintaxis y semántica en formalizaciones de lenguajes visuales. En: Actas de
los simposios del IEEE sobre entornos y lenguajes informáticos centrados en el ser humano, págs.
Computadora IEEE. Soc., Los Alamitos (2001)
9. Hayes, P., Eskridge, T., Saavedra, R., Reichherzer, T., Mehrotra, M., Bobrovnikoff, D.: Captura
colaborativa de conocimiento en ontologías. En: Actas de la Tercera Conferencia Internacional
sobre Captura de Conocimiento, págs. 99-106 (2005)
10. Howse, J., Molina, F., Shin, S.-J., Taylor, J.: Sintaxis de tipos y sintaxis de tokens en sistemas
esquemáticos. En: Actas FOIS-2001: Segunda Conferencia Internacional sobre Ontología Formal en
Sobre la integridad de los diagramas de araña aumentados con constantes 137
Sistemas de Información, Maine, EE. UU., págs. ACM, Nueva York (2001)
11. Howse, J., Molina, F., Taylor, J., Kent, S., Gil, J.: Diagramas de araña: un sistema de razonamiento
esquemático.
J. Vis. Lang. Computadora. 12(3), 299–324 (2001)
12. Howse, J., Stapleton, G., Taylor, J.: Diagramas de araña. LMS J. Computación. Matemáticas. 8,
145-194 (2005)
13. Howse, J., Stapleton, G., Taylor, K., Chapman, P.: Visualización de ontologías: un estudio de caso.
En: Conferencia Internacional sobre Web Semántica 2011. Springer, Bonn (2011)
14. Kent, S.: Diagramas de restricciones: visualización de invariantes en el modelado orientado a
objetos. En: Actas de OOPSLA97, págs. 327–341. ACM, Nueva York (1997)
15. Kestler, H., Muller, A., Kraus, J., Buchholz, M., Gress, T., Kane, D., Zeeberg, B., Weinstein, J.:
Venn-Master: diagramas de Euler proporcionales al área para Análisis funcional de microarrays.
BMC Bioinformática 9 (67) (2008)
16. Lovdahl, J.: Hacia un entorno de edición visual para los lenguajes de la web semántica. Tesis
doctoral, Universidad de Linköping (2002)
17. Mutton, P., Rodgers, P., Flower, J.: Dibujar gráficos en diagramas de Euler. En: Actas de la 3ª
Conferencia Internacional sobre Teoría y Aplicación de Diagramas, Cambridge, Reino Unido.
LNAI, vol. 2980, págs. 66–81. Springer, Berlín (2004)
18. Oliver, I., Howse, J., Stapleton, G., Nuutila, E., Törmä, S.: Visualización y especificación de
ontologías utilizando lógicas esquemáticas. En: V Taller de Ontologías de Australasia. Conf. Res.
Practica. inf. Tecnología, vol. 112. CRPIT, Melbourne (2009)
19. Rodgers, P., Zhang, L., Fish, A.: Generación de diagramas generales de Euler. En: Conferencia
internacional sobre teoría y aplicaciones de diagramas, págs. 13-27. Springer, Herrsching (2008)
20. Shimojima, A.: Capacidades inferenciales y expresivas de las representaciones gráficas: estudio y
algunas generalizaciones. En: Actas de la 3ª Conferencia Internacional sobre Teoría y Aplicación de
Diagramas, Cambridge, Reino Unido. LNAI, vol. 2980, págs. 18-21. Springer, Berlín (2004)
21. Stapleton, G.: Diagramas de araña aumentados con constantes: un sistema completo. En: Lenguajes
visuales y computación, págs. 292–299 (2008)
22. Stapleton, G., Delaney, A.: Evaluación y generalización de diagramas de restricciones. J. Vis. Lang.
Computadora. 19(4), 499–521 (2008)
23. Stapleton, G., Thompson, S., Howse, J., Taylor, J.: La expresividad de los diagramas de araña. J.
Registro. Computadora. 14(6), 857–880 (2004)
24. Stapleton, G., Masthoff, J., Flower, J., Fish, A., Southern, J.: Demostración automatizada de
teoremas en sistemas de diagramas de Euler. J. Autom. Razón. 39, 431–470 (2007)
25. Stapleton, G., Taylor, J., Howse, J., Thompson, S.: La expresividad de los diagramas de araña
aumentada con constantes. J. Vis. Lang. Computadora. 20(1), 30–49 (2009)
26. Stapleton, G., Rodgers, P., Howse, J., Zhang, L.: Generación inductiva de diagramas de Euler.
Traducción IEEE.
Vis. Computadora. Grafico. 17(1), 88-100 (2011)
27. Swoboda, N., Allwein, G.: Uso de transformaciones DAG para verificar reglas de inferencia
homogéneas de Euler/Venn y heterogéneas de Euler/Venn FOL. J. Softw. Sistema. Modelo. 3(2),
136-149 (2004)
28. Zhao, Y., Lövdahl, J.: Un método basado en la reutilización para desarrollar la ontología para la
contratación electrónica. En: Actas de la Conferencia Nórdica sobre Servicios Web, págs. 101-112
(2003)
S.Thompson
138 G. Stapleton y col.
Escuela de Computación, Universidad de Kent, Canterbury, Reino Unido
correo electrónico: sjthompson@kent.ac.uk
Un enfoque de diagramas basado en la práctica
valeria giardino
AbstractoEn este artículo, propongo un marco operativo para diagramas. Según este
marco, los diagramas no funcionan como oraciones, porque no aplicamos un conjunto de
reglas lingüísticas explícitas para usarlos. Más bien, somos capaces de manipular
diagramas de manera significativa una vez que nos familiarizamos con alguna práctica
específica y, por lo tanto, nos involucramos en una forma de razonamiento que es estable
porque es compartida. Este razonamiento constituye al mismo tiempo descubrimiento y
justificación de este descubrimiento. Haré tres afirmaciones, basadas en la consideración
de diagramas en la práctica de la lógica y las matemáticas. En primer lugar, afirmaré que
los diagramas son herramientas, siguiendo algunas de las sugerencias de Peirce. En
segundo lugar, daré razones para abandonar una clara distinción entre visión y lenguaje y
considerar, por contraste, cómo ambos se integran en una práctica de manipulación
específica, mediante una especie de imaginación manipuladora. En tercer lugar,
defenderé la idea de que una característica inherente a los diagramas, dada por su
naturaleza de imágenes, es su ambigüedad: cuando los diagramas son "domesticados"
mediante la referencia a algún sistema de reglas explícitas que fijan su significado y
hacen que su mensaje sea unívoco, terminan siendo menos poderosos.
A. Moktefi, S.-J. Shin (eds.), Razonamiento visual con diagramas, Estudios de lógica universal, DOI
10.1007/978-3-0348-0600-8_8, © Springer Basilea 2013
Un enfoque de diagramas basado en la práctica 137
Consideremos, por ejemplo, el caso del teorema del cero intermedio. XXXV Según este
teorema, si una función f es continua en el intervalo [a, b] y f cambia de signo de
negativo a positivo (o viceversa), entonces hay ac entre a y b tal que f(c) = 0. La figura
que muestra dicha función se muestra en la Fig.1.
Al observar la figura, nos inclinamos a creer que el teorema se cumple, porque
podemos "verlo" claramente. La línea del argumento sería la siguiente: el eje horizontal
divide el espacio del lado derecho del eje vertical en dos regiones; en la región por
encima del eje horizontal, el signo de la función es positivo, mientras que en la región
por debajo del eje horizontal, el signo de la función es negativo. La función f entonces se
describiría como si realizara la acción de moverse de f(a) a f(b): si la función cambia de
signo de negativo a positivo (o viceversa), entonces tiene que ir desde debajo del eje
horizontal hasta encima (o viceversa). La cifra es sencilla: tenemos la impresión de que
nuestro razonamiento corresponde a lo que "vemos".
Sin embargo, una cierta concepción de la lógica y las matemáticas, al suscribir la
antigua distinción entre un contexto de justificación y un contexto de descubrimiento, ha
relegado nuestra disposición natural a utilizar figuras para mostrar el contenido de
nuestras afirmaciones al contexto psicológico del descubrimiento. Esta concepción ha
descartado figuras y diagramas por no ser rigurosos. Llamaré a esta visión la visión
sospechosa, porque niega que el razonamiento esquemático desempeñe un papel en el
contexto de la justificación y porque quiero poner en duda este enfoque. Menciono aquí
que uso deliberadamente el término "sospechoso" de manera ambigua; Como mostraré
más adelante en el artículo, la ambigüedad será importante en relación con los
diagramas.
Según la visión sospechosa, los diagramas, a pesar de ser buenas herramientas
heurísticas para el descubrimiento y la explicación, no son suficientes a la hora de
demostrarlo. Esta visión no niega directamente las ventajas cognitivas y computacionales
del uso de diagramas, sino que más bien propone una imagen de la lógica y las
matemáticas fuertemente dominada por la prueba. Las pruebas, a su vez, se conciben
como objetos sintácticos particulares, es decir, derivaciones y, por tanto, entidades
verbales/simbólicas. Si las demostraciones formales son el núcleo de las matemáticas,
entonces los diagramas no pueden ser parte de ellas, a menos que sean "domesticados"
mediante la definición de algunas reglas sintácticas que controlen su uso. En tal marco, la
justificación se define por la prueba y el rigor, y sólo ellos conducen a la verdad: el
conocimiento matemático ocurre sólo cuando somos verdaderamente
justificadoen nuestra creencia, es decir, cuando tenemos una prueba formal, y no cuando
simplemente estamos justificados para creer que un enunciado es verdadero, como en el
caso de la Fig.1para el teorema del cero intermedio. Como explica Fallis,
XXXVEl teorema se menciona, entre otros, en [4].
138 V. Giardino
Aunque hay muchas maneras en que un matemático podría estar justificado al creer que un
enunciado matemático es verdadero, sólo hay una manera en la que un matemático se siente
verdaderamente justificado. Específicamente, el matemático tiene que conocer una prueba del
enunciado matemático ([10], pag. 46).
Sin embargo, Barwise y Etchemendy, así como más tarde Shin, no renunciaron a la
idea de que las pruebas son el núcleo de la lógica y las matemáticas y que las pruebas son
derivaciones. Por lo tanto, su estrategia fue forzar y "domesticar" el razonamiento
diagramado definiendo reglas sintácticas para llevar a cabo manipulaciones
diagramamáticas: en su opinión, sólo los diagramas "domados", es decir, los diagramas
sobre los que tenemos control, pueden convertirse en elementos "rigurosos" de las
pruebas formales. .
Por el contrario, supongamos que es posible una imagen alternativa de la lógica y las
matemáticas. Esta imagen no tiene en su núcleo pruebas formales, sino más bien las
prácticas que son compartidas por una comunidad de académicos que en su trabajo
ordinario consideran pruebas informales, como pruebas basadas en inducción o
herramientas visuales, como suficientes para estar justificado en creer que alguna
afirmación es válida. Como sugiere Brown, debemos suponer
una actitud algo más humilde hacia nuestra comprensión del razonamiento verbal/simbólico. La
lógica de primer orden puede entenderse bien, pero lo que pasa por una prueba aceptable en
matemáticas incluye mucho más que eso ([4], pag. 164).
XXXVIBarwise y Etchemendy citan este pasaje de un artículo de Tennant (ver [28]). Creen que expresa
el "dogma" del logocentrismo que quieren desafiar.
Un enfoque de diagramas basado en la práctica 139
2 Diagramas en la práctica
igual a n) más la mitad de n (el área de los triángulos negros). Por lo tanto, la figura
muestra que la ecuación se cumple: el mismo diagrama que representa el lado derecho de
la ecuación también representa su lado izquierdo.
Sin embargo, afirma Brown, la figura de la Fig.2es estrictamente hablando sólo una
'imagen', una ilustración del caso n = 6, y como consecuencia
podemos afirmar que existe un isomorfismo en alguna estructura numérica con esa cardinalidad. Sin
embargo, ciertamente no es isomorfo a todos los números. Es cierto que es homomórfico a la
estructura de los números enteros. Pero tenga en cuenta que un homomorfismo de una estructura más
grande es (al menos en el caso que nos ocupa) un isomorfismo de una parte ([4], pag. 173).
Por tanto, el diagrama de la Fig.2nos dice algo sobre la parte de la estructura a la que
es isomorfa, pero nada sobre el resto de la misma estructura. La propuesta de Brown es
entonces negar que cifras como la de la Fig.2son imágenes en absoluto, y suponemos
que, en sus palabras, “algunas 'imágenes' no son realmente imágenes, sino más bien
ventanas al cielo de Platón”: las figuras son herramientas en el mismo sentido en que los
telescopios son herramientas para el ojo humano. Por esta razón, los problemas (i) y (ii)
no se aplican, ya que los diagramas no representan ninguna situación posible y, hasta
cierto punto, siempre son inapropiados. En pocas palabras, en opinión de Brown, es
posible ser realista acerca de los objetos abstractos sin serlo acerca de las imágenes.5].
La solución de Brown se basa, pues, en el realismo de los objetos abstractos. Mi
objeción a su punto de vista es que explica lo que ya es misterioso (nuestra forma común
de referirnos a las figuras en nuestro razonamiento) por medio de entidades aún más
misteriosas: objetos abstractos en un cielo platónico. Además, como afirma Folina,
Los telescopios no son en sí mismos.justificativo: no es el telescopio el que se cita como justificación
principal para una afirmación astronómica. Lo mismo ocurre con Windows: más bien, es
simplemente una herramienta que nos permite "ver" la evidencia o la "imagen" abstracta ([
......................................................................................................11], pag. 426).
Según Folina, Brown respalda el platonismo para afirmar que las cifras pueden probar
legítimamente la verdad de los enunciados matemáticos, pero esto no tiene sentido. De
hecho, bien podemos aceptar el supuesto de que los diagramas no pueden formar parte de
pruebas formales; la cuestión es más bien afirmar que las pruebas formales son sólo un
subconjunto adecuado de una variedad de justificaciones en matemáticas. Como en la
crítica al programa de Barwise y Etchemendy, el verdadero desafío no es hacer de los
diagramas componentes legítimos de las pruebas formales, sino más bien dar cuenta de
cómo pertenecen a otros tipos de justificaciones de la variedad. En este sentido, la
opinión de Brown no es útil.
Me pondré del lado de Brown y estaré de acuerdo con él en que los diagramas no son
imágenes de objetos abstractos sino instrumentos y, por lo tanto, los problemas (i) y (ii)
no se aplican. Sin embargo, no diré que sean telescopios que apuntan a un cielo
platónico, porque no estamos
seguro de la existencia de tal cielo. En la siguiente sección, discutiré lo que pretendo al
142 V. Giardino
A los efectos de este artículo, utilizo la etiqueta "diagrama" como un término muy
general para referirme a pantallas bidimensionales. XXXVII Me muevo dentro de una
perspectiva peirceana y considero los diagramas como instrumentos para pensar en las
siguientes líneas.
En primer lugar, para que sean eficaces, los diagramas siempre deben interpretarse
dentro de un determinado contexto de uso. En segundo lugar, la referencia a ellos
contribuye a la definición misma de este contexto y estructura el problema a resolver. En
tercer lugar, los diagramas pertenecen al género de "representación" como "aquel
carácter de una cosa en virtud del cual, para la predicación de un cierto efecto mental,
puede sustituir a otra cosa" ([13], vol. 1, párr. 564; escrito en 1893). Sin embargo, esto no
debe tomarse literalmente, ya que los diagramas no representan "directamente" algún
objeto abstracto cuya existencia se presupone; más bien, encarnan una selección de
relaciones relevantes. Finalmente, los diagramas se dan con una intención, como lo son
todas las herramientas, entre ellas las cognitivas y epistémicas: se conciben para lograr
algún objetivo particular, y la intención detrás de su creación debe reconocerse para
poder interpretarlos y utilizarlos adecuadamente. .
Por lo tanto, algunas de las características físicas de un diagrama se refieren a
elementos abstractos que no están directamente presentes en el diagrama. Al manipular
estas características físicas, el usuario (el "intérprete") aprende o descubre genuinamente
algo nuevo sobre las relaciones que encarna el diagrama. Como bien señaló Peirce, este
aspecto dinámico de los diagramas desencadena “un estado de actividad” en el intérprete
que conduce a la experimentación.XXXVIII El razonamiento esquemático acercaría entonces
la lógica y las matemáticas a las ciencias naturales: los lógicos y los matemáticos
experimentan con las mismas representaciones que constituyen sus instrumentos. Peirce
va aún más lejos al decir que “todo razonamiento necesario, sin excepción, es
esquemático” ([13], vol. 5, párr. 162; escrito en 1903). Una vez más, no adoptaré
ninguna postura en el debate sobre lo que se considera razonamiento necesario. Mi
sugerencia más modesta es que para afirmar que los diagramas son lo suficientemente
estables como para proporcionar una justificación, debemos considerar la práctica
compartida por la comunidad de actores que experimentan con ellos. Los diagramas son
representaciones utilizadas con la intención de encarnar relaciones; además, promueven
la inferencia porque pueden interpretarse y manipularse de diversas maneras según la
práctica compartida.
Una ventaja importante de este enfoque operativo es que descarta la oposición entre
razonamiento visual y conocimiento lingüístico. De hecho, la dicotomía entre visión y
lenguaje, que ha llevado a la antítesis entre visiones visuocéntricas y logocéntricas, es
perniciosa.
En las próximas secciones, discutiré primero los riesgos de ponerse del lado de o en
XXXVIINo niego aquí la posibilidad de que existan diagramas tridimensionales. Sólo quiero excluir esta
posibilidad por el momento, porque me inclino a pensar que implica consideraciones adicionales.
XXXVIII“Sin embargo, no es el icono del diagrama estático el que muestra esto directamente; pero el
ícono del Diagrama se construyó con una Intención [...]. Ahora veamos cómo el Diagrama arrastra su
consecuencia. El Diagrama participa suficientemente de la percusión de una Percepción para determinar,
como su Interpretante Dinámico o Medio, un estado [de] actividad en el Intérprete, mezclado con
curiosidad. Como siempre, esta mezcla conduce a la Experimentación”. En [21].
Un enfoque de diagramas basado en la práctica 143
En la sección anterior sostuve que los diagramas son ventajosos no simplemente porque
sean más "visuales" que las oraciones. De la misma manera, si se supone la oposición
entre visión versus lenguaje, ni siquiera un enfoque en las posibles traducciones
verbales/simbólicas del mensaje transmitido por el diagrama producirá una buena
descripción de lo que sucede en el razonamiento diagramado.
Consideremos un estudio de caso desde la lógica, que muestra el contraste entre el
impulso de rigor y el beneficio cognitivo de la representación esquemática. XXXIX En el
siglo XVIII, el matemático Euler introdujo sus círculos (D1) para el estudio de los
silogismos. Como explican Shin y Lemon, la representación en los diagramas de Euler se
rige por la convención según la cual a cada objeto x en el dominio se le asigna una
ubicación única en el plano, digamos l(x), tal que l(x) esté en la región R si y sólo si x es
miembro del conjunto que representa la región [27]. Nótese que, a pesar de su aparente
naturalidad, este movimiento ya es convencional ya que la elección de los círculos es
arbitraria. Otros lógicos introdujeron sistemas que utilizaban puntos para objetos y líneas
para conjuntos.8,15]. Por otra parte, esta convención explota mejor que otras la
configuración perceptiva que Lakoff y Núñez han definido como esquema de contención:
los círculos y, en general, las figuras cerradas son más eficaces que las líneas a la hora de
ser interpretados como "que contienen" a los miembros de un conjunto en un conjunto. la
región espacial que identifican [14].
A pesar de su sencillez, los círculos de Euler tienen limitaciones expresivas y
conservan algunas ambigüedades cruciales, por ejemplo cuando representan enunciados
existenciales, el conjunto vacío o la congruencia entre conjuntos. Para solucionar algunas
de estas ambigüedades o límites, en 1881 Venn introdujo su propio sistema de diagramas
(D2) basado en 'diagramas primarios'. Los diagramas primarios no contienen ninguna
información particular en sí mismos; Para que tengan significado, deben complementarse
con etiquetas y matices. A pesar de su mayor generalidad, los diagramas de Venn
presentan nuevas limitaciones expresivas, y por ello Pierce, en el siglo XX, los modificó
introduciendo tres nuevos símbolos (0, x, –), proporcionando así un nuevo sistema (D3)
mediante el cual los enunciados existenciales , se podría representar información
disyuntiva, probabilidades y relaciones (ver Fig.4).
D2: Todos los A son BD3: Todos los A son B o Algunos A son B
Figura 4Tres ejemplos de círculos para silogismo: Euler (D1), Venn (D2) y Peirce (D3)
Al pasar de D1 a D3, los nuevos sistemas se vuelven cada vez más expresivos. En los
años 90, Shin continuó por este camino y propuso un sistema formal que mejoró los
diagramas de Peirce haciéndolos aún más poderosos expresivamente [25].
Sin embargo, como comentan Shin y Lemon, la introducción de nuevas convenciones
por parte de Peirce (así como de Shin) aumentó el poder expresivo de los diagramas
individuales a expensas de la claridad visual de la que disfruta el sistema original de
Euler. Las nuevas convenciones son más arbitrarias y las nuevas representaciones más
confusas. Esto es cierto, a pesar de que la elección que hace Peirce del símbolo '0' para el
conjunto vacío no es del todo arbitraria. Según los autores, cuando se completó la
revisión de Peirce, la mayoría de las ideas originales de Euler sobre la visualización se
perdieron, excepto la elección de un objeto geométrico, el círculo, que todavía se utiliza
para representar conjuntos (posiblemente vacíos). Modificaría ligeramente su afirmación
y diría que lo que se retuvo en D3 fue la mera apariencia de los círculos del sistema
esquemático original, pero no su función de explotar el esquema de contención. Como
afirmó el propio Euler, "podemos emplear, entonces, espacios formados a voluntad para
representar cada noción general, y marcar el tema de un enunciado mediante un espacio
que contenga A, y el atributo mediante otro que contenga B". XL Estos son los "espacios"
que importaban para él y su sistema, y no la figura particular que tenían. Los círculos
podrían haberse transformado en cuadrados, por ejemplo, sin cambiar su función de
"contención" y, por tanto, sin cambiar el poder expresivo del sistema. Con la
introducción de diagramas primarios, esta función de "contención" pierde su centralidad
y se introducen nuevos elementos como sombras y etiquetas para que el sistema tenga
significado. La estrategia de aumentar la expresividad de los diagramas fijando su
significado mediante la introducción de estas convenciones arbitrarias proporciona una
interesante extensión "diagramática" de la lógica oracional, pero al mismo tiempo priva a
las herramientas espaciales de su efectividad y sencillez, y deja atrás nuestras
capacidades perceptivas y capacidades imaginativas.
Consideremos ahora la fascinante colección de "pruebas visuales" que Nelsen ofrece
en sus dos libros, titulados Pruebas sin palabras (I, II)[18,19]. Si se examinan más de
cerca, estas pruebas son
no simplemente "sin palabras", ya que el uso de un diagrama no es sólo una cuestión de
visión. Como en el caso del teorema del cero intermedio, tenemos que conocer el
enunciado matemático en cuestión para encontrarlo "en" o "representado por" el
XLCarta 103, Del silogismo y sus diferentes formas, cuando la primera proposición es universal. Ver
[9].
146 V. Giardino
Primero presentaré un ejemplo para mostrar que los diagramas son ambiguos como lo
son todas las imágenes. En segundo lugar, discutiré cómo esta ambigüedad puede ser de
ayuda en matemáticas al promover la inferencia.
Los diagramas no hablan directamente a los ojos ni transmiten un solo mensaje ya
que, al igual que otras imágenes, son inherentemente ambiguos. Quiero mencionar aquí
un caso particularmente sencillo que muestra la naturaleza ambigua de las imágenes.
En la década de 1930, el filósofo austriaco Neurath introdujo el Isotipo (Sistema
Internacional de Educación Tipográfica de Imágenes) con el objetivo de ofrecer una
herramienta que, en su opinión, podría haber solucionado los problemas de comunicación
causados por los diferentes niveles de educación entre las personas, permitiendo así la
libre discusiones sobre problemas comunes y la difusión de hechos simples pero
importantes [20]. Isotype pretendía ser una nueva forma de transmitir información que
fuera al mismo tiempo fácil de enseñar y aprender, y que fuera completa y exacta. Incluía
un diccionario especial y una gramática visual especial que, según Neurath, creaba un
nuevo mundo visual análogo al mundo de las palabras. Como explica Neurath,
El primer paso en Isotipo es el desarrollo de símbolos fáciles de comprender y recordar.
El siguiente paso es combinar estos elementos simbólicos.
XLITodavía hoy existen intentos de seguir este camino, como el pictórico 'Point it: Traveler's Language
Kit', de Dieter Graf.
Un enfoque de diagramas basado en la práctica 151
razonar en diferentes etapas. En un momento, debe considerar las líneas del diagrama
como los radios de los dos círculos: a partir de esta configuración, concluye que las tres
líneas tienen la misma longitud. En una segunda etapa, debe considerar las mismas líneas
como los lados de un triángulo: de esta nueva configuración, concluye que la figura
construida es el triángulo equilátero deseado. Por lo tanto, el diagrama es de alguna
manera ambiguo, porque se puede considerar que atiende a diferentes configuraciones.
Lo interesante es que todas estas configuraciones posibles son compatibles, y su
compatibilidad viene dada por el hecho de que todas las configuraciones pertenecen al
mismo diagrama.
Como explica Macbeth, “las mismas líneas ahora se consideran partes de un círculo y
más tarde partes de un triángulo” ([dieciséis], cursiva mía). En este caso, hay tres niveles
discernibles de articulación: (i) partes primitivas (puntos, líneas, ángulos y áreas); (ii)
figuras geométricas (círculos, triángulos y cuadrados); y finalmente, (iii) el diagrama
completo. Para encontrar la solución al problema planteado por Euclides, hay que
considerar estos tres niveles juntos, precisamente explotando la multidimensionalidad del
significado del diagrama. La generalidad del diagrama viene dada por el hecho de que
está construido siguiendo las instrucciones del texto y es manipulado por la imaginación;
el diagrama es confiable porque su uso se considera dentro de una práctica específica, la
geometría euclidiana, y su interpretación se entrelaza con el resto del sistema compartido
de conocimientos y procedimientos que pertenecen a la geometría euclidiana y sirve
como garantía de la corrección del razonamiento. El diagrama, por tanto, no es una
imagen, sino un instrumento que favorece la inferencia gracias a sus posibles
manipulaciones. Además, no es necesario dibujar correctamente el diagrama, siempre
que el usuario conozca las prescripciones contenidas en las instrucciones para su
construcción y sea consciente de su significado previsto.
Hemos visto en la Fig.2algo parecido al caso descrito por Macbeth. Para utilizar el
diagrama para la suma de números naturales hasta n, debemos considerarlo ahora como
una colección de cuadrados que van de 1 a n, correspondientes a números de 1 a n, y más
tarde como un collage de triángulos, los Triángulo isósceles con n lados cortos y n
semicuadrados. Las dos configuraciones que pertenecen al diagrama completo nos
llevaron a nuestra conclusión. Además, considere la Fig.1y el caso del teorema del cero
intermedio. En nuestra descripción lingüística normalmente decimos que la función va
desde debajo del eje horizontal hasta encima de él; lo hacemos porque reproducimos
metafóricamente su construcción en nuestra imaginación.
Mi hipótesis es que, dentro de una práctica específica, el espacio del diagrama
percibido se combina con las acciones realmente realizadas o imaginadas sobre él, en
continua interacción con el conocimiento lingüístico. Todos estos elementos juntos
contribuyen a la creación de significado matemático: la imaginación manipuladora está
en acción para proporcionar evidencia a favor de alguna línea de pensamiento particular.
5 Conclusiones
En este artículo, intenté dar argumentos a favor de un marco operativo para el
razonamiento esquemático basado en la práctica de la lógica y las matemáticas. En
primer lugar, presenté lo que definí como la visión sospechosa, según la cual los
diagramas no son lo suficientemente fiables para
152 V. Giardino
contar como evidencia para una conclusión. Sostuve que este punto de vista se basa en
gran medida en una concepción de las pruebas como objetos y derivaciones sintácticos, y
defendí la idea de que la justificación en la práctica es mucho más que sólo una prueba.
Además, desde una perspectiva peirceana, sostuve que los diagramas son un tipo de
representación muy especial, que es dinámica y necesita un intérprete. Según el marco
que propongo, para dar cuenta del razonamiento esquemático es necesario centrarse en la
práctica compartida por la comunidad y en las acciones realizadas en el diagrama
considerando dos aspectos principales: (i) la imaginación manipuladora; (ii) el papel de
la ambigüedad en el desencadenamiento de esta imaginación.
La dicotomía entre el pensamiento visual, por un lado, y los procesos lingüísticos, por
el otro, ha oscurecido el hecho de que lo que cuenta en el razonamiento esquemático es la
práctica de manipulación, basada en procedimientos holísticos y no en la definición de
reglas lingüísticas explícitas. Según este marco basado en la práctica, es la práctica la que
fija el significado de los diagramas en cada ocasión; de lo contrario, son tan ambiguos
como lo son otras imágenes, y es una especie de imaginación manipuladora la que opera
sobre ellos. Cada práctica está definida por procedimientos de manipulaciones y hechos
interconectados. Todos estos elementos tomados en conjunto definen a su vez el sistema
de conocimiento compartido por la comunidad; este sistema engloba diagramas,
enunciados, notaciones particulares y acciones prescritas o permitidas en ellos.
AgradecimientosQuiero agradecer a Mario Piazza, Achille Varzi, Roberto Casati y dos árbitros
anónimos que me dieron sugerencias muy útiles para mejorar este artículo. Muchas gracias a Christopher
Whalin por haber revisado la versión final. Un agradecimiento especial a los editores, Amirouche
Moktefi y Sun-Joo Shin, por su cuidadoso trabajo.
Referencias
1. Baldasso, R.: Ilustrando el libro de la naturaleza en el Renacimiento: dibujo, pintura e impresión de
diagramas geométricos y figuras científicas. Tesis doctoral (2007)
2. Barwise, J., Etchemendy, J.: Información visual y razonamiento válido. En: Allwein, G., Barwise, J.
(eds.) Razonamiento lógico con diagramas, págs. 3–25. Oxford University Press, Londres (1996)
3. Bouligand, G.: Premières leçons sur la théorie générale des groupes. Vuibert, París (1932)
4. Brown, JR: Pruebas e imágenes. Hno. J. Filos. Ciencia. 48, 161–180 (1997)
5. Brown, JR: Filosofía de las matemáticas: una introducción al mundo de las pruebas y las imágenes.
Routledge, Londres (1999)
6. Byrne, O.: Primeros seis libros de los elementos de Euclides, en los que se utilizan diagramas y
símbolos coloreados en lugar de letras para mayor facilidad de los estudiantes. William Pickering,
Londres (1847)
7. Corfield, D.: Hacia una filosofía de las matemáticas reales. Prensa de la Universidad de Cambridge,
Cambridge (2003)
8. Englebretsen, G.: Diagramas lineales para silogismos (con relacionales). Notre Dame J. Formulario.
Registro. 33(1), 37–69 (1992)
9. Euler, L.: Cartas de Euler a una princesa alemana: sobre diferentes temas de física y filosofía (trad.:
Hunter, H.). Thoemmes Continuum, Londres (1997)
10. Fallis, D.: Lagunas intencionales en las pruebas matemáticas. Síntesis 134 (1–2), 45–69 (2003)
11. Folina, J.: Imágenes, pruebas y "práctica matemática": respuesta a James Robert Brown. Hno. J.
Filos.
Ciencia. 50(3), 425–429 (1999)
12. Grosholz, E.: Representación y ambigüedad productiva en matemáticas y ciencias. Oxford
University Press, Londres (2007)
13. Hartshorne, C., Weiss, P. (eds.): Artículos recopilados de Charles Sanders Peirce, vols. 1–6. Prensa
de la Universidad de Harvard, Cambridge (1931-1935)
14. Lakoff, G., Nuñez, R.: De dónde vienen las matemáticas: cómo la mente encarnada da origen a las
matemáticas. Libros básicos, Nueva York (2001)
Un enfoque de diagramas basado en la práctica 153
Zach Weber
A. Moktefi, S.-J. Shin (eds.), Razonamiento visual con diagramas, Estudios de lógica universal, DOI
10.1007/978-3-0348-0600-8_9, © Springer Basilea 2013
Al debatir el estatus de las imágenes y el razonamiento visual (¿puede una imagen ser
una prueba?) la noción de representación es crucial. Hay dos sentidos de representación a
considerar. Se puede hablar de representar un objeto o estructura matemática con otro,
por ejemplo, dando una representación concreta de un grupo abstracto o usando una serie
de potencias formal para representar una función en un dominio particular. También se
puede hablar del uso de artefactos físicos, como diagramas o expresiones, para
representar objetos y afirmaciones matemáticas. Aunque prima facie se trata de dos
sentidos muy diferentes de la palabra "representación", veremos cómo ambos se
confunden, hasta el punto de volverse confusos. Por ejemplo, ¿qué tipo de representación
es una ecuación, como f(x) = x2, de un objeto geométrico, como una curva cerrada?
Estoy abierto, e incluso bienvenido, a la posibilidad de una respuesta matemática
(representación del primer tipo) a preguntas filosóficas (sobre representaciones del
segundo tipo).
De manera similar, y aún más básicamente, si bien existe una diferencia aparente
entre figuras y fórmulas (imaginación pictórica versus sintáctica), esa distinción también
se vuelve complicada; Se dan ejemplos en la sección. 3y en todas partes. Este artículo
plantea el problema de comprender las representaciones del segundo tipo, diagramas y
fórmulas, y luego pasa a considerar las representaciones del primer tipo, representaciones
internas de las matemáticas. Insto a que dentro de la teoría de categorías, el primer tipo
de representación, al menos en la medida en que sea pertinente a las matemáticas, pueda
ser total y satisfactoriamente subsumido por el segundo, en la medida en que aceptemos
la metodología inconformista y busquemos una respuesta que sea auténticamente
matemática. . El esquema de la teoría de categorías al que llegamos en la sección. 6 es
una explicación matemática de la representación esquemática en matemáticas. XLII
En gran parte de las matemáticas y su filosofía, las figuras y las fórmulas se conciben
como oposicionistas. en modernoXLIII En Alemania, Weierstrass lideró una clara
migración desde la visualización geométrica hacia la sintáctica, con entusiasmo por la
aritmetización de casi todo. Hoy, por el contrario, hay un movimiento entre un grupo
poco unido de 'inconformistas' para devolver nuestra atención a las fotografías. Esta
sección proporciona un resumen muy superficial de esta literatura. Las posiciones se
XLIIUna preocupación inicial sobre todo este enfoque se puede expresar de la siguiente manera (y
gracias a un árbitro por hacerlo). Si una respuesta es matemática, eso significa que la pregunta también lo
es; ¿no sería muy sorprendente que las preguntas de metafísica o epistemología tuvieran respuestas
matemáticas? El objetivo de este artículo y de proyectos con motivaciones similares es mostrar cómo la
filosofía matemática puede ser fructífera, señalando por ahora que la idea ha existido al menos desde
Descartes y Leibniz. Como programa de investigación, el enfoque matemático sería interesante e
informativo incluso si finalmente fracasa.
XLIIIEsto es usar 'moderno' en el sentido técnico de Jeremy Grey: “El modernismo se define como un
cuerpo autónomo de ideas, que tiene poca o ninguna referencia exterior, que pone un énfasis
considerable en los aspectos formales de la obra y mantiene una actitud complicada (de hecho, ansiosa)”.
—en lugar de una relación ingenua con el mundo cotidiano, que es la visión de facto de un grupo
coherente de personas, como un grupo profesional o disciplinario que tiene un alto sentido de la seriedad
y el valor de lo que es. tratando de lograr” [17, pag. 1].
Figuras, fórmulas y functores 155
presentan con distintos grados de urgencia, que ahora esbozamos por turno.
Creo que Giaquinto tiene razón en esto y que la tarea importante y difícil es precisar la
idea de "comprobar" la idoneidad de los medios visuales.
Como ya he indicado, el término clave a investigar es representación (ver
Sección.4.3). Parece muy plausible pensar que las buenas matemáticas representan su
tema de una manera que arroje más luz, pero sin distorsiones. (Las malas
representaciones, a su vez, sustituyen obscurum por obscurius.) Traducimos y
abstraemos, sin perder información esencial. En los ejemplos siguientes, revisaremos el
tema de que las buenas matemáticas y, por tanto, la buena representación matemática
captan lo suficiente, pero no demasiado. Encontraremos términos rigurosos para
caracterizar esto.
El movimiento inconformista tiene tanto que ver con la metodología como con el tema.
Pero un punto de detalle está claro: considera las preguntas estándar en filosofía de las
matemáticas (platonismo versus formalismo versus intuicionismo versus estructuralismo,
y los problemas de Benacerraf (¿qué son los números? ¿Cómo lo sabemos?)) como
programas de investigación viejos y agotados. "Las matemáticas han sido y siguen siendo
un excelente recurso para los filósofos", escribe Corfield. “No lo desperdiciemos” [8,
pag. 270].
Creo que en el enfoque inconformista hay implícita una hipótesis: algunas preguntas
filosóficas pueden tener respuestas matemáticas. Esto es bastante más fuerte que muchas
afirmaciones bastante contundentes; más a menudo la idea de Corfield et al. es que las
matemáticas mismas deberían generar las preguntas a las que se dirigen los filósofos.
Entonces la idea es hacer algo que se acerque a un estudio antropológico de las
matemáticas, donde todas las preguntas estén guiadas por los comportamientos dados.
Pero las preguntas que Aspray y Kitcher atribuyen a los inconformistas, y que Corfield
atribuye, son cuestiones inherentemente filosóficas. Se refieren a la epistemología y la
metafísica (realismo y antirrealismo). No es exagerado seguir el cambio inconformista
planteando preguntas filosóficas directamente a los datos matemáticos. Preguntamos a la
práctica matemática: ¿Cuáles son los roles de las figuras y fórmulas, sus relaciones y
representaciones? La validez de dicho método es la hipótesis de trabajo de este artículo.
Habiendo dado una visión general de algunos debates filosóficos, pasamos a la
supuesta distinción entre aspectos visuales y no visuales de la práctica matemática, a
través de algunos ejemplos.
3 Figuras y Fórmulas
X2+ y 2 = r 2
Estas son dos formas de ver un objeto matemático, geométrica y algebraica. Para
expresar un aparente tópico, apreciar el objeto de diferentes maneras puede llevar a ideas
158 Z. Weber
diferentes. Por ejemplo, mirar el primer círculo, y tal vez jugar con un compás, puede
conducir al porismo de Steiner: dados dos círculos no concéntricos, uno dentro del otro,
supongamos que se dibujan círculos tocándolos sucesivamente y entre sí. Si el último
círculo de la cadena toca al primero, entonces el último siempre tocará al primero,
independientemente de la posición del primer círculo de la cadena.
Observe el 'si'. No todos los pares de círculos así inscritos permiten la generación de una
cadena de Steiner. Pero los que lo hacen, siempre lo hacen.9, pag. 87].
Esto parece una observación puramente geométrica. Algunas reflexiones sobre los
círculos, por el contrario, tienen un carácter menos concreto. Pensando más en r, algo de
tiempo e imaginación podrían llevarnos a pensar que una línea recta es la circunferencia
de un círculo con radio infinito. Este es un pensamiento fundamentalmente abstracto,
aunque todavía se basa en un experimento mental de visualización. (Imagínese que el
radio se hace más largo.XLIV)
Otras propiedades emergen sólo en el nivel de divorcio total de la imagen real como
incrustada en el espacio. Sólo con la imagen no parece que valga la pena señalar que el
círculo divide el espacio en el que se encuentra en dos partes, es decir, que una curva
cerrada divide un espacio en un interior y un exterior. Este, el teorema de la curva de
Jordan, resulta no sólo ser una propiedad topológica profunda, sino también muy difícil
de demostrar. Su afirmación sólo surge en el punto en el que una curva cerrada ya no es
un objeto visual en el espacio X, sino más bien una aplicación algebraica f : [0, 1] —> X.
Los conocimientos geométricos conducen a poderosas expresiones algebraicas; El
álgebra, a su vez, conduce a desarrollos que exigen una interpretación geométrica. XLV
Aquí hay círculos y triángulos; aquí están las funciones cuadráticas y trigonométricas. A
continuación se presentan soluciones a ecuaciones de la forma x = V—T; Aquí hay una
interpretación de estos números como rotaciones en el plano complejo [28, pag. 188].
Los dos modos de razonamiento matemático se refuerzan mutuamente, si no son
mutuamente dependientes.17].
Los dos modos de práctica no se armonizan simplemente; hay tensión. Quizás la
mejor manera de expresar la incomodidad sea directamente en un texto de matemáticas:
el encantador libro de Geometría de Hartshorne [19]. Sean A, B, P, Q puntos distintos en
el plano cartesiano. Su relación cruzada es un elemento del campo definido como
AP BQ (AB, PQ)= BP
Hartshorne luego dice:
XLVStillwell (no sin problemas históricos) observa que “los griegos usaban curvas para estudiar álgebra
y no al revés” [28, pag. 64].
Figuras, fórmulas y functores 159
magia. He aquí una cantidad algebraica cuyo significado es imposible de entender y, sin embargo,
resulta muy útil. Funciona. Se podría decir que fue un triunfo del álgebra inventar esta cantidad que
resulta ser tan valiosa y que no se puede imaginar geométricamente. O si eres un geómetra de
corazón, podrías decir que es un invento del diablo y odiarlo toda tu vida.19, pag. 341].
X+ y = x + z
^y=z
tiene un aspecto visual sorprendente [14, pag. 242]. También tiene una explicación: la
existencia de elementos inversos y unitarios. Suponiendo x + y = x + z, entonces
— x + (x + y) = — x + (x + z)
^ (—x + x) + y = (—x + x) + z
^0 + y= 0 + z
^y=z
De paso cabe hacer dos observaciones. En primer lugar, las tendencias visuales y
sintácticas conducen a las matemáticas hacia uno de sus fines más generales: la
unificación. Esto significa encontrar conexiones cada vez más profundas entre campos
aparentemente dispares, campos abiertos por figuras y fórmulas respectivamente, y
mostrar cómo las herramientas desarrolladas para su uso en un área pueden utilizarse de
manera muy fecunda en otra. Es bien sabido que la teoría de categorías está dirigida
hacia fines unificacionistas.22]. En segundo lugar, el medio para alcanzar esta
unificación es a través de la representación. Creo que comprender las representaciones es
la clave para comprender la interacción entre figuras y fórmulas, porque una
representación puede potencialmente valer entre cualquier cosa: entre diferentes tipos de
fórmulas, entre tipos de imágenes y entre figuras y fórmulas.
Como caso paradigmático de cómo juegan aquí las representaciones, citamos el
leitmotiv de los magníficos Anillos de funciones continuas [dieciséis]. Sea X un espacio
topológico y considere el conjunto de todas las funciones continuas desde X hasta los
reales R. Este conjunto, C(X), forma un anillo bajo algunas operaciones obvias sobre las
funciones; entonces C(X) tiene una estructura algebraica clara. Luego aprendemos que,
dados dos espacios X, Y, si X es homomórfico a Y, entonces sus anillos correspondientes
C(X), C(Y) son isomorfos. La estructura del espacio subyacente determina
completamente la estructura anular. Esto es bastante sorprendente. La mayor parte de
Rings, sin embargo, aborda la cuestión de qué condiciones en las estructuras algebraicas
determinarán la topología de los espacios.dieciséis, pag. 12]. Dado que C(X) es
algebraicamente equivalente a C(Y), ¿qué más necesitamos saber para concluir que X e
Y son topológicamente equivalentes? La respuesta constituye un volumen de
matemáticas fértiles que abarca topología, álgebra y teoría de conjuntos. Al encontrar
representaciones adecuadas del espacio X en el anillo C(X), se arroja luz.
La pregunta para nosotros es qué hace que una representación sea más o menos fiel,
más o menos útil. En parte, la respuesta a esta pregunta dependerá de las particularidades
de cada caso dado, del tipo de matemáticas que uno esté haciendo. Sin embargo, aún se
puede ganar algo planteando la pregunta en un nivel muy alto de generalidad. Buscamos
un esquema abstracto que exprese cómo se cumple una representación entre estructuras.
Ésta es la relación que vamos a examinar ahora, a través de ejemplos aplicados.
4 Ejemplos
Para tener una idea básica de cómo funcionan las características visuales en el
razonamiento formal, consideremos algunas ideas basadas en fórmulas. El primer
ejemplo es del álgebra abstracta; el segundo es el cálculo tensorial. Cada uno revela
cómo la sintaxis misma puede, en cierto modo, convertirse en un objeto matemático. El
tercer ejemplo, la teoría de Galois, muestra cómo funciona la representación interna de
las matemáticas.
METRO
Resulta que cualquier X tiene un módulo libre. Esto es extremadamente importante y se
denomina propiedad de mapeo universal (UMP); Volveremos a ello y discutiremos la
teoría de categorías en la sección. 5.
Pero ahora observemos lo que el diagrama no nos dice: necesitaríamos saberlo para
demostrar que para cualquier conjunto X hay un módulo R libre en X. La definición
como oración cuantificada del inglés matemático dice esto: Un módulo F es gratis en X
si y así
2h (h : X —> F y V f (si f : X —> M entonces 2g : F —> M tal que: g es un
homomorfismo y f = goh,
y Vg' (si g' es un homomorfismo y f = g' oh, entonces g = gQ))
absoluta", para enfatizar la libertad del cálculo respecto de los sistemas de coordenadas.
Einstein formuló su teoría.
164 Z. Weber
0 si ^ = v
Consideremos un espacio N -dimensional. Usando la convención de suma de Einstein,
obtenemos
8^= norteμ
En otras palabras, la dimensión de un espacio puede recuperarse a partir de la notación,
pero por lo demás puede seguir siendo una parte no esencial del fondo.
La disposición visual de las marcas sintácticas en la página sirve, de manera
estructuralmente significativa, para expresar y caracterizar información geométrica. Las
páginas de la Relatividad General de Dirac [10] están presentados de una manera sobria
y árida, llenos de espacios en blanco vacíos, que a su vez contribuyen a la comunicación
de ideas. Dirac muestra que la curvatura del espacio se puede expresar con una concisión
y perspicacia que supera la mera representación notacional. El tensor de Ricci se
define,LI y la ley de gravitación de Einstein se puede expresar en un instante: en el
espacio vacío,
R^v= 0
Toda esta sintaxis pura no es sólo contabilidad. Es un método para capturar
estructura, en formas comprimidas y manipulables. Un tensor es un objeto geométrico, o
incluso un objeto físico: una generalización de una "cantidad dirigida", un vector. Sin
embargo, un vector es sólo un habitante de un espacio vectorial; y un espacio vectorial, a
su vez, es cualquier estructura que satisfaga una lista de axiomas algebraicos. (Ver
Sección.4.3.) La estructura de la sintaxis, en otras palabras, dicta cualquier sintaxis
adicional de la estructura; cf. la ley de cancelación de grupos (Art. 3).
tu+ v : L x L —> L
Xu: K x L —> L
Reduciendo sufijos, el tensor Rμνρσ tiene 256 componentes. Se puede demostrar que el espacio es plano
si y sólo si
rpvpadesaparece. El tensor de Ricci se define: RvPP = Rvp.
11
Para una presentación rigurosa pero accesible, consulte [27].
166 Z. Weber
C0 C C1 C ••• C Cn = Cn+1
gramo: F —> M
existe. Todas las relaciones entre miembros del módulo están determinadas por la
estructura algebraica: esto corresponde a la condición de que el mapa
h: X —* F
existe. Pasamos, entonces, a una generalización de lo que ya hemos visto sobre los
módulos libres y los diagramas conmutativos: a algunas "tonterías abstractas" que aún
pueden dar sentido a todo esto.
5 Teoría de categorías
La teoría de categorías se refiere a los objetos X, Y,. . . y flechas entre objetos. Las
flechas forman conjuntos,
hom(XY)= {f : f es una flecha de X a Y}
A menudo existe un isomorfismo φ entre conjuntos hom(XY ), hom(UV ), sobre el cual
se acostumbra abusar de la notación y escribir
0: hom(XY) = hom(UV)
El conjunto hom(X, Y) es una pequeña imagen de la vida matemática de los objetos de
una categoría, a un nivel extremadamente general. Este es el nivel en el que ahora
podemos hacer dos cosas.
Primero, tenemos una disciplina matemática donde las cifras y las fórmulas se
entremezclan hasta el punto de ser casi indistinguibles. Así que podemos validar nuestra
hipótesis de que la simple distinción sí/no para las imágenes no es útil. En segundo lugar,
la disciplina es en sí misma un estudio de qué información matemática se conserva
cuando las cifras y las fórmulas se vuelven indistinguibles; Por eso intentaremos
apropiarnos de algunas nociones de la teoría de categorías para responder a nuestra
pregunta original sobre qué constituye una buena representación.
Insecto.4.1arriba consideramos módulos libres y observamos que el hecho de que F
sea libre en X sería expresado por los teóricos de categorías como una propiedad de
mapeo universal. Ahora esbozamos una de las instancias más profundas de un UMP.
Un funtor adjunto es una noción teórica de categorías de enorme alcance. En lógica,
el cuantificador existencial es un adjunto. En topología, la imagen de una función
continua es un adjunto. No hay ninguna razón prima facie para ver alguna conexión entre
estos dos, pero desde un punto de vista categórico, resultan ser esencialmente la misma
cosa.2, Cap. 9]. En la teoría de Galois, es impresionante que los grupos y las soluciones
de las ecuaciones estén relacionados, pero no es precisamente desconcertante. Para
empezar, ambos son algebraicos. En el caso de los functores adjuntos, estamos en la
cima de la abstracción estructural. Nuestro esquema de complementos sigue [5, Cap.
XV].
Sean F, G functores entre las categorías C, D. Una transformación natural n : F —* G
es una función que asigna a cada X e C una flecha nx : F(X) —* G(X) de D de tal
168 Z. Weber
G(f)
G(X)G(Y)
Esta elegante figura es la clave de toda la historia.
Tengamos dos categorías C, D y dos functores F, G, tales que
C
novia
D
Conserva la estructura del mapa. Ampliando nuevamente el uso de la notación, la
relación se puede escribir
F: C - > D : GRAMO
Entonces vemos que el módulo libre es adjunto al conjunto subyacente. Se apela a este
resultado en la siguiente sección.
Generalizando las condiciones básicas de fidelidad de existencia y unicidad: "sin
basura, sin ruido"; suficiente, pero no demasiado: para la austeridad de los adjuntos,
ahora hemos formalizado una noción omnipresente en matemáticas. LIV Pero creo que lo
más interesante es que hemos formalizado una práctica omnipresente en las matemáticas.
Quizás éste sea el rasgo más distintivo de la teoría de categorías, y lo que la hace
sorprendente desde un punto de vista filosófico. No sólo las imágenes y las inscripciones
LIVUna unión entre dos categorías también puede ser una relación de equivalencia. Una equivalencia de
functores F : C —> D, G : D —> C es tal que
La teoría de categorías para este artículo, entonces, sería identificar qué propiedades de
las flechas se conservan bajo la transformación de fórmula a diagrama y viceversa. La
teoría trata sobre el tipo de estructura de los mapas que se respeta en la presentación
esquemática de información. Y lo más agradable es esto: en el caso de los adjuntos, la
estructura conservada es información sobre qué tipo de estructura se conserva.
Queda por aplicar explícitamente estos conceptos a los debates filosóficos discutidos
al principio.
'•' .
[X' > '----- - - ------Y'
Si f ◦ g J = Si f J ◦ Ig J, V g : Y —> X
[1XJ = 1[ x ]
LVEl functor de figuras y fórmulas no es el esquema más general para el tipo de representaciones que
pretendemos capturar, ya que requiere la existencia de un elemento unitario 1X para cualquier X. Parece
claro que puede haber casos interesantes de X sin tal elemento. Por lo tanto, este esquema puede tomarse
como un resultado parcial que se aplica a dominios con una cantidad suficiente de estructura. De manera
similar, no todos los objetos matemáticos son un grupo o un anillo, pero aun así la teoría de grupos y
anillos es bastante ubicua y tiene mucho que decirnos.
Figuras, fórmulas y functores 171
Las cifras y las fórmulas, cuando se usan bien, se representan entre sí. Para que esta
relación se mantenga, no pueden ser simplemente iguales; no tiene sentido considerar la
representación de X por el propio X. Entonces los dos están a cierta distancia; pero
pueden serlo sin conflicto. El lenguaje y las imágenes de la teoría de categorías nos han
proporcionado una manera de expresar esta relación abstracta. Bien vistas, las
matemáticas nos están proporcionando un medio para comprenderse a sí mismas. Esto
no es una idea nueva; Hilbert propuso las metamatemáticas como una rama de las
matemáticas,
y ese programa nos ha brindado conocimientos más confiables y profundos sobre la
naturaleza de la prueba y la verdad que los dos milenios anteriores.
Ahora, sin embargo, un siglo después de Hilbert, queremos conocer también otras
características, más allá de la prueba y la verdad. ¿Cómo se expresan los problemas?
¿Cómo se solucionan? En torno a estas cuestiones, se discuten algunos viejos debates
filosóficos; en cambio, encontramos una respuesta interna a las matemáticas. Al describir
algunas de las primeras matemáticas esquemáticas, Netz escribe:
El diagrama [matemático] no es una representación de otra cosa; es la cosa misma. No es la
representación de un edificio; es como un edificio, sobre el que se actúa y construye [25, pag. 60].
Referencias
1. Avigad, J., Dean, E., Mumma, J.: Un sistema formal para los elementos de Euclides. Rev. Symb.
Registro. 2(4), 700–768 (2010)
2. Awodey, S.: Teoría de categorías. Guías de lógica de Oxford (2006)
3. Azzouni, J.: Seguimiento de la razón: prueba, consecuencia y verdad. Prensa de la Universidad de
Oxford, Nueva York (2006)
4. Barwise, J., Etchemendy, J.: Información visual y razonamiento válido. En: Allwein, G., Barwise, J.
(eds.) Razonamiento lógico con diagramas, págs. 3–25. Prensa de la Universidad de Oxford, Nueva
York (1996)
5. Birkhoff, G., Maclane, S.: Álgebra. Soy. Matemáticas. Soc., Providencia (1999) (Primera edición
1967)
6. Brown, J.: Filosofía de las Matemáticas, 2ª ed. Routledge, Londres (2008)
7. Cohn, PM: Introducción a la teoría de los anillos. Springer, Berlín (2000)
8. Corfield, D.: Hacia una filosofía de las matemáticas reales. Prensa de la Universidad de Cambridge,
Cambridge (2003)
9. Coxeter, HM: Introducción a la geometría, 2ª ed. Wiley, Nueva York (1969)
10. Dirac, PM: La teoría general de la relatividad. Wiley, Nueva York (1975)
11. Ferreirós, J., Grey, JJ (eds.): La arquitectura de las matemáticas modernas. Prensa de la Universidad
de Oxford, Oxford (2006)
12. Francis, GK: Un libro ilustrado topológico. Springer, Berlín (2007)
13. Frankel, T.: La geometría de la física: una introducción, 2ª ed. Prensa de la Universidad de
Cambridge, Cambridge (2004)
LVIGracias a: Philip Catton, Cathy Legg, Clemency Montelle, Peter Smith y Koji Tanaka.
172 Z. Weber
14. Giaquinto, M.: Pensamiento visual en matemáticas. Prensa de la Universidad de Oxford, Oxford
(2007)
15. Gilles, D. (ed.): Revoluciones en matemáticas. Clarendon, Oxford (1992)
16. Gillman, L., Jerison, M.: Anillos de funciones continuas. Van Nostrand, Princeton (1960)
17. Grey, J.: El fantasma de Platón: la transformación modernista de las matemáticas. Prensa de la
Universidad de Princeton, Princeton (2008)
18. Grosholz, ER: Representación y ambigüedad productiva en matemáticas y ciencias. Prensa de la
Universidad de Oxford, Oxford (2007)
19. Hartshorne, R.: Geometría: Euclides y más allá. Springer, Berlín (2000)
20. Jänich, K.: Análisis vectorial (trad.: Kay, L.). Springer, Nueva York (2001)
21. Lee, JM: Colectores de Riemann: una introducción a la curvatura. Springer, Nueva York (1997)
22. MacLane, S.: Matemáticas, forma y función. Springer, Berlín (1986)
23. Mancosu, P. (ed.): La filosofía de la práctica matemática. Prensa de la Universidad de Oxford,
Nueva York (2008)
24. Mancosu, P., Jorgensen, KF, Pedersen, SA (eds.): Estilos de visualización, explicación y
razonamiento en matemáticas. Biblioteca de síntesis, vol. 327. Springer, Dordrecht (2005)
25. Netz, R.: La configuración de la deducción en las matemáticas griegas. Prensa de la Universidad de
Cambridge, Cambridge (1999)
26. Shin, S.-J.: El estado lógico de los diagramas. Prensa de la Universidad de Cambridge, Cambridge
(1994)
27. Stewart, I.: Teoría de Galois, 3ª ed. Chapman y Hall, Londres (2004)
28. Stillwell, J.: Las matemáticas y su historia. Springer, Nueva York (2002)
Z. Weber (B)
Universidad de Otago, Dunedin, Nueva Zelanda
correo electrónico:zach.weber@otago.ac.nz
Representación de gráficas en diagramas de teoría
de grafos
Mitsuko Wate-Mizuno
AbstractoEl tratado de Dénes Ko˝ nig Theorie der endlichen und unendlichen Graphen
(1936) incluye muchos diagramas. El estilo de los diagramas es típico de los textos
actuales de teoría de grafos. En este tratado se tratan muchos problemas de recreación
matemática. Algunos de los problemas ya fueron tratados por matemáticos precedentes.
En algunas de estas primeras obras se daban los diagramas, pero los estilos no eran los
mismos que los de Ko˝ig. Además, la forma de utilizar los diagramas en las primeras
obras es diferente a la de Ko˝ig.
Al examinar los diagramas, encontraremos que cierto tipo de diagramas se volvieron
gradualmente influyentes. Este aspecto histórico puede estar relacionado con la
formación de conceptos de grafo, pero no se discutirá aquí.
Argumentaremos que la charla de Tarry “Géométrie de situation: nombre de manières
distintivos de parcourir en une seule course toutes les allées d'un labyrinthe rentrant, en
ne passant qu'une seule fois par chacune des allées” (1886) jugó un papel importante en
la forma de utilizar los diagramas.
1 Introducción
A. Moktefi, S.-J. Shin (eds.), Razonamiento visual con diagramas, Estudios de lógica universal, DOI 17
10.1007/978-3-0348-0600-8_10, © Springer Basilea 2013 3
174 M. Wate-Mizuno
El tratado Theorie der endlichen und unendlichen Graphen en 1936 [29] hace explícita la
razón por la cual Dénes Ko˝ nig utilizó diagramas en él. Dado que esto nos da
información sobre cómo veía Ko˝ig los diagramas que estaba usando, examinemos
primero lo que dijo el autor sobre ellos.
Ko˝ nig trató varios problemas recreativos y los analizó como teoría de grafos en este
tratado.
En el prefacio, explicó que la teoría de grafos se puede entender desde dos puntos de
vista: un punto de vista considera el tema como la primera parte de la topología general,
Representación de gráficas en diagramas de teoría de grafos 175
mientras que el otro lo entiende como una rama de la combinatoria y la teoría abstracta
de conjuntos.
Si este tratado hubiera adoptado el primer punto de vista, el de la topología general,
podríamos esperar que se utilizaran diagramas para representar conceptos topológicos.
Sin embargo, Ko˝ig en realidad adoptó el último punto de vista, el de la combinatoria
y la teoría abstracta de conjuntos. Explicó el motivo de esta decisión de la siguiente
manera:
LVIIIKo˝ nig hizo aquí referencia al artículo de Sylvester titulado “Sobre los recientes descubrimientos
en la conversión mecánica del movimiento” de 1873 [47]. Este artículo trata un modo de producir
movimiento en línea recta mediante un sistema de enlace puro sin la ayuda de ranuras o ruedas, o
cualquier otro medio de restricción que el debido a centros fijos y juntas para unir o conectar rígidos.
barras. Quizás aquí Ko˝ig tenía en mente la siguiente parte del artículo de Sylvester: “La teoría de la
ramificación es una teoría de pura coligación, porque no tiene en cuenta la magnitud o la posición; Se
utilizan líneas geométricas, pero no tienen más relación real con el asunto que las empleadas en las tablas
genealógicas para explicar las leyes de la procreación. [Nuevo párrafo] La esfera dentro de la cual
funciona cualquier teoría de la coligación no es espacial sino lógica; tal teoría se ocupa exclusivamente
de las leyes necesarias de antecedencia y consecuencia, o en una palabra de conexión en abstracto, o en
otras palabras es un desarrollo de la doctrina del paréntesis compuesto”. (Los artículos matemáticos
recopilados de James Joseph Sylvester, vol. 3, págs. 23 y 24).
176 M. Wate-Mizuno
Consideremos aquí cómo Konig utilizó diagramas en Theorie der endlichen und
unendlichen Graphen en 1936. El punto será comparar estos diagramas con los que él
mismo publicó antes de 1936, y con los de las publicaciones de otros matemáticos. Como
escribí
insecto. 1Seleccionaré sólo los diagramas utilizados en los problemas de puentes,
polígonos, dominó y laberintos, ya que estos problemas también fueron tratados en
muchas publicaciones antes de su tratado de 1936, y por lo tanto tenemos suficiente
material para comparar con el tratado de Ko˝nig de 1936. .
Estos problemas se encuentran en los libros sobre recreaciones matemáticas escritos
por algunos matemáticos. En estos libros se recogían ciertos problemas matemáticos bajo
el concepto de “recreación”, “placer”, “deleite”, “ocio”, “diversión”, “juego” o
“curiosidad”.LIX
Ko˝ nig también publicó dos libros sobre recreaciones matemáticas en 1902 y 1905
[27,28].LX El libro de 1905 incluye el problema de los puentes que discutiremos en la
sección.2.3. Esto nos proporciona las publicaciones a las que tuvo acceso en su juventud
y nos permite analizar la evolución de su abordaje de algunos problemas entre 1905 y
1936.
Los trabajos de Édouard Lucas (1842-1891) sobre recreaciones matemáticas fueron
tema de investigación por parte de algunos historiadores. Según Anne-Marie Décaillot,
Lucas se sentía atraído por la “geometría de situación” y, a partir de los problemas que
había considerado como “geometría de situación”, dibujaba recreaciones, pero sin ningún
análisis ([19], pag. 5). La “geometría de la situación” aún no estaba bien estructurada en
aquel momento (Pont: La topologie algébrique des origines à Poincaré [39], Epple:
“Topología, materia y espacio I: nociones topológicas en la filosofía natural del siglo
XIX” [21]).LXI
LIXAlgunas de las colecciones de este género fueron citadas por Ko˝ nig en sus libros sobre recreaciones
matemáticas en 1902 y 1905 [27,28], y algunos de ellos fueron citados incluso en su tratado de 1936
[29]: Problèmes plaisans et délectables qui se font par les nombres de Claude-Gaspar Bachet de Méziriac
[5–8] a principios del siglo XVII; Récreations mathématiques et physiques de Jacques Ozanam [36,37]
en el siglo 17; Récreations mathématiques (4 volúmenes) y L'Arithmétique amusante de Édouard Lucas
[31–35] y Mathématiques et mathématiciens: pensées et curiosités de Alphonse Rebière [40,41] en el
siglo 19; Recreaciones Matemáticas y problemas de tiempos pasados y presentes (Recreaciones
Matemáticas y ensayos para la 4ª ed. y posteriores) de Walter William Rouse Ball [ 9–15] (y muchas
ediciones posteriores), Mathematische Mußestunden de Hermann Schubert [43–45] y Récréations
arithmétiques y Curiosités géométriques de Émile Fourrey [24,25] alrededor de 1900; Mathematische
Unterhaltungen und Spiele y Mathematische Spiele de Wilhelm Ahrens [1–4] a principios del siglo XX.
También en el período cercano a la publicación del tratado de Ko˝ nig de 1936, se publicó en Bélgica un
libro de este género: La mathématique des jeux ou récréations mathématiques de Maurice Kraitchik [ 30],
lo que podría sugerir el interés de los matemáticos de la época por las recreaciones matemáticas.
Anne-Marie Décaillot realizó investigaciones históricas sobre las obras de Lucas [18–20].
David Singmaster hizo un examen preciso de todas las ediciones del libro de Ball [46].
Albrecht Heeffer [26] trabajó en un movimiento hacia la creación de este género en el siglo XVII.
En el Reino Unido y los Estados Unidos, en los siglos XIX y XX, los matemáticos aficionados o los
escritores científicos (Samuel Loyd, Henry Ernst Dudeney, Martin Gardner, etc.) también publicaron en
este dominio. Algunos problemas de sus colecciones se tomaron de las colecciones enumeradas
anteriormente. Este hecho es interesante desde el punto de vista de la popularización de las matemáticas,
pero, a los efectos de este artículo, no es necesario examinar precisamente estos trabajos.
LXTraduje estos libros húngaros al inglés en mi tesis [51].
LXIComo dice Décaillot, “entre los juegos y recreaciones matemáticas de Euler, las huellas de cuerdas
en el tablero de ajedrez de Vandermonde en el siglo XVIII, las 'matemáticas superiores' de Riemann y el
Análisis situs de Poincaré, la geometría de situación tiene un contenido fluctuante. que se estructura
lentamente durante el siglo XIX” ([19], pag. 129, mi traducción del francés).
Representación de gráficas en diagramas de teoría de grafos 177
Los términos que aparecen en este teorema (arista, gráfico, camino cerrado, conexión,
etc.) se definieron en el capítulo. 1 utilizando los conceptos de la teoría de conjuntos. Fue
probado por contradicción. En la prueba no se utilizó ningún diagrama.
En este contexto, en la segunda sección titulada “Das Brücken- und Dominoproblem
(El problema de los puentes y el problema de las fichas de dominó)”, König mencionó el
problema de los siete puentes de Königsberg como ejemplo de aplicación de los
teoremas.
Este problema fue considerado y publicado matemáticamente por primera vez por
Leonhard Euler (1707-1783). El problema es el siguiente: en Königsberg había un río
que corría de este a oeste; Al otro lado del río, había siete puentes como se muestra en la
figura.1; ¿Existe una ruta para cruzar cada puente una vez y sólo una vez o, de manera
más general, existe una ruta para cualquier otro tipo de ríos y puentes?
Ko˝nig introdujo este problema usando un mapa simplificado como el de la Fig.1, y
luego dio un diagrama como b de la Fig.1, que consta de pequeños círculos que
representan vértices correspondientes a áreas terrestres y líneas rectas o curvas que
representan aristas correspondientes a puentes. De esta manera, el diagrama mostrado en
b de la Fig.1Representa elementos geométricos que corresponden a un gráfico. A este
diagrama lo llamaré “diagrama tipo gráfico”.
En el diagrama de la Fig.1.b,Ko˝nig mostró sólo los elementos necesarios para
resolver el problema. En este diagrama, vemos que cada vértice está conectado a un
número impar de aristas. Ko˝ig concluyó, utilizando el teorema de la teoría de grafos
mencionado anteriormente, que no existe tal manera de cruzar cada puente una sola vez.
Por tanto, este diagrama es útil para resolver el problema utilizando conceptos
geométricos que representan una gráfica.
178 M. Wate-Mizuno
puede realizarse con sólo ocho símbolos. Esto significa que no existe una ruta para
cruzar todos los puentes de Königsberg una sola vez.
§§ 10-13: Generalización del problema.Euler generaliza el problema a todas las formas
de puentes y superficies terrestres. Euler dice que, si la suma del número de símbolos
que aparecen en la secuencia es mayor que “(el número de puentes) + 1”, es imposible
encontrar una ruta que cruce cada puente una vez y sólo una vez. Euler dice también
que es posible si la suma del número de símbolos que aparecen en la secuencia es
igual a “(el número de puentes) + 1”, pero no está demostrado.
En el caso de que A tenga un número par de puentes, debemos considerar si el viajero
parte de A o no. Si el viajero no parte de A que tiene 2n puentes, A aparece n veces en
la secuencia de símbolos de la ruta. Si el viajero parte de A que tiene 2n puentes, A
aparece n + 1 veces en la secuencia de símbolos de la ruta. Si se deja de considerar el
punto de partida, entonces aparece un símbolo de un área terrestre n + 1 veces si el
área terrestre tiene un número impar 2n + 1 de puentes, y n veces si el área terrestre
tiene un número par 2n de puentes en la secuencia. de símbolos de la ruta. Si la suma
de los símbolos que aparecerán en la secuencia es igual a “el número de puentes + 1”,
existe una ruta para cruzar cada puente una y sólo una vez, donde el punto de partida
no puede ser ningún terreno que tenga un número par. de puentes. Si la suma de los
símbolos que aparecerán en la secuencia es igual a “el número de puentes”, existe una
ruta para cruzar cada puente una y sólo una vez, donde el punto de partida debe ser un
terreno que tenga un número par de puentes. , para aumentar en 1 el número de
símbolos que aparecerán en la secuencia. Pero Euler no da pruebas del caso en que
exista tal ruta.
Artículo 14: Invención de un algoritmo según los artículos 10 a 13.Euler ofrece un
algoritmo que, según él, se puede utilizar para saber si uno puede cruzar cada puente
una vez y sólo una vez en cualquier forma de ríos y puentes. Pero en realidad, es más
bien un algoritmo para saber si dicha ruta es imposible o no, porque Euler no da
pruebas de que exista dicha ruta.
1. Etiquetar el área del terreno con símbolos.A B C,
2. Anota “el número de puentes + 1”.
3. Haz una tabla con una columna que consta de A, B, C,..., y con la siguiente
columna que consta del número de puentes conectados a cada área de terreno.
4. Asterisco los símbolos de áreas terrestres que tienen un número par de puentes.
5. Haz otra columna que consta de:
• nortesi el área terrestre tiene un número par 2n de puentes,
• norte +1 si la superficie del terreno tiene algún número impar 2n + 1 de puentes.
6. Resume los números de la última columna. Si la suma es igual al número escrito
en el paso2, o si la suma es menor en 1, es posible una ruta para cruzar cada puente
una vez y sólo una vez, donde en el primer caso el punto de partida debe ser una de
las áreas de terreno sin asterisco; en este último caso, el punto de partida debe ser
una de las zonas de terreno marcadas con un asterisco.
Euler elabora una tabla de este tipo para el problema de Königsberg y concluye que
esa ruta es imposible.
180 M. Wate-Mizuno
Si las áreas de terreno que tienen un número impar de puentes son 4, 6, 8 o más, la
suma en el paso6 del § 14 es mayor en 1, 2, 3 o más que el número escrito en el paso
2. Entonces no existe una ruta para cruzar cada puente una vez y sólo una vez.
4 20: Resumen de los artículos 18 y 19.Si más de dos áreas terrestres tienen un número
impar de puentes, es imposible cruzar cada puente una vez y sólo una vez.
Si sólo dos áreas de tierra tienen un número impar de puentes, y si el viajero elige una
de esas áreas de tierra como punto de partida, es posible cruzar cada puente una vez y
sólo una vez.
Si cada área de tierra tiene un número par de puentes, sin importar qué área de tierra
se elija como punto de partida, es posible cruzar cada puente una vez y solo una vez.
Pero aun así debemos señalar que Euler no da pruebas de las dos últimas
proposiciones.
5 21: Método para simplificar la forma de encontrar la ruta.Elimine los pares de
puentes que conectan dos áreas terrestres comunes y será más fácil encontrar una ruta
para cruzar cada puente una vez y solo una vez. Después de encontrar la ruta, vuelva a
colocar los puentes eliminados como estaban y será fácil modificar la ruta para
incluirlos.
Estas son todas las secciones que dio Euler.
Euler presentó un mapa que ilustra la situación. En el mapa, Euler mostró símbolos
para su prueba. La prueba de Euler solo necesitaba los símbolos de las áreas terrestres y
el número de puentes conectados a cada área terrestre. Para él los nombres de los puentes
no eran necesarios. Sin embargo, vemos que Euler mantuvo esta información en el mapa
(Fig.2). Además, la prueba no hace ninguna referencia a un diagrama. De hecho, más
precisamente, Euler no proporcionó ningún diagrama gráfico para este problema.
La información que no fuera necesaria para la solución del problema debía ser
eliminada de los diagramas incluidos en los textos de los matemáticos posteriores que
abordaron el problema. De hecho, el problema será abordado en varias publicaciones
dedicadas a las recreaciones matemáticas.
Considerémoslos ya que este análisis nos permitirá determinar quién introdujo por
primera vez un diagrama tipo gráfico en este contexto y cómo influyó en Ko˝ig para esta
característica de los diagramas.
En 1851, Émile Coupy tradujo al francés este artículo de Euler [17]; en 1882,
Édouard Lucas lo tradujo nuevamente al francés en el capítulo sobre el problema de los
puentes del vol. 1 de su serie sobre recreaciones matemáticas [31]. Sin embargo, ni
Coupy ni Lucas hicieron ninguna modificación significativa a las cifras de Euler. LXII
En 1892, Walter William Rouse Ball (1850-1925) abordó el problema dentro de un
contexto más general, ya que lo mencionó en el capítulo sobre “problemas unicursales”
en
su libro dedicado a las recreaciones matemáticas [9]. En este nuevo contexto, Ball
presentó un nuevo tipo de diagrama (Fig.5) para el problema. En este diagrama, Ball
representó los puentes con líneas, algunas curvas y otras rectas, indicadas con letras
minúsculas, y las áreas terrestres con puntos indicados con letras mayúsculas. Ball
mencionó la correspondencia de la notación introducida para los puentes con el mapa de
Euler, pero no la utilizó en su consideración del problema y, de hecho, no es necesaria
para resolver el problema. Sin embargo, es notable que las líneas en este diagrama
representen elementos geométricos que corresponden a un gráfico. Como diagrama dado
al problema de los siete puentes de Königsberg, este es quizás el primer diagrama en
forma de gráfico.
En 1901, Wilhelm Ahrens (1872-1927) también, en su libro sobre recreaciones
matemáticas [1], trató el problema de los puentes. Sin embargo, para él el problema
aparecía en el capítulo sobre “Brücken und Labyrinthe (puentes y laberintos)”, es decir,
dentro de una clasificación de problemas realizada en función de su temática. Aún así,
dio aquí diagramas bastante similares al diagrama tipo gráfico de Ball (Fig.6).
El diagrama a de la Fig.6No tiene marcas para las líneas que representan los puentes,
sino que solo asocia letras a puntos que representan las áreas terrestres. Así pues, aquí
sólo encontramos la información necesaria para resolver el problema. Vemos que el
diagrama está dibujado para el problema y no como una representación de un objeto
matemático general. El diagrama b de la Fig.6representa el caso de ocho puentes, donde
se puede pasar por todos los puentes una vez y sólo una vez. El diagrama b tiene dígitos
unidos a líneas, pero su significado es diferente de las letras minúsculas que se muestran
en el diagrama de Ball: Ahrens dejó que estos números representaran el orden de paso
por los puentes, por lo tanto, estos números son información necesaria para representar
una solución al problema.
En 1905, el propio König también, en uno de los libros que en su juventud dedicó a
las recreaciones matemáticas en 1905 —mucho antes de la publicación de su tratado de
1936— trató el problema de los puentes en el capítulo sobre “A Königsbergi hidak ( los
puentes de Königsberg)” [28]. En relación a este problema, el libro de 1905 cita a Euler
[22], lucas [31], Pelota [11], Schubert [45], Ahrens [1]. Sin embargo, en cuanto al
diagrama dado para este problema, lo tomó del libro de Ahrens (Fig.7). Higo.7Es casi lo
mismo que el diagrama tipo gráfico de Ahrens. LXIII Supongo que el diagrama de Konig
para el problema de los puentes en 1905 fue tomado del diagrama de Ahrens en 1901.
LXIIIUna parte de la línea entre A y B del diagrama de König no está conectada, pero es sólo un error de
impresión. Debe ser continuo para mantener la coherencia del texto.
Representación de gráficas en diagramas de teoría de grafos 183
figura 7Tomado del cap. 4 del libro de Ko˝ nig de
1905 [28]
Es interesante que este diagrama de Ko˝ nig en 1905 todavía era diferente de su
diagrama en su tratado de 1936 donde, en lugar de los puntos indicados con letras
mayúsculas, se usaban pequeños círculos, que representaban los vértices de un gráfico.
Veremos que la representación de los vértices de un grafo con pequeños círculos y la
notación completa de los elementos de un grafo en 1936 delatan una influencia distinta al
problema de los puentes.
En la misma sección titulada “Das Brücken- und Dominoproblem (El problema de los
puentes y el problema de las fichas de dominó)” del tratado de König de 1936, trató otros
dos problemas provenientes de recreaciones matemáticas: uno relacionado con polígonos
y otro con fichas de dominó. . Los trató como otros ejemplos de su teorema sobre los
circuitos eulerianos. Un examen de la historia del tratamiento de estos problemas y de su
relación entre sí mostrará cómo tomó forma en este contexto otra característica de los
diagramas para gráficos.
El problema de los polígonos se formula de la siguiente manera: dado un polígono,
¿podemos recorrer cada arista y cada diagonal una sola vez con un solo trazo?
En cuanto al problema del dominó, se formula de la siguiente manera: un juego de
dominó consta de veintiocho piezas; en cada pieza se muestra un par de números enteros
del 0 al 6; aquí dejamos de lado las piezas doblemente numeradas con (0, 0), (1, 1), etc.
porque no desempeñan ningún papel en la cuestión considerada; la cuestión es ordenar
las veintiún piezas restantes de modo que los números adyacentes sean iguales entre sí.
Ko˝ig relacionó los tres tipos de problemas entre sí, lo que se puede hacer cuando uno
los reformula en términos de problemas relacionados con gráficas. Anteriormente, no se
discutían precisamente juntos en el mismo contexto. Como veremos pronto, Konig no
fue el primero en percibir su vínculo, pero sí el primer matemático en tratarlos
explícitamente como problemas relacionados, y lo hizo sobre la base de diagramas de la
teoría de grafos. Además, en el contexto en el que se entendía que los problemas estaban
conectados entre sí, tomó forma otra característica del diagrama: la naturaleza de las
líneas que representan los bordes eran “cuerdas flexibles”. Expliquemos qué queremos
decir con estas afirmaciones.
Para el caso de un heptágono, Ko˝ nig representó el problema de los polígonos
mediante el diagrama que se muestra en la figura.8. Podemos trazar cada borde y cada
diagonal de este diagrama una sola vez con un solo trazo.
En este caso, se utilizó el diagrama para resolver el problema.
184 M. Wate-Mizuno
Figura 8Tomado de la Secta.
2.2 del libro de Ko˝ nig de
1936 [29]
Poinsot explicó por qué la solución sólo es posible para un número impar de puntos.
Lo hizo utilizando el concepto de “cuerda flexible”: cuando los puntos son pares, todavía
se puede conducir una cuerda que conecte los puntos de dos en dos de todas las maneras
posibles, pero esta cuerda debe pasar dos veces desde cualquiera de los puntos a
cualquier otro, antes de que se vuelvan a unir los dos extremos y, estando cerrada la
cuerda, la longitud total será igual al doble de todas las distancias mutuas de los puntos
propuestos.
Poinsot trató este problema con puntos en un espacio, lo que significa que los puntos
y la cuerda flexible no necesariamente forman un polígono. Sin embargo, en las
secciones siguientes de sus memorias, analizó este problema en el caso de que los puntos
se proyecten sobre un plano. Por proyección de los puntos sobre un plano, consideramos
este problema como el de los polígonos. De hecho, en la Sección. 23, Poinsot relacionó
este problema en el caso de cuatro puntos con un cuadrilátero con dos diagonales; y
finalmente en Sectas. 24 y 25, aplicó este problema a polígonos arbitrarios.
En su publicación, Poinsot no utilizó ningún diagrama para discutir este problema.
Sin embargo, es notable que haya utilizado el concepto de “cuerda flexible” para
describir el camino y resolver el problema.
De hecho, la idea de cuerdas flexibles se remonta a un artículo de Alexandre-
Théophile Vandermonde (1735-1796), que Poinsot mencionó al comienzo de sus
memorias. El escribio:
Poinsot (1809/1810)[38],págs. 16-17, mi traducción del francés.
Memorias de la Academia de
Ciencias de 1771, una solución
más sencilla, LXV
lo cual se dedujo de una notación particular que inventó
para este tipo de problemas, y que aplicó también a la representación de un tejido o red formada con
los sucesivos nudos de varias cuerdas. [...]
LXIVA pesar de que Poinsot habla de una cuerda flexible, utiliza la longitud. Esto significa que se pierde
la “geometría de la situación”.
LXVPoinsot mencionó a Vandermonde [50] en el contexto del problema del movimiento del caballo
sobre un tablero de ajedrez, como uno de los problemas relacionados con la “geometría de la situación”.
Quería decir que la solución de Vandermonde era más simple que la de Euler [23].
186 M. Wate-Mizuno
Suponemos, por tanto, que Poinsot obtuvo el concepto de cuerdas flexibles del artículo
de Vandermonde “Remarques sur des problèmes de position (comentarios sobre los
problemas de situación)” en 1771 [50].
Sin embargo, Vandermonde no trató los polígonos en su artículo de 1771. Por lo
tanto, Poinsot tomó su idea de cuerdas flexibles y la utilizó en un contexto
completamente diferente. Además, como vimos en las memorias de Poinsot de 1810 (ver
pág.183), Poinsot no sólo usó lo que usó Vandermonde, sino que agregó medidas de
longitud, es decir, la “geometría de la situación” se perdió en las memorias de Poinsot.
Por otro lado, la preocupación de Vandermonde era la notación que debían utilizar los
trabajadores que hacían una trenza, una red o nudos. Estos trabajadores no conciben estas
situaciones espaciales
Representación de gráficas en diagramas de teoría de grafos 187
Cabe señalar que, para resolver el problema, Vandermonde no utilizó los conceptos
de “cadenas” y “alfileres”, sino secuencias de números que denotan cadenas.
A pesar de no utilizar la formulación en términos de cuerda y alfileres para resolver el
problema, Vandermonde dio un diagrama correspondiente a estos conceptos para
representar su resultado.
Representación de gráficas en diagramas de teoría de grafos 189
Figura 10Tomado del artículo de Vandermonde en
1771 [50].
sobre “la forme de la trace du cavalier sur l'échiquier, déterminée par cette suite (la forma
de la traza del caballo en el tablero de ajedrez, determinada por esta secuencia)”.
Comparar la figura.10. Vemos en este diagrama que Vandermonde usó pequeños círculos
que representaban alfileres fijados en un tablero de ajedrez. Estas características de su
diagrama evocan la forma de diagrama utilizada en el tratado de Ko˝ig de 1936, así como
en los textos sobre teoría de grafos de la actualidad.
Supongo que Poinsot, inspirado en el artículo de Vandermonde de 1771, tenía en
mente no sólo el concepto de “cuerda flexible” sino también el concepto de “alfileres”.
De hecho, Poinsot condujo una cuerda flexible entre los “puntos colocados en el espacio
como quieras”, al igual que Vandermonde dejó que una cuerda pasara por cada “alfiler
fijado en el centro de cada cuadrado” de un tablero de ajedrez. La forma de utilizar los
puntos de Poinsot es la misma que la forma de utilizar los pines de Vandermonde. En
otras palabras, los “puntos” de Poinsot desempeñaron el papel de “alfileres” en la
representación geométrica de Vandermonde.
En los términos utilizados en el tratado de König de 1936, Poinsot aplicó estos
conceptos a un problema relacionado con circuitos eulerianos, mientras que
Vandermonde los aplicó a un problema relacionado con circuitos hamiltonianos. De
hecho, en 1936, Ko˝ig consideró ambos problemas como ejemplos de problemas más
generales: el problema de los polígonos se trató como un problema de circuitos
eulerianos, mientras que el problema de los movimientos de un caballo se trató como un
problema de circuitos hamiltonianos.
Sin embargo, Poinsot, consciente o no, relacionó estos dos problemas con los
conceptos de cuerda flexible y alfileres.
Más tarde, Ko˝ig fue más allá: no sólo describió los problemas recreativos sobre la base
de los conceptos comunes de la teoría de grafos, sino que también formuló los problemas
generales relacionados con el objeto general de los grafos para los cuales eran casos
particulares.
La conferencia de Poinsot de 1809 no mencionó ninguna relación entre el problema
de los polígonos y el problema del dominó. En 1849 [49], Orly Terquem (1782-1862)
publicó el comentario a las obras de Poinsot sobre los polígonos. En este comentario,
aludió a la relación entre el problema de los polígonos y el problema del dominó
190 M. Wate-Mizuno
mencionando la cuestión
de dominó justo después de la descripción del problema de los polígonos de Poinsot que
examinamos en la sección. 2.4. Al final del comentario, Terquem describió lo siguiente:
Terquem (1849)[49],pag. 74, mi traducción del francés.
des dominos (la geometría de las redes y el problema del dominó)” en el vol. 4 de su
serie de recreaciones matemáticas [34], Lucas declaró que la idea de relacionar un
heptágono con el problema del dominó mencionado en el vol. 2 fue dado por Laisant.LXVI
Si volvemos ahora a la historia de la relación entre el problema de los puentes y el de
los polígonos, observamos que en 1882 Lucas trató el problema de los polígonos con los
diagramas que se muestran en la Fig.11. Además, incluyó el problema en el vol. 1 de su
serie sobre recreaciones matemáticas, en el capítulo dedicado al problema de los puentes
[31].
En este caso, no es haciendo uso de términos comunes para formular diferentes
problemas que Lucas indicó algo común entre ellos. Lucas lo hizo clasificándolos en el
mismo capítulo de su libro. Este hecho indica que Lucas reconoció que ambos problemas
podían tratarse de la misma manera.
Además, Lucas describió en este capítulo las relaciones entre un conjunto más amplio
de problemas, ya que destacó las relaciones entre cuatro temas diferentes de recreaciones
matemáticas: puentes, laberintos, polígonos y dominó.
Sin embargo, Lucas no discutió estos cuatro temas explícitamente sobre la misma
base, mientras que Ko˝ig lo hizo sobre la base de diagramas de la teoría de grafos.
Los vínculos que Lucas pudo establecer entre estos temas dependieron de ideas que
Tarry había presentado en una conferencia en 1886 [48], que discutiremos más
completamente en la Sección. 3.
Consideremos primero la historia del tratamiento del cuarto tipo de problema que
Lucas vinculó a los tres primeros considerados anteriormente.
12, las rectas y los pequeños círculos son caminos y cruces de un laberinto, el cual se
representa mediante las aristas y vértices de un gráfico; el diagrama c en la Fig. 12es una
transformación del diagrama b. Con el diagrama c, Ko˝ nig demostró que la posición
absoluta de los vértices y las aristas se ignora en la teoría de grafos, y que sólo la relación
entre los vértices y las aristas es importante para resolver el problema.
Una solución a este problema fue publicada por primera vez en 1882 por Lucas en el
capítulo sobre “Laberintos” en el vol. 1 de su serie sobre recreaciones matemáticas [31].
Lucas dice al respecto que esta solución la había dado Trémaux, un telegrafista y antiguo
alumno de la escuela politécnica. Lucas incluyó una prueba de la exactitud de la
solución. Sin embargo, en el tratado de König de 1936, señaló que “Dieser Lucassche
Beweis ist nicht vollständig (esta prueba de Lucas no está completa)”.
Concentrémonos en los diagramas utilizados por Lucas. En la prueba de la solución,
Lucas usó diagramas que representan una parte de un laberinto. Uno de los diagramas de
Lucas se muestra en la Fig.13.
Representación de gráficas en diagramas de teoría de grafos 193
Figura 13Tomado del cap. 3 del vol. de Lucas. 1 en 1882
[31].
En los diagramas de Lucas, las líneas representan “chemins (caminos)” y los puntos
donde las líneas se cruzan representan “carrefours (cruces)”.
Vemos en este diagrama otras características: las flechas indican las direcciones del
paseo; las marcas que cruzan las líneas indican los caminos por los que ya se ha
caminado. En otras palabras, tenemos aquí un diagrama tipo gráfico con más marcas.
Lucas usó líneas que representaban los caminos de un laberinto en 1882, tal como lo
hizo Ko˝ig en su tratado de 1936, usando para este problema líneas que representaban los
bordes de un gráfico. Ko˝ig utilizó así un tipo general de diagrama para representar el
problema del laberinto, mientras que Lucas dibujó un diagrama específico para el
problema considerado. Sin embargo, ambos diagramas se parecen. Además, Lucas no
utilizó pequeños círculos en sus diagramas para el problema de los laberintos. Esto está
relacionado con el hecho de que Lucas no consideró los vértices del gráfico como
elementos relevantes para la solución. Por otro lado, en los diagramas de König de 1936,
los pequeños círculos representaban vértices, correspondientes a los cruces de un
laberinto, y esta representación se utilizó también para todos los demás problemas de
puentes, polígonos y dominó. Lo veremos en la Sección. 3cómo esta forma común de
diagrama llegó a utilizarse en todos los problemas de la teoría de grafos, y cómo este
detalle da testimonio del proceso histórico mediante el cual König adoptó estas
representaciones.
Para resumir nuestras conclusiones hasta ahora, vimos en esta sección que Ko˝ig, en
su tratado de 1936, discutió diferentes problemas de recreaciones matemáticas (puentes,
polígonos, dominós y laberintos) usando los mismos conceptos generales asociados a la
gráfica con los mismos términos. tipo de diagrama; por otra parte, los trabajos anteriores
no trataron estos temas de la misma manera.
Veremos en la siguiente sección que la charla de Tarry jugó un papel importante en la
transformación de la forma de utilizar los diagramas.
LXVIINo está claro quiénes fueron los autores de los resúmenes, pero alguien en la oficina de la sección
que contenía la charla de Tarry pudo haber sido el autor: Président d'honneur: M. le Géneral FROLOW,
major général du génie russe (mayor general ruso de ingeniería); Presidente: M. Ed. LUCAS, Prof. de
matemáticas. spéciale au Lycée Saint-Louis (Profesor de matemáticas superiores en el Instituto Saint-
Louis); Vicepresidente: M. Laisant, Député de la Seine, Anc. Él. de l'Éc. Polit. (Diputado del Sena,
antiguo alumno de la Escuela Politécnica); Secretario: M. HEITZ, Él. de l'Éc. centro des Arts et
Manufact. (Estudiante de la escuela central de Artes y Manufactura).
LXVIIITarry habló de figuras de laberintos según su artículo del vol. 2 del proceso.
LXIXEl problema tratado por Tarry era, por tanto, diferente del problema tratado por Poinsot, quien
describió la posibilidad de trazar todos los bordes y diagonales de un polígono una vez y sólo una vez
con un trazo.
LXXMichel Reiss (1805-1869) fue un matemático de Frankfurt que trabajó principalmente en la teoría
de los determinantes. Publicó un artículo sobre dominó “Evaluación del nombre de combinaisons
desquelles les 28 dés d'un jeu du domino sont susceptibles d'après la règle de ce jeu” (1871) de 58
páginas [42].
LXXIEs decir, Édouard Lucas.
Representación de gráficas en diagramas de teoría de grafos 195
1. agrupar el2n callejones que conducen al cruce N en n pares de callejones en todas las
formas posibles;
196 M. Wate-Mizuno
Tarry demostró este teorema de la siguiente manera: agrupa los 2n callejones que
conducen al cruce N en pares de callejones de todas las formas posibles; obtendremos (2
n — 1)(2 n — 3)... x 5 x 3 x 1 grupos diferentes; a cada uno de estos grupos,
relacionamos todos los recorridos del laberinto dado; en estos cursos, en cada paso por el
cruce N, el callejón que conduce a él y el callejón que se aleja de él pertenecen a un par
del grupo considerado; vemos fácilmente que el número de cursos a encontrar será igual
a la suma de los números de cursos distintos correspondientes a cada grupo, de la forma
mostrada anteriormente; considere los cursos de uno de estos grupos y examine los n
pares de callejones que componen el grupo; en cada uno de estos n pares de callejones,
los dos callejones, que se consideran salidas del cruce N, conducen a dos cruces
diferentes A, B o a un cruce idéntico C; en el primer caso, se sustituyen los 2 callejones
NA, NB por un nuevo callejón AB que une los cruces A y B sin cambiar el número de
recorridos, porque este cambio supone sustituir la vía ANB o BNA por las vías
equivalentes AB o BA; en este último caso, los dos callejones que unen los cruces N y C
se sustituyen por un callejón sin salida que pasa por el cruce C; El teorema queda así
demostrado.
Después de demostrar estos teoremas, Tarry dio un procedimiento para calcular el
número de recorridos distintos de cualquier laberinto recurrente:
1. Aplique el “teorema de los callejones sin salida” y el “teorema de la reducción de
uniones” a un laberinto recurrente determinado. Según los teoremas, el número de
uniones del laberinto se reducirá y obtendremos una ecuación entre el número de
recorridos distintos del laberinto reducido y el del laberinto antes de que se redujera.
2. Repita el proceso 1 para que finalmente obtengamos laberintos que contengan solo
dos cruces sin callejones sin salida.
3. Cuente el número de laberintos que contienen sólo dos cruces sin callejones sin
salida: dos cruces de dicho laberinto están conectados con 2n callejones, por lo tanto,
el número de recorridos distintos es igual a 2 (2 n — 1)(2 n — 2). .4 x 3 x 2 x 1 si se
cuenta cada dirección de la caminata.
4. Sustituya la variable de la última ecuación por el número de recorridos distintos del
último laberinto, es decir, el laberinto que contiene sólo dos cruces sin callejones sin
salida. Obtendremos así el valor de la variable de la ecuación anterior.
5. Repetimos las sustituciones y obtendremos finalmente el número de recorridos
distintos del laberinto primitivo.
Para dar una aplicación de este procedimiento, Tarry seleccionó un laberinto
recurrente donde los callejones forman los bordes y las diagonales de un heptágono.
Reconocemos aquí que esta aplicación proporciona el número de soluciones posibles al
problema de los polígonos de Poinsot.
Tarry utilizó un nuevo tipo de diagrama como se muestra en las Figs. 14, 15, dieciséis
y 17.
En estos diagramas utilizó varios signos como círculos y triángulos equiláteros unidos
a un círculo.
Representación de gráficas en diagramas de teoría de grafos 197
Tarry dio notas explicativas para leer sus diagramas. Las oraciones entre “[” y “]” a
continuación son mis comentarios.
CírculoCruce del laberinto.
[Reconocemos aquí que los elementos que se convertirían en los vértices del gráfico
están explícitamente señalados.]
Línea recta que conecta dos círculos.Callejón del laberinto que conecta dos cruces.
198 M. Wate-Mizuno
[Una línea recta representa cualquier tipo de callejón y se usa desde el punto de vista
que se describe, como fue el caso de los polígonos anteriores.]
Triángulo equilátero que tiene una esquina en un círculo.Callejón sin salida (callejón,
ambos extremos conducen al mismo cruce correspondiente al círculo).
Letra al lado de cada figuraLa letra indica cada cifra, y a su vez en la ecuación,
representa el número de cursos correspondientes a dicha cifra. [Vea el detalle a
continuación.]
Representación de gráficas en diagramas de teoría de grafos 199
Eliminamos el cruce del laberinto heptagonal X, los seis callejones se reducen a tres
callejones, que forman líneas dobles en la figura del laberinto hexagonal H.
En las siguientes figuras, el laberinto hexagonal H se reduce a los laberintos
pentagonales P1,P2,P3,P4. Estos cuatro laberintos pentagonales se dibujan de manera
diferente porque las líneas múltiples están conectadas de manera diferente dependiendo
de las formas de agrupar los seis callejones que conducen a una de las uniones del
laberinto hexagonal en tres pares de callejones: para P1, contamos
los grupos trayendo cinco callejones dobles; para P2, contamos los grupos que traen tres
callejones dobles y un callejón triple; para P3, contamos los grupos que traen cuatro
callejones dobles; para P4, contamos los grupos que traen dos callejones triples. Además,
Representación de gráficas en diagramas de teoría de grafos 201
cada uno de P3 y P4 tiene un callejón sin salida, por lo que les aplicamos el corolario con
k = 1, n = 2. Multiplicamos así el recuento de grupos por (2 + 1 — 1)21 = 4 para obtener
el número de cursos distintos. Luego obtenemos la ecuación H = 8P 1 + 4P2 + 4 x 2P3 +
4 x P4.
Siguiendo el procedimiento de manera similar, obtenemos sucesivamente las
siguientes ecuaciones:
X= 15H
h= 8 P1 + 4 P2 + 8 P3 + 4 P4
PAG1 = 6 Q1 + 4 Q 2 + 16 Q 3 + 16 Q 4
PAG2 = 8 Q1 + 16 Q 3 + 2 Q 5 + 16 Q 6
PAG3 = 2 Q1 + Q2
PAG4 = 2 Q1 + Q5
q1 = 6 T1 + 24 T2 + 48 T3
q2 = 8 T1 + 24 T2 + 64 T4
q3 = 2 T1 + 4 T2
q4 = 2 T2 + 4 T3
q5 = 48 T2 + 24 T5
q6 = 2 T2 + 2 T5
t1 = 6 re 1 + 144 re 2
t2 = 2 re 1 + 16 re 2
t3 = 12D2
t4 = 2D 2 + 4D 3
t5 = D1
D1 = 240
D2 = 12
D3 = 2
De estas ecuaciones obtenemos finalmente el número de recorridos distintos del
laberinto heptagonal X = 129976320.
Tarry no mencionó el problema del dominó en el texto de las actas, pero vemos en las
hojas de diagramas la leyenda “TARRY—PROBLÈME DES DOMINOS (Tarry—
problema del dominó)”. Este título respalda la descripción del resumen de que Tarry
aplicó sus teoremas al problema del dominó. Además, reconocemos que los diagramas
dados para el cálculo del número de recorridos distintos de un laberinto heptagonal
fueron utilizados, en su charla, para el problema del dominó. Reconocemos, por tanto,
que Tarry relacionó el problema de los polígonos con el problema del dominó.
En los diagramas de Tarry encontramos una representación clara de los cruces de un
laberinto, que corresponde a los vértices de un gráfico en términos modernos, mientras
que tal representación no se encontró en el diagrama de Lucas utilizado para resolver el
problema del laberinto (Fig.13), ni en el de polígonos
(Higo.11). La representación de Tarry sugiere la importancia de las uniones, que
corresponden a los vértices de un gráfico, lo cual sigue siendo importante en el tratado de
Konig de 1936.
Es notable que Tarry relacionara el problema de los puentes con los conceptos de
202 M. Wate-Mizuno
4. Conclusión
Discutimos cómo surgió la representación de gráficas mediante los diagramas de la teoría
de grafos.
Examinamos algunos problemas que König trató en su tratado de 1936 y analizamos
los diagramas adjuntos a ellos en los textos anteriores a 1936. Antes, estos diagramas no
siempre tenían la forma actual y las formas no eran uniformes. Las características de los
diagramas en los primeros tiempos eran diferentes entre sí, dependiendo del problema en
el que se usaba el diagrama, mientras que las características de los diagramas en la
actualidad son uniformes en diferentes temas.
La charla de Tarry en 1886 [48] jugó un papel importante en la forma de utilizar los
diagramas.
Con respecto a los diagramas, la importancia de la charla de Tarry fue que utilizó un
tipo uniforme de diagrama en diferentes temas, y que para resolver el problema del
dominó en su charla, conectó este problema con otros problemas para los cuales se
habían introducido diagramas similares y los cuales habían sido reformulados como
problemas relacionados con este tipo de diagramas.
De hecho, identificamos otra representación gráfica y otra concepción del objeto de
estudio utilizada a principios del siglo XIX para conectar un conjunto más pequeño de
problemas distintos ahora entendidos como relacionados con los gráficos: una forma de
diagrama con líneas y pequeños círculos que ya apareció en un artículo de Vandermonde
en 1771 [50]. Sin embargo, su estatus era diferente en ese momento: Vandermonde usó
el diagrama no para plantear y luego resolver un problema, sino para representar su
solución al problema. La notable contribución de Vandermonde (1771) a la teoría de
grafos es que utilizó los conceptos de “épingle (pin)” y “fil (cuerda)” para un problema
del movimiento del caballo en un tablero de ajedrez, introduciendo así en particular la
línea independientemente de su forma y distinguiendo sólo algunos puntos para
representar una situación. Además, dio un diagrama que representaba su resultado
utilizando estos conceptos. En el tratado de Konig de 1936, el problema del movimiento
del caballo sobre un tablero de ajedrez se consideraba, en el contexto de la teoría de
grafos, un problema de circuito hamiltoniano. Pero el tratado de König de 1936 no es el
primer texto en el que se utilizan los mismos conceptos como base para definir
problemas referentes a cuestiones relacionadas con circuitos, estando los circuitos
representados por medio de los mismos elementos. Poinsot, en su conferencia de 1809 [-
38], aplicó los conceptos de Vandermonde al problema de los polígonos. En otras
palabras, Poinsot reconoció que los mismos conceptos pueden usarse para formular dos
problemas aparentemente diferentes, uno sobre un circuito hamiltoniano y otro, que en el
tratado de Konig de 1936 se menciona como un problema de circuitos eulerianos.
También es destacable que Poinsot utilizó estos conceptos para resolver el problema, no
sólo representando la solución, aunque no se encuentra ningún diagrama que represente
los conceptos. Fue Ko˝ nig quien, por primera vez, relacionó explícitamente estos dos
problemas en el mismo capítulo y los consideró utilizando la misma base teórica de
grafos.
Tarry también relacionó el problema de los puentes con el concepto de laberintos.
Además, aplicó su resultado al problema del dominó utilizando diagramas de polígonos.
Sin embargo, Tarry no integró explícitamente los cuatro problemas de puentes,
Representación de gráficas en diagramas de teoría de grafos 203
Referencias
1. Ahrens, W.: Mathematische Unterhaltungen und Spiele. Teubner, Leipzig (1901)
2. Ahrens, W.: Mathematische Spiele. En: Meyer, WF (ed.) Encyklopädie der mathematischen
Wissenschaften mit Einschluss ihrer Anwendungen, Band 1, págs. 1080-1093. Teubner, Leipzig
(1902)
3. Ahrens, W.: Mathematische Unterhaltungen und Spiele, vol. 2. Teubner, Leipzig (1918) (Zweite,
vermehrte und verbesserte Auflage)
4. Ahrens, W.: Mathematische Unterhaltungen und Spiele, vol. 1. Teubner, Leipzig (1921) (Dritte,
verbesserte, anastatisch, gedruckte Auflage)
5. Bachet, C.-G.: Problèmes plaisans et délectables qui se font par les nombres. Pierre Rigaud, Lyon
(1612)
6. Bachet, C.-G.: Problèmes plaisans et délectables qui se font par les nombres. Pierre Rigaud, Lyon
(1624) (Seconde édition revue, corrigée et augmentée de plusieurs propositions, et de plusieurs
prob-lèmes par le même auteur)
7. Bachet, C.-G.: Problèmes plaisants et délectables qui se font par les nombres. Gauthier-Villars, París
(1874) (Troisième édition, revue, simplifiée et augmentée por A. Labosne)
8. Bachet, C.-G.: Problèmes plaisants et délectables qui se font par les nombres. Gauthier-Villars, París
(1879) (Quatrième édition, revue, simplifiée et augmentée por A. Labosne)
9. Ball, WWR: Recreaciones matemáticas y problemas del pasado y del presente. Macmillan, Londres
(1892) (Primera edición en febrero; segunda edición en mayo sin cambios materiales)
10. Ball, WWR: Recreaciones matemáticas y problemas del pasado y del presente, 3ª ed. Macmillan,
Londres (1896)
11. Ball, WWR: Récréations et problèmes mathématiques des temps anciens et modernes. Hermann,
París (1898) (Troisème édition revue et augmentée par l'auteur, traducida por J. Fitz-Patrick)
12. Ball, WWR: Ensayos y recreaciones matemáticas, 4ª ed. Macmillan, Londres (1905)
13. Ball, WWR: Récréations et problèmes mathématiques des temps anciens et modernes, vol. 1.
Hermann, París (1907) (Deuxième édition française traduite d'après la quatrième édition anglaise et
enrichie de nombreusesadiciones por J. Fitz-Patrick)
14. Ball, WWR: Récréations et problèmes mathématiques des temps anciens et modernes, vol. 2.
Hermann, París (1908) (Deuxième édition française traduite d'après la quatrième édition anglaise et
enrichie de nombreusesadiciones por J. Fitz-Patrick)
15. Ball, WWR: Ensayos y recreaciones matemáticas, 5ª ed. Macmillan, Londres (1911)
16. Biggs, NL, Lloyd, EK, Wilson, RJ: Teoría de grafos, 1736–1936. Oxford University Press, Nueva
York (1976) (Publicado por primera vez en 1976; reimpreso con correcciones en 1997; publicado
por primera vez en edición de bolsillo en 1986; reimpreso con correcciones en 1998)
17. Coupy, É.: Solución de un problema relacionado con la geometría de la situación, por Euler. Nuevo.
Ana. Matemáticas. 10, 106-119 (1851)
18. Décaillot, A.-M.: L'arithméticien Édouard Lucas (1842–1891): teoría e instrumentación. Rev. Hist.
Matemáticas. 4(2), 191–236 (1998)
19. Décaillot, A.-M.: Édouard Lucas (1842–1891): le parcours original d'un scientifique dans la deux-
ième moitié du XIXe siècle. Doctor. tesis, L'université René Descartes-Paris V (1999)
20. Décaillot, A.-M.: Géométrie des tissus. Mosaicos. Échiquiers. Mathématiques curieuses et utiles.
Rev. Hist. Matemáticas. 8(2), 145–206 (2003)
21. Epple, M.: Topología, materia y espacio I: nociones topológicas en la filosofía natural del siglo
XIX. Arco. Historia. Ciencia exacta. 52, 297–392 (1998)
22. Euler, L.: Solutio problematis ad geometriam situs pertinentis. Comentario. Acad. Ciencia.
Diablillo. Petropol.
8, 128–140 (1736) (Basado en una charla presentada en la Academia el 26 de agosto de 1735;
impreso en 1741; traducción al inglés en el libro [dieciséis])
23. Euler, L.: Solution d'une question curieuse qui ne paroit soumise à aucune analyse. Mém. Acad. R.
Ciencias. B.-Lett. 15, 310–337 (1766)
24. Fourrey, É.: Récréations arithmétiques. Nony, París (1899) (1er ed. 1899; 2e ed. 1901; 3e ed. 1904;
4e ed. 1907; 8e ed. 1947; nouvelle edn. augmentée d'une étude de Jean-Louis Nicolas 1994/2001)
25. Fourrey, É.: Curiosités géométriques. Vuibert y Nony, París (1907)
26. Heeffer, A.: Récréations mathématiques (1624), un estudio sobre su autoría, fuentes e influencia.
204 M. Wate-Mizuno
Gibecière 1, 77-167 (2006)
27. Ko˝ nig, D.: Mathematikai mulatságok, vol. 1. Lampel Róbert, Budapest (1902) (Reimpreso en
1991)
28. Ko˝ nig, D.: Mathematikai mulatságok, vol. 2. Lampel Róbert, Budapest (1905) (Reimpreso en
1992)
29. König, D.: Theorie der endlichen und unendlichen Graphen. Akád. Verlagsgesellschaft, Leipzig
(1936) (Republicado en 1950 por Chelsea Publishing Company en Nueva York; republicado en
1986, con “Leonhard Eulers Abhandlung über das Königsberger Brückenproblem (1736)”, con
prefacio de Paul Erdös y con una contribución de Tibor Gallai: “Denes König—Ein biographischer
Abriß” editado con un apéndice de Horst Sachs, Teubner-Arch. Math., Band 6, S. 3)
30. Kraitchik, M.: La mathématique des jeux ou récréations mathématiques. Stevens Frères, Bruselas
(1930)
31. Lucas, É.: Récréations mathématiques, vol. I. Gauthier-Villars, París (1882) (2ª ed. 1891)
32. Lucas, É.: Récréations mathématiques, vol. II. Gauthier-Villars, París (1883) (2ª ed. 1896)
33. Lucas, É.: Récréations mathématiques, vol. III. Gauthier-Villars, París (1893)
34. Lucas, É.: Récréations mathématiques, vol. IV. Gauthier-Villars, París (1894)
35. Lucas, É.: L'Arithmétique amusante. Gauthier-Villars, París (1895)
36. Ozanam, J.: Récreations mathématiques et physiques, vols. 1–2. Jombert, París (1694) (Le Traité
des horloges élémentaires est traduit de l'italian de Domenico Martinelli)
37. Ozanam, J.: Récreations mathématiques et physiques, vols. 1–4. Virguin, París (1778) (Nouvelle
édition, totalement refondue & considérablement augmentée par M. de CGF)
38. Poinsot, L.: Mémoire sur les polygones et les polyèdres. J. Éc. Politécnico. 4(10), 16–48 (1810) (Lu
à la première classe de l'institut le 24 Juillet 1809)
39. Pont, J.-C.: La topologie algébrique des origines à Poincaré. Prensas Universitarias de Francia, París
(1974)
40. Rebière, A.: Mathématiques et mathématiciens: pensées et curiosités. Nony, París (1889) (282
páginas)
41. Rebière, A.: Mathématiques et mathématiciens: pensées et curiosités, 3ª ed. Nony, París (1898) (566
páginas)
42. Reiss, M.: Evaluación del nombre de combinaciones de las 28 dés d'un juego de dominó son
susceptibles de después de la regla de este juego. Ana. Estera. Pura aplicación. 5, 63–120 (1871–
1873)
43. Schubert, H.: Mathematische Mußestunden. Göschen'sche Verlagshandlung, Hamburgo (1897)
(traducción al inglés [44])
44. Schubert, H.: Ensayos y recreaciones matemáticas. Open Court Publishing, Chicago (1898)
(Traducido del alemán por Thomas J. McCormack)
45. Schubert, H.: Mathematische Mußestunden, vols. I-III. Göschen, Leipzig (1900) (Apareció también
en forma abreviada de un solo volumen en 1904)
46. Singmaster, D.: Walter William Rouse Ball, Recreaciones y problemas matemáticos del pasado y
del presente, primera edición (1892). En: Grattan-Guinness, I. (ed.) Escritos emblemáticos en
matemáticas occidentales, 1640–1940, págs. Elsevier, Ámsterdam (2005) (Capítulo 50)
47. Sylvester, JJ: Sobre los descubrimientos recientes en la conversión mecánica del movimiento. En:
Actas de la Royal Institution de Gran Bretaña, vol. 7, págs. 179–198 (1873–1875) (Reimpreso en
The Collected Mathematical Papers of James Joseph Sylvester, vol. III, págs. 7–25. Cambridge,
1904–1912)
48. Tarry, G.: Geometría de situación: nombre de maneras distintas de recorrer en un solo curso todos
los allées de un laberinto alquilado, en ne passant qu'une seule fois par chacune des allées. En:
Association française pour l'avancement des sciences, Compte rendu de la 15e session, Nancy,
1886, vols. 1–2, págs. 49–53 de la 2e partie. París (1887) (Secretariat de l'association, Georges
Masson. Le résumé: p. 81 de la 1er partie; 2 feuilles de figure à la fin de la 2e partie)
49. Terquem, O.: Sur les polygones et les polyèdres étoilés, polygones funiculaires. Nuevo. Ana.
Matemáticas. 8, 68–74 (1849) (D'après M. Poinsot, Secciones 1–10)
50. Vandermonde, A.-T.: Observaciones sobre los problemas de situación. En: Histoire de l'académie
royale des sciences. Année MDCCLXXI. Avec les Mémoires de Mathématique & de Physique, pour
la même Année, Tirés des Registres de cette Académie, págs. 566–574. L'Imprimerie Royale, París
(1771) (Impreso en 1774; traducción al inglés en el libro [dieciséis])
51. Wate-Mizuno, M.: Los trabajos de Ko˝nig Dénes (1884-1944) en el dominio de las recreaciones
matemáticas y su tratamiento de problemas recreativos en sus trabajos de teoría de grafos. Doctor.
tesis, Universidad Denis Diderot-Paris 7 (2010)
M. Wate-Mizuno (B)
Representación de gráficas en diagramas de teoría de grafos 205
Equipe REHSEIS, Laboratoire SPHERE, Université Paris 7, 5 rue Thomas Mann, Case 7093,
75205 Paris Cedex 13, Francia
correo electrónico:fotonoakvokampo@gmail.com
13
Existe una noción teórica de representación de categorías relacionadas. Una representación es un
homomorfismo natural (en el sentido técnico de natural, arriba) entre S y un objeto teórico de conjuntos.
Se puede demostrar que un funtor G : D —> C tiene un adjunto izquierdo si y solo si cada hom(X, G—)
es representable, para cada X e C.