GRFICOS ALFA PARA LA LGICA INTUICIONISTA

NOMBRE: YESICA MILENA GARZON PACHECO CODIGO: 051150252007

UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS SEMINARIO DE PEIRCE

GRFICOS ALFA PARA LA LGICA INTUICIONISTA

PRESENTADO A: ARNOLD OOSTRA

NOMBRE: YESICA MILENA GARZON PACHECO CODIGO: 051150252007

UNIVERSIDAD DEL TOLIMA FACULTAD DE CIENCIAS SEMINARIO DE PEIRCE

GRFICOS ALFA PARA LA LGICA INTUICIONISTA

Entre todos los trabajos e investigaciones que efectu Peirce distingui tres sistemas de grficos existenciales, denominados Alfa, Beta y Gama que hacen parte del clculo proposicional, esta exposicin se limitara a la representacin de los grficos existenciales alfa aplicados a la lgica intuicionista. Se debe tener en cuenta que estos grficos se trabajan sin el adjetivo existencial ya que no aparece la lnea de identidad, para formar los grficos Alfa de Peirce se deben seguir las consiguientes reglas: Hoja de asercin: la cual es la superficie sobre la que se dibuja, se define como universo de posibilidades de verdad. Grafico: porcin acotada y sin marcas de la hoja de asercin es un grafico. Proposiciones: se representan mediante letras abreviadas. Lo que se escriba (grafico) sobre la hoja es afirmar la proposicin. Son grficos las curvas cerradas simples llamadas cortes. Para negar un grfico es encerrarlo en un corte. Los conectivos proposicionales se construyen a partir de la negacin y la conjuncin. Las reglas propuestas por C.S. Peirce para los grficos alfa son las siguientes. (B) Borramiento: En un rea par puede borrarse cualquier grfico. (E) Escritura: En un rea impar puede escribirse cualquier grfico. (I) Iteracin: Cualquier grfico puede iterarse en su misma rea o en reas encerradas por cortes adicionales contenidos en ella. (D) Desiteracin: Puede borrarse cualquier grfico que pudiera haber sido escrito por iteracin. C) Corte doble: Un corte doble con el rea entre los dos vaca puede escribirse o borrarse alrededor de cualquier grfico, en cualquier rea. Para las demostraciones se dar utilidad al signo, el cual no hace parte del sistema de grficos, es una ayuda para facilitar el anlisis de las deducciones . LOGICA INTUICIONISTA El intuicionismo es una doctrina sobre los fundamentos de la matemtica, impulsada en el siglo XX por el matemtico holandes L. E. J. Brouwer como una reaccin al formalismo. Para un formalista, las afirmaciones de las matemticas y la lgica se reducen a las consecuencias de ciertos axiomas, obtenidas mediante reglas de inferencia establecidas, de tal manera que las matemticas no son mucho ms que lenguaje matemtico. Para un intuicionista, en cambio, las matemticas se independizan del

lenguaje y la verdad matemtica se experimenta tras una construccin mental. Las pruebas han de ser constructivas, de tal manera que el intuicionismo es una clase de constructivismo matemtico. Es claro que existen enunciados que no se pueden probar ni refutar en este sentido, luego para el intuicionista no vale el principio del tercero excluido. Tambin es claro que, en el sentido intuicionista, negar que un enunciado sea refutable no implica construirlo, as que tambin se pierde el principio de la doble negacin. Tampoco es vlido el mtodo de reduccin al absurdo, tan querido y usado en la matemtica clsica, aunque si cuando la conclusin que se desea probar es una negacin.

En este orden de ideas es necesario resaltar el hecho de que los conectivos intuicionistas son independientes entre s, en cambio en la lgica clsica sucede que los conectivos se expresan en trminos de negacin y de conjuncin, todas estas relaciones son abolidas en el clculo proposicional intuicionista aqu la negacin se define como la implicacin del absurdo.

Pierce represento la implicacin uniendo los dos lazos en un punto formndose as el lazo el cual lo llamo scroll o doble cut. En diferentes pasajes llamo al corte mayor cut (corte), outloop (lazo externo), sep (del latn spes, seto) e incluso Wall (muro), mientras daba al corte menor los nombres loop (lazo), inloop (lazo interno) y Fence (cerca) [CP 4.400, 4.437, 4.564]. Pierce como era zurdo dio la siguiente secuencia para dibujar el rizo:

Sin embargo, para enfatizar el contraste entre interior y exterior, entre antecedente y consecuente (contraste que incluso se nota en la entonacin al expresar una implicacin de manera oral), en este trabajo se sugiere la secuencia siguiente:

Pierce tambin propuso una notacin lineal para los grficos existenciales Alfa, en la cual distingua entre el corte y el lazo, representando el primero con parntesis angulares [ ] y el segundo con parntesis corrientes ( ).

Si todo lo anterior no fuera una indicacin suficiente de la importancia que Peirce le brindo al rizo, en 1906 lo destac de manera explcita como una forma primera y necesaria en el sistema de grficos existenciales, expres: Pens que debera tomar la forma general de argumento como la forma fundamental de composicin de signos en mi diagramatizacin, y de manera necesaria esta tom la forma de un rizo, esto es una curva sin cambio de flexin que vuelve sobre s misma despus de cruzarse una vez.

Y ms adelante escribi: El rizo no se tom al azar para este propsito sino fue el resultado de experimentos y razonamientos por los que fui llevado a ver que proporcionaba el diagrama ms fiel de tal proposicin. Una vez obtenida esta forma, el desarrollo lgico inevitable me condujo pronto al sistema de los grficos existenciales. A continuacin se dar lo que compone los dibujos para la elaboracin adecuada de los grficos y su interpretacin en la lectura: La superficie sobre la cual se escribe, denominada hoja de asercin. Proposiciones, por lo general abreviadas mediante letras. Curvas cerradas simples, llamadas cortes. Curvas llamadas rizos, que estn compuestas por dos curvas cerradas simples que se intersecan en un solo punto y una de las cuales est en el interior de la otra. La curva exterior de un rizo se denomina corte y la interior, lazo; la porcin de la hoja de asercin comprendida entre el corte y el lazo se denomina rea exterior del rizo y la porcin rodeada por el lazo, rea interior.

Curvas llamadas bucles, que estn compuestas por n+1 curvas cerradas simples, n de ellas contenidas en el interior de la restante. Las curvas interiores

no se intersecan entre s, se intersecan con la exterior en un solo punto y este punto es distinto para cada una de ellas. Se asume que n es mayor que 1.

la curva exterior se denomina corte y cada curva interior, lazo; la porcin de la hoja limitada por el corte y los lazos se denomina rea exterior y las porciones rodeadas por los lazos, reas interiores.

Un grfico rodeado por un corte es de nuevo un grfico, o, en otras palabras. Dos grficos escritos, uno en el rea exterior y otro en el lazo de un rizo escrito en la hoja de asercin, constituyen un grfico. Entonces los dos grficos siguientes son iguales:

Estos son los conectivos fundamentales en este sistema de grficos:

Ejemplo; A implica A. En este sistema de grficos, la nica regla que permite comenzar una deduccin sin premisas es la de rizado.

Ejemplo : A o B; no A. Por lo tanto, B. (Modus Tollendo Ponens)

BIBLIOGRAFIA:

http://acervopeirceano.org/graficos-existenciales/ http://es.scribd.com/csp-peirce/d/32076031-Zalamea-Los-graficos-existencialespeirceanos http://matematicas.uis.edu.co/~risaacs/AMA/doc/Multivaluadas.pdf http://es.scribd.com/csp-peirce/d/32076031-Zalamea-Los-graficos-existencialespeirceanos