Eduardo Limas Garca Universidad Autnoma de Chihuahua Facultad De Filosofa Y Letras lalorhcp@gmail.

com Filosofa de la lgica PARADOJAS DE LA IMPLICACION MATERIAL; FUNDAMENTOS DE LA LOGICA DE LA RELEVANCIA

Abstract: El trabajo consta de un anlisis histrico y formal sobre las problemticas de las paradojas de la implicacin material y sus repercusiones criticas para la fundamentacin de la lgica de la relevancia, haciendo nfasis en el tratamiento de la perdida semntica ante la rigidez sintctica y formal de los enunciados condicionales de la paradoja positiva y negativa, esclareciendo la polmica del conectivo lgico del condicional ante la confusin de su uso y significado, contrastando la distincin con lo que por implicacin se entiende. Palabras clave:

Paradoja, Relevancia, Deduccin, Implicacin.

El objetivo de la lgica deductiva es determinar qu argumentos son validos y cules no lo son. Lo que har distincin entre un buen argumento y un mal argumento, ser la posibilidad de derivacin entre las premisas de la conclusin. Por lo que se impulsa a que las premisas se sigan de la conclusin. Este concepto se entiende como deduccin clsica, que instaura el uso del condicional como de A se sigue B. El condicional, tal vez ha sido el conectivo lgico ms polmico, por el nfasis que tiene en la estructura de un argumento, antecedente y consecuente es a premisas y conclusin. El conflicto es el sentido en que se interpreta el se sigue1, es decir sus resultados formales y semnticos. Bajo la sintaxis, la semntica y el conjunto de reglas que relacionan los valores de la lgica tradicional, se nos devela una problemtica aeja en la historia de la lgica, las paradojas. Son instancias del lenguaje que esta ciencia formal intenta esclarecer, dado que arrojan dificultades semnticas. A su vez, son fcilmente anexadas al lenguaje comn e incluso en ocasiones son imperceptibles. Engaosas, al estar cargadas de elementos contradictorios o absurdos, aparentan verosimilitud. Dentro de la lgica, las paradojas no han dejado de estar presentes. El inicio de este problema se configura en la definicin del condicional. Partimos del mismo punto en que se sugiere cuando se aprende lgica, con los conectivos elementales de la lgica clsica, la negacin () y la disyuncin (v). A partir de establecer su relacin con sus valores de verdad, la definicin del condicional consistira en la situacin particular de (P ^ Q). En palabras, consiste en que nunca se dar el caso como valido de que P sea verdadero y Q sea falso, de aqu la definicin del condicional tomando las variables P,Q; como antecedente y consecuente respectivamente. El conectivo lgico ser identificado como condicional ().Dentro del lenguaje, el condicional se identifica con un si entonces, connotando las dos propiedades estructurales del condicional. Como mencionamos, un argumento se divide en dos elementos, premisas y conclusin, donde el condicional tuviera la misma estructura del argumento, diramos si A entonces B (AB). Solo ser falso, si y solo si el antecedente es verdadero y el consecuente falso. Sin embargo, es un concepto problemtico, pues las tablas de verdad del condicional nos arrojan al

Therefore en ingls

menos dos situaciones en las que enfrentamos una paradoja. Podramos definirla como la siguiente:

1) A (BA) 2) A (A B)

Las paradojas anteriores son formalmente inofensivas, es decir, son tautolgicas, no existen en ninguna situacin donde puedan ser invlidos los anteriores condicionales. Sin embargo, una vez que sustituimos las variables A y B por enunciados, nos daremos cuenta que son absurdas. En (1) tomaramos por ejemplo la siguiente proposicin Octavio Paz es peruano, luego si 2+2=4 entonces Octavio Paz es peruano. Denominada paradoja positiva, dentro de esta proposicin sucede que de una oracin verdadera es implicada por cualquier otra 2. En (2) llega a ser aun ms absurdo cuando deducimos de A (A B) (A ^ A) B, por medio de Exportacin (Exp,1). Tendramos la conflictiva situacin que Duns Escoto adscribi al condicional, Ex contradictione quodlibet, De una proposicin falsa implica cualquier proposicin 3 tambin conocida como paradoja negativa. Cuando se realiza calculo proposicional, se tiene una muletilla al observar que el antecedente es falso, se determina la validez del condicional. Dentro de la tabla de verdad del condicional se da la situacin como vlida, cuando el antecedente es falso y el consecuente verdadero. Por lo tanto, bastara con colocar un enunciado falso como antecedente, en este caso la contradiccin de A, para que automticamente nuestro condicional sea verdadero independiente del valor de verdad de B. Una de las ventajas de la lgica simblica es la posibilidad de atribuir desde la estructura de un argumento, la validez o invalidez del mismo. Sin embargo, bajo estas condiciones dispuestas por la paradoja de la implicacin, deja de ser una ventaja, dado que depositara incertidumbre, no en el carcter formal pues sabemos que es tautolgico, sino en el contenido de las premisas y la cohesin entre ellas. El problema que enfrentamos es claro, una persecucin de la semntica sobre la sintaxis. El problema principal radica en que la aceptacin de las paradojas posibilitan inferencias no aceptadas por la lgica del sentido

PALAU Gladys, Introduccin filosfica a las lgicas no clsicas, Editorial Gedisa, Barcelona, 2002 p. 107. 3 Ibidem.

comn.4 La estructura formal de los condicionales es tautolgica mientras intuitivamente rechazamos el resultado de este tipo de inferencias, vemos que las premisas no tienen nada en comn y son formalmente validas. Sera suficiente el abordaje de las paradojas con los preceptos de la lgica clsica? Cmo se digiere el uso de premisas y conclusiones carente de sentido unas de otras? Nos referimos a lo mismo cuando decimos Implicacin y Condicional? Se encuentra planteada una respuesta dentro de los axiomas de la lgica tradicional o ser posible replantear y justificar con nuevas reglas casos especiales como este? Podemos rastrear una preocupacin terica por el uso del condicional y las problemticas antes referidas desde la antigedad. Concretamente con Crisipo el estoico, heredando la problemtica del rganon de Aristteles. La gestacin de este conectivo tom una singular atencin por los lgicos aristotlicos, estoicos y escolsticos, debido a que involucra una condicin hipottica, contenida en el antecedente, y una resolucin o efecto, referida al consecuente. Entienden la condicional o implicacin como una proposicin compuesta de dos proposiciones categricas conectadas por el si, en la que una se sigue de la otra5. Por otro lado, el condicional puede confundirse con la implicacin. Incluso son tomados de sinnimos como recurso didctico en la enseanza de la lgica, lo cual es equivocado. La raz de la confusin deriva de la interpretacin del se sigue entre Diodoro Krono y Filn de Megara. Filn la define como un condicional es verdadero si y solo si no tiene un antecedente verdadero y un consecuente falso y para Diodoro es aquella que no es y nunca es capaz de tener un antecedente verdadero y un consecuente falso. Podemos ver la raz del problema semntico y sintctico por la interpretacin ms exigente de Diodoro, la cual contempla una constante temporal, bajo la cual, no puede darse ningn caso en ningn tiempo. Filn llega a aproximarse ms a una visin sintctica y formal, donde solo se cumpla la peticin constitutiva del condicional falso, tal definicin es menos consiente de un conflicto semntico debido a que solo esgrime la posicin invlida del condicional. Dicha confusin ya se iba esclareciendo desde el Medievo por los lgicos escolsticos, que

PALAU Gladys, Introduccin filosfica a las lgicas no clsicas, Editorial Gedisa, Barcelona, 2002 p. 108 5 BEUCHOT, Mauricio, Notas histricas sobre la paradoja de la implicacin material, Dianoia, vol 27, #27, 1981, UNAM p. 265

dividan la implicacin material de la implicacin formal. La consecuencia formal es la que es lgicamente verdadera [] independientemente de los trminos categorematicos que figuran en las proposiciones.6 Y por otro lado, las consecuencias materiales no son validas solo por la concatenacin sintctica, sino atendiendo al contenido o interpretacin semntica de sus componentes.7 Discernir entre implicacin y condicional, ser elemental para llegar a los cimientos de la lgica no clsica, en especifico a la lgica relevante, pues de no haber discriminacin entre ambas expresiones conllevara o a resolver las anomalas formales o negar una resolucin ante las paradojas de la implicacin desde propia lgica clsica. Dicha confusin entre estas dos palabras, llega a yuxtaponer el sentido en que se usa para referirse al conectivo lgico del condicional. Tal distincin entre estos trminos, confieren un estudio metalingstico de las relaciones lgicas de las proposiciones. Es decir, el condicional es un conectivo lgico, cuya funcin es (como la de los dems conectivos) relacionar proposiciones atmicas. Por ello, dentro de un argumento, un condicional puede ser falso o verdadero. En el condicional se expresan enunciados o formulas bien formadas8. Mientras en la implicacin se emplean nombres de enunciados, ya estamos en un plano metalgico, la implicacin no es relativa a una interpretacin determinada, sino que es una propiedad absoluta de las formulas.9 Es comn adoptar el uso indistinto de implicacin y condicional, cuando se est aprendiendo el lenguaje de la lgica, asociar el concepto de implicacin para referirse a un condicional verdadero. Ms como podemos darnos cuenta, cada palabra tiene un significado totalmente distinto. Tal discernimiento conceptual funciona como antdoto a las paradojas de la implicacin, ya que el condicional solo necesita tener el requisito de no considerar su forma invalida. Cuando se esclarece la definicin tanto del consecuente como de la implicacin, se deja de lado la problemtica de las paradojas de la implicacin material. Para referirnos a la implicacin se utiliza el siguiente smbolo condicional .
6 BEUCHOT, Mauricio, Notas histricas sobre la paradoja de la implicacin material, Dianoia, vol. 27, #27, 1981, UNAM p. 267 7 Ibdem 8 SOTO Bayln, Rafael, Breve Diccionario de lgica, p.62 9 MOSTERIN, Jess, TORRETTI, Roberto, Diccionario de lgica y filosfica de la ciencia, Alianza editorial, 2002, Madrid. P.

y para el

Con esta distincin histrica de la implicacin, dar paso a Ackerman (1957) a desarrollar una crtica a la deduccin de la lgica clsica. Teniendo como antecedentes el nexo de premisas irrelevantes o dbiles en los argumentos, abstrados de las paradojas de la implicacin material. La lgica relevante plantea una situacin particular, mejor dicho, replantea los elementos clsicos de la lgica tradicional, identificando debilidades axiomticas. La lgica no clsica es una extensin e incluso funciona como un parcheo de la rigidez clsica y tambin de la posibilidad de no tomar en cuenta ciertos preceptos. Para quienes fuimos pupilos de la lgica clsica, esto llega a ser conflictivo. Los principios elementales de la lgica clsica (identidad, contradiccin, tercero excluso) nos parecen ms que evidentes. Sin embargo, los estudios que reproducen nuevos sistemas lgicos son una evidencia de que es posible. Por lo tanto, habr que preguntarnos Qu elementos constituyen los sistemas lgicos? De qu manera podemos establecer un nuevo sistema lgico que pueda moverse sobre las inestabilidades de las que hemos hablado? Un sistema lgico consta de los siguientes elementos: El vocabulario y las formulas constituyen el lenguaje objeto del sistema.
10

El vocabulario consta de smbolos;

descriptivos y que demuestren sus constantes. Los primeros los llamaremos no lgicos y los segundos lgicos. Adems, signos de puntuacin y las reglas de expresiones bien formadas, quienes relacionan los smbolos. Estos elementos podemos referirlos como sintaxis y semntica propia. A todo esto, Cual es la distincin entre lgica clsica y lgica no clsica? Existen autores que no se ponen de acuerdo en la distincin. Pero para este trabajo denotare un elemento que entiendo por lgica clsica por a todo sistema clsico a todo sistema lgico equivalente al formulado en el Principia Mathematica. El punto clave a expresar en este trabajo, es denotar la existencia de las lgicas no clsicas, ya que intenta refutar las problemticas formales como lo son las paradojas de la implicacin, dado que hay otro elemento que no se ha planteado como un ejemplo de irrelevancia entre premisas, y es la regla de adicin (Ad.) en ciertas premisas. La regla de adicin funciona como la adscripcin de una premisa mientras se tenga una premisa
10

PALAU Gladys, Introduccin filosfica a las lgicas no clsicas, Editorial Gedisa, Barcelona, 2002 p.25

verdadera. Por ejemplo, tenemos la premisa A, tenemos la ventaja formal de adicionar cualquier premisa en forma de disyuncin, tendramos (A v B), dado que mientras sabemos que A es verdadera podemos anexar cualquier proposicin (independiente del valor de verdad de B), en este caso B, y tendremos la disyuncin valida. Este es otro problema de relevancia, puesto que podemos anexar cualquier proposicin tenga o no tenga que ver con la premisa A. Finalmente, para concluir, planteare los preceptos que la lgica de la relevancia intenta refutar son dos; el Ex contradictione quodlibet y el abuso irrelevante de la regla de adicin (Ad.). Para concluir este trabajo, intentare esclarecer la necesidad formal de extender el campo de la lgica clsica. Tal como sucedi con la geometra euclidiana, donde muestran sus limitaciones ante situaciones nuevas, no exploradas, el eje de una disciplina gira hacia la resolucin de este tipo de irrelevancias. Con ello pues, se apuesta por una lgica que pierda la precisin, y circunde particularidades. Por ltimo, queda decir el horizonte de la lgica relevante, que las intenciones de los lgicos relevantes apuntan sus crticas al condicional material proponen sustituirlo por otro condicional que exige entre el antecedente y

consecuente de las oraciones condicionales, o sea, que refleje adecuadamente en el lenguaje objeto el requisito de relevancia exigido para la relacin metalingstica de deductibilidad.11

11

PALAU Gladys, Introduccin filosfica a las lgicas no clsicas, Editorial Gedisa, Barcelona, 2002, p. 108

Bibliografa PALAU Gladys, Introduccin filosfica a las lgicas no clsicas, Editorial Gedisa, Barcelona, 2002 BEUCHOT, Mauricio, Notas histricas sobre la paradoja de la implicacin material, Dianoia, vol 27, #27, 1981, UNAM SOTO Baylon, Rafael, Breve diccionario de lgica, SPAUACH, 1989 MARES, Edwin, "Relevance Logic", The Stanford Encyclopedia of Philosophy (Summer 2012 Edition), Edward N. Zalta (ed.), forthcoming URL =

<http://plato.stanford.edu/archives/sum2012/entries/logic-relevance/>. COHEN Carl, COPI Irving G. Copi, Introduccin a la lgica, Editorial Limusa, Mxico, 2000 MOSTERIN, Jess, TORRETTI, Roberto, Diccionario de lgica y filosfica de la ciencia, Alianza editorial, 2002, Madrid.