La cuestión de la adecuada caracterización de la propiedad de la paraconsistencia es quizás el
problema filosófico de mayor importancia que se plantea con respecto a las lógicas
paraconsistentes.
El lógico Graham Priest, uno de los principales representantes de la escuela australiana de
lógica paraconsistente, propone caracterizar a las lógicas paraconsistentes como aquellas que
permiten realizar inferencias no triviales a partir de información inconsistente

Oller, Carlos

Repositorio Digital de la UNC

La caracterización de las lógicas paraconsistentes

Fil: Oller, Carlos. Universidad de Buenos Aires; Argentina.Fil: Oller, Carlos. Universidad Nacional de La Plata; Argentina.La cuestión de la adecuada caracterización de la propiedad de la paraconsistencia es quizás el
problema filosófico de mayor importancia que se plantea con respecto a las lógicas
paraconsistentes.
El lógico Graham Priest, uno de los principales representantes de la escuela australiana de
lógica paraconsistente, propone caracterizar a las lógicas paraconsistentes como aquellas que
permiten realizar inferencias no triviales a partir de información inconsistente.Fil: Oller, Carlos. Universidad de Buenos Aires; Argentina.Fil: Oller, Carlos. Universidad Nacional de La Plata; Argentina

Repositorio Digital de la Universidad Nacional de Córdoba

 EPISTEMOLOGÍA E HISTORIA DE LA CIENCIA SELECCIÓN DE TRABAJOS DE LAS XIX JORNADAS VOLUMEN 15 (2009)  Diego Letzen Penélope Lodeyro  Editores     ÁREA LOGICO-EPISTEMOLÓGICA DE LA ESCUELA DE F ILOSOFÍA CENTRO DE INVESTIGACIONES DE LA FACULTAD DE F ILOSOFÍA Y HUMANIDADES UNIVERSIDAD NACIONAL DE CÓRDOBA   Esta obra está bajo una Licencia Creative Commons atribución NoComercial -SinDerivadas 2.5 Argentina    l. Introducción La caracterización de las lógicas paraconsistentes Carlos Oller La cuestión de la adecuada caracterización de la propiedad de la paraconsistencia es quizás el problema filosófico de mayor importancia que se plantea con respecto a las lógicas paraconsistentes. El lógico Graham Priest, uno de los principales representantes de la escuela australiana de lógica paraconsistente, propone caracterizar a las lógicas paraconsistentes como aquellas que permiten realizar inferencias no triviales a partir de información inconsistente [5]. Una lógica que satisfaga esta caracterización de Priest permitirá diferenciar teorías mconsistentes de teorías triviales. Uua teoría es, desde un punto M vistaJógico, un. conjuntQ r de fórmulas cerrado bajo una relación de consecuencia lógica. Una teoría r es inconsistente si y sólo si, para alguna fórmula A, tanto A como -,A pertenecen a r. Una teoría res trivial si y sólo si, para toda fórmula A, se da que A e r. La relación de consecuencia de la lógica clásica no permite efectuar esta distinción entre inconsistencia y trivialidad: un conjunto de fórmulas r cerrado bajo consecuencia clásica será mconsistente si y sólo si es trivial. Sin embargo, la especificación formal de esa caracterización intuitiva resulta ser una cuestión complicada y para la cual no hay en la literatura una respuesta satisfactoria En este trabajo plantearemos las limitaciones que presenta la caracterización formal estándar, puramente p~g'lliYlb de la prQpie_dad de paraconsistencia. Consideraremos, además, los obstáculos para ofrecer una caracterización positiva de las lógicas paraconsistentes y trataremos de explicar las razones de esta dificultad. 2. La caracterización formal de las lógicas paraconsistentes La caracterización formal más comúnme11te aceptada de las lógicas paraconsiste11tes considera que la paraconsistencia es una propiedad de la relación de consecuencia de esas lógicas. Sea F una relación de consecuenci~ caracterizada en términos sintácticos o semánticos. La relación de consecue11cia F es explosiva si y sólo si, para toda fórmula A y B, se da que {A, -,A} F B, un patró11 inferencia! al que se suele<lenominar ex contradictione quodlibet (ECQ). Una relaCión de consecuencia es paraconsistente si y sólo si no es explosiva. Una lógica es paraconsistente si y sólo si su relación de consecuencia es paraconsistente, i.e. sí no valida la regla del ex contradictione quodlíbet. Esta caracterización de las lógicas paraconsistentes está, pues, basada en un criterio puramente negativo. Esta caracterización formal de la propiedad de paraconsistencía rescata, como señala Priest, una condición mínima que debe cumplir la relación de consecuencia de una lógica que permita distinguir inconsistencia de trivialidad, la motivación intuitiva que propone este lógico para la construcción de sistemas paraconsistentes. "UBA!UNLP -366-Epistemología e Historia de la Ciencia Volumen 15 (2009) Sin embargo, la caracterización negativa de la paraconsistencia no es suficiente para seleccionar sólo aquellos sistemas que cumplen satisfactoriamente el objetivo de extraer conclusiones sensatas a partir de información inconsistente. Así por ejemplo, la lógica minimal de Johansson [4] es paraconsístente de acuerdo a esa caracterización, pero no resulta útil para cumplir ese obJetivo porque, aunque no valida el ECQ, valida las inferencias de la forma {A, ..,A} f -J3, para cualquier par de fórmulas A y B. Parece natural, por lo tanto, reforzar esa caracterización de la paraconsistencia apelando a algún criterio más fuerte.. Sin embargo, los criterios más fuertes propuestos en la literatura han sido criticados por resultar demasiado fuertes. Por ejemplo, pareciera sensato pedir, como lo hace da Costa en [3], que una lógica paraconsistente mantenga tanto de la lógica clásica como sea compatible con la paraconsistencia. Sin embargo, un lógico paraconsistente puede estar en desacuerdo con otros aspectos de la lógica clásica y, por lo tanto, no desear que esos aspectos aparezcan en su sistema lógico .. Así por ejemplo, una forma inferencia! de una de las paradojas del condicional material como A F (B ::> A) será rechazada en un sistema que pretenda capturar formalmente la idea de que la conclusión de un argumento deductivo debe estar contenida en sus premisas, y que para ello exija que la conclusión no contenga variables proposicionales que no aparezcan en las premisas .. Por otra parte, un criterio que sea más fuerte porque excluye principios lógicos que el criterio negativo por sí solo no excluye también podria resultar criticable por razones filosóficas. Un ejemplo de ello es la crítica que dirigen Príest y Routley [6] contra la lógica paraconsistente de da Costa. La negación de da Costa no sería, según estos autores, una verdadera negación porque la (verdadera) negación es un operador formador de contradictorios y su negación paraconsistente es sólo un operador formador de subcontrarios. Recordemos que dos fórmulas A y B son subcontrarias si (A v B) es una verdad lógica, y contradictorias si (A v B) es una verdad lógica y (A A B) es lógicamente falsa. Si (A A ..,A) no es lógicamente falsa, como sucede en la lógica de da Costa, entonces la negación simbolizada con ~ no es un operador formador de contradictorios y, por lo tanto, tampoco es una verdadera negación. 3. La diversidad de lógicas paraconsistentes La dificultad para encontrar un criterio positivo unificador para caracterizar a las lógicas paraconsistentes parece deberse a que bajo esa denominación se agrupan sistemas cuyas motivaciones inmitivas y características formales son muy diferentes. La siguiente derivación -de origen medieval, aunque todavía atribuida a C. l. LeWis en algunos textos- del ECQ en la lógica proposicional clásica: LA Premisa 2 . ..,A Premisa 3 .. A v B Adición, 1 4. B Silogismo Disyuntivo, 3, 2 proporciona una primera indicación de la diversidad de sistemas que cubre la expresión "lógica paraconsistente". En efecto, la derivación nos muestra que para invalidar el ECQ es necesario rechazar, por lo menos, la regla de adición o la regla de silogismo disyuntivo; aunque también es posible, aunque menos frecuente en la literatura, invalidar ECQ rechazando la transitivídad de la - ~fí7-relación de consecuencia, i.e. si r ~ A para toda A E !J. y !J. ~ B, entonces r ~ B. Por lo tanto, un sistema paraconsistente puede generarse rechazando al menos uno estos tres principios clásicos, y, como es de esperar, las distintas opciones generan lógicas muy diferentes. La mayor parte de los sistemas paraconsistentes presentados en la literatura eligen invalidar la regla del silogismo disyuntivo y conservar los otros dos principios clásicos. Sin embargo, como la invalidación de una regla como el silogismo disyuntivo puede estar motivada por razones muy diversas y lograrse utilizando distintas técnicas, no puede usarse para fundaroentar un criterio positivo de paraconsistencia. La relación entre las lógicas relevantes y las lógicas paraconsistentes que rechazan el silogismo disyuntivo ilustra esta diferencia de motivacio1;1es que tiene como resultado sistemas con una interpretación intoitiva y propiedades formales diferentes. Se puede caracterizar a las lógicas relevantes como aquellas que pretenden evitar las paradojas de la implicación material y de la implicación estricta [1] [2]. Un criterio formal para evitar la irrelevancia, que pretende reflejar la intoición de que debe. hag0r ?Jgl!ll~ rela,cic\1] ~!ltre ~1 contenido del antecedente y el consecuente de una implicación verdadera, pide que en una implicación verdadera el antecedente comparta alguna variable proposicional con el consecuente. Una manera de relacionar esta noción de relevancia con la que la considera como una propiedad de la relación de consecuencia consiste e1;1 establecer que A ~ B si y sólo si (A ~ B) -donde ~ es la implicación relevante-- es una verdad lógica de la lógica relevante. Como es obvio, la relación de consecuencia de una lógica que satisfuga este criterio será paraconsistente. Sin embargo, como señala G. Priest, que aunque hay varios puntos de contacto entre las motivaciones de las lógicas paraconsistentes y de las lógicas relevantes, estas lógicas no son co~xte!lsivas. En ef~cto, lJ!la lógica paraconsistente ¡mede no ser relevante. Por ejemplo, una relación de consecuencia 1= cara.Ct~ri~&. de ~e~ Utl-t}lle-t;flcl~rRCió~-.~.fes -una cOnSecUéncia de un conjunto de oraciones r si y sólo si es una consecuencia clásica de todos los subconjuntos maximales consistentes de r es paraconsistente pero no es relevante. Dado que las tautologías son consecuencias clásicas de cualquier conjunto de oraciones r, una inferencia como p ~ (q v ~q) -que no satisface la exige1;1cia de relevancia- resulta válida para esta noción de consecuencia. El problema de la diversidad de sistemas formales que se agrupan bajo la denominación de "lógicas paraconsistentes" se ve a~vado porque la aceptación de la caracterización intuitiva sugerida por Priest no determina unívocamente un solo sistema de lógica paraconsistente. En efecto, cuáles son las inferencias deductivas no triviales a partir de información inconsistente que es sensato y deseable aceptar es una cuestión discutible, del mismo modo que es discutible cuáles son las inferencias deductivas a partir de información consistente que es sensató y deseable aceptar. Como es de esperar, los problemas filosóficos respecto de la natunileza y la caracterización d' la inferencia deductiva que han motivado la creación de sistemas divergentes son relevantes para todas las lógicas deductivas, incluyendo aquellas que encuentran su motivación en la insatisfacción con la paradoja de la relevancia que supone el ECQ. 4. Consideraciones finales En este trabajo hemos planteado los problemas que suscita la cuestión de encontrar una caracterización formal satisfactoria de las lógicas paraconsistentes, entendidas éstas como . 368-aquellas lógicas que permíten realizar inferencias no triviales a partir de informacíón inconsistente. Por una parte, una dificultad para encontrar una caracterización unificadora satisfactoria de las lógicas paraconsistentes parece deberse a que bajo esa denominación se agrupan sistemas cuyas motivaciones intuitivas y características formales son muy diferentes. Por otra parte, las lógicas paraconsistentes no escapan a la discusión filosófica acerca de cuáles son las inferencias deductivas que es sensato y deseable extraer a partir de determinado conjunto de premisas, sea este conjunto consistente o inconsistente. Es por ello que la caracterización intuitiva propuesta por Priest no encuentra una contraparte formal que resulte universalmente aceptable, y no es de esperar que pueda encontrarse una caracterización de ese tipo. Bibliografía [I] Anderson, A R y Belnap, N D .. , Entai/ment.: The Logic of Relevance and Necessity, vol. 1, Princeton, Princeton UniversityPress, 1975. [2] Anderson,_ A R. y Belnap, N~ D.., Entailment.: The Logic of Relevance and Necessity, vol 11, Pnnceton, Princeton University Press, 1992. [3] da Costa, N .CA., On the theory of mconslStent fonnal systems,Notre Dame Journal of Formal Logic, 15 (1974), 497-510 [ 4] Johansson, 1., Der Mimmalkalkul, em reduzJ.erter intuitionístischer Fonnaltsmus, Compositio Mathematica, 4 (1936), ll9-136. (5] Priest, G., Paraconsistent Log¡c, en Gabbay, D .. & Guentbner, F. (eds.), Handbook of Philosophica/ Logic (!"' Edition). vol 6. 2002. 287-393 [6] Pnest, G. & Routley, R, Paraconsistent Logics, Essays on the lnconststent, Philosopbia Verlag, Muruch, 1989 -369-

https://rdu.unc.edu.ar/bitstream/11086/3351/1/52-la%20%20caracterizacion%20de%20las%20logicas.pdf

La caracterización de las lógicas paraconsistentes

Abstract

Similar works

Full text

Available Versions

Repositorio Digital de la UNC

Repositorio Digital de la Universidad Nacional de Córdoba