Diagrammatic Logic

¿Cuándo decimos que un diagrama es un diagrama lógico? Un estudio comparativo

“…Pues bien, combinando estas anotaciones podemos ofrecer una definición de diagrama lógico: un diagrama lógico es un diagrama (en el sentido de Gardner) dentro de un sistema diagramático que es correcto y completo con respecto a una clase de inferencias válidas dada a una base deductiva. Esta definición parece ser adecuada porque nos permite incluir a aquellos sistemas de diagramas que, por sus propiedades, típicamente consideramos como diagramas lógicos bona fide (como los diagramas de Venn-Euler-Peirce (Shin, 1994;Hammer, 1995), por ejemplo) pero excluye a los diagramas que no solo son incorrectos o incompletos, sino aquellos que ni siquiera son inferenciales.…”

Aspectos generales del conocimiento simbólico y diagramático: el caso de los diagramas de Venn

“…Los diagramas definidos a continuación consistirán en un rectángulo dibujado en un plano bidimensional en el que se dibujarán dos círculos junto con sus cuatro combinaciones que representan la intersección, las dos diferencias y el complemento de la unión. 11 Dicho con otras palabras, este diagrama consta de cuatro regiones mínimas 12 (Hammer, 2001:396) que se representan aquí:…”

Remarks on the Idea of Non-monotonic (Diagrammatic) Inference

“…Within the premises there is a term that appears in both premises but not in the conclusion. This particular term works as a link between the remaining terms and is known as the middle term, which we denote with the term-schema M. According to this term we can set up four figures that encode all the valid and only the valid syllogisms (Table 1) (Shin, 1994) that is equivalent to monadic First Order Logic (Hammer, 1995) and thus represents syllogistic quite perspicuously. Following (Shin, 1994: 48), it has a well defined vocabulary, syntax, and semantics.…”