760 likes | 1.05k Views
Los gráficos existenciales de C. S. Peirce. Arnold Oostra Universidad del Tolima Centro de Sistemática Peirceana. René Magritte , Clarividencia (1936). la segunda derivada es positiva la curva tiene un mínimo. P C. P. C. Elementos. Letras. P. C. Cortes. Hoja de aserción.
E N D
Los gráficos existencialesde C. S. Peirce Arnold Oostra Universidad del Tolima Centro de Sistemática Peirceana
la segunda derivada es positiva la curva tiene un mínimo
P C
P C
Elementos Letras P C Cortes Hoja de aserción
Se puede… Significa… • Dejar una porción de la hoja en blanco • Escribir una letra • Escribir dos o más gráficos juntos • Encerrar un gráfico en un corte • Lo verdadero • Afirmar la proposi-ción que representa • Afirmar el significado de todos los gráficos • Negar el significado del gráfico A G H “G y H” G “no G”
Conectivos lógicos básicos (no A ) y (no B ) A o B A y no B A implica B A B B A B A A B
Gráficos más complejos (A implica B ) y (C o (B y D )) ((A implica B ) implica A ) implica A A B C B D A B A A
Áreas y paridad • Un área es una porción de la hoja de aserción limitada por cortes • Un área es par o impar según el número de cortes que la rodean A C B A E B C A D
Áreas vacías Un corte doble consiste en un par de cortes encajados sin ningún gráfico entre ellos Nótese que también pueden aparecer cortes vacíos A A
Lógica topológica Los gráficos pueden deformarse continuamente B A A B A B
Hacia la transformación Hay fórmulas proposicionales diferentes cuyos gráficos difieren en muy poco (no B ) implica (no A ) A implica (B implica C ) A implica B A B B A (A y B ) implica C A A B B C C
(B) Borramiento (en par) En un área par puede borrarse cualquier gráfico. A A B B C B B A B A A B A C C
(E) Escritura (en impar) En un área impar puede escribirse cualquier gráfico. A A B E C C A A B B C
(I) Iteración (hacia adentro) Cualquier gráfico puede iterarse (repetirse) en su área o en cortes realizados en la misma (que no formen parte del gráfico que se va a iterar). A A I B A B I A A A A A B B A
(D) Desiteración (hacia afuera) Cualquier gráfico que pudiera ser resultado de iteración, puede borrarse. D A B B A A
(C) Corte doble Un corte doble puede escribirse o borrarse alrededor de cualquier gráfico en cualquier área. A B C B A
Reglas de transformación B B B Borramiento (área par) Escritura (área impar) Iteración (hacia adentro) Desiteración (hacia afuera) Corte doble A C B E C C A A I B B C B C A A D A B A B C B C A B C B A
Fórmulas equivalentes A implica (B implica C ) (A y B ) implica C (A implica B ) implica BA o B A A B C B C C I D A B A B B
DeducciónA, A implica BB A A D A B B C A B B B
DeducciónA, A implica BB Premisas A A B
DeducciónA, A implica BB Premisas Desiteración A B
DeducciónA, A implica BB Premisas Desiteración Corte doble A B
DeducciónA, A implica BB Premisas Desiteración Corte doble Borramiento B
Deducción Aimplica B, B implica CA implica C Premisas A B B C
Deducción Aimplica B, B implica CA implica C Premisas A B B C
Deducción Aimplica B, B implica CA implica C Premisas Iteración A B B C B C
Deducción Aimplica B, B implica CA implica C Premisas Iteración Desiteración A B C B C
Deducción Aimplica B, B implica CA implica C Premisas Iteración Desiteración Corte doble A B C B C
Deducción Aimplica B, B implica CA implica C Premisas Iteración Desiteración Corte doble Borramiento A C
Deducción Aimplica B, B implica CA implica C Premisas Iteración Desiteración Corte doble Borramiento A C
Esquema A B A implica B B implica C B C A C A implica C
Teorema Corte doble
Teorema Corte doble Escritura A B
Teorema (A y B ) implica A Corte doble Escritura Iteración A B A
Teorema Aimplica (B implica A ) Corte doble Escritura Iteración Corte doble A B A
Diagramas en el razonamiento Pues el razonamiento matemático consiste en construir un diagrama de acuerdo con un precepto general, en observar ciertas relaciones entre partes de ese diagrama —[relaciones] que no están requeridas de manera explícita por el precepto—, en mostrar que estas relaciones valdrán para todos los diagramas tales, y en formular esta conclusión en términos generales. Todo razonamiento necesario válido es entonces, de hecho, diagramático.
El método diagramático diagrama problema premisas formación transformación diagrama transformado solución conclusión
Gráficos existenciales Ven, Lector mío, y construyamos un diagrama que ilustre el curso general del pensamiento; quiero decir, un sistema de diagramatización mediante el cual se pueda representar con exactitud cualquier curso del pensamiento. Así el sistema de gráficos existenciales es un diagrama burdo y generalizado de la mente.
Niveles de gráficos existenciales Gama Lógicas modales Beta Cálculo de predicados Alfa Cálculo proposicional
es estudiante es inteligente
E I