Rafael Félix Mora Ramírez
Definición y características de las paradojas lógicas
“Aun los expertos más sutiles pueden ser incapaces deevitar proferencias que conducen a paradojas. Se cuentaque Russell preguntó en una ocasión a Moore si siempredecía la verdad y que consideró la respuesta negativa deMoore como la única falsedad emitida por Moore. No
hay
duda de que nadie ha tenido un olfato más fino para lasparadojas que Russell. Sin embargo, es obvio que no sepercató de que si, como él pensaba, todas las otrasproferencias de Moore eran verdaderas, la respuestanegativa de Moore no sólo era falsa, sino paradójica”SAÚL KRIPKE,
Esbozo de una teoría de la verdad.
Resumen:
Éste artículo, que trata acerca de la naturaleza de la paradoja, se divide encuatro partes. En la primera parte, se discuten los conceptos de aporía,antinomia y paradoja. En la segunda parte, se define la ‘paradoja lógica’considerando que significa lo que significan sus partes. El significado de‘paradoja’ y ‘lógica’ se construye de acuerdo a los criterios etimológico ygramático. Luego, se la caracteriza en sus dos presentaciones: la paradojaoracional será una oración infundada, circular y contradictoria, mientras quela paradoja argumental será un argumento válido o inválido. En la terceraparte, se caracteriza detalladamente la paradoja tipo oración y semencionan algunos ejemplos. Finalmente, en la cuarta parte se expone ycaracteriza las paradojas tipo argumento.
Palabras clave:
Antinomia, paradoja, lógica, paradoja lógica, paradoja del mentiroso,autorreferencia, circularidad, contradicción, argumento, falacia, paradojaverídica.
1. Paradoja, aporía y antinomia
1
La paradoja lógica mantiene una estrecha relación con la aporía aristotélica. Laparadoja es un argumento. La forma lógica de este argumento es P → (Q↔¬Q), oP→(Q&¬Q). La aporía también es un argumento. Su forma lógica es (Q&¬Q)→P.Es decir, mientras que la paradoja puede terminar en una contradicción, la aporíase inicia en la misma. Pero la contradicción en ambos casos se produce por undilema. Escribe Aristóteles (1998, pp. 129-130) en el libro III de su
Metafísica
:
“(…) detenerse minuciosamente en una aporía es útil para el que quiereencontrarle una salida adecuada. En efecto, la salida adecuada ulterior no es sinola solución de lo previamente aporético. Por lo demás, quien no conoce el nudo noes posible que lo desate, pero la situación aporética de la mente pone demanifiesto lo problemático de la cosa. Y es que, en la medida en que se halla enuna situación aporética, le ocurre lo mismo que a los que están atados: en amboscasos es imposible continuar adelante. Por eso es conviene considerar primerotodas las dificultades, por las razones aducidas y también porque los que buscansin haberse detenido antes en la aporía se parecen a los que ignoran adóndetienen que ir, y además <ignoran> incluso si han encontrado o no lo que buscaban.Para éste no está claro el final, pero sí que lo está para el que previamente se hadetenido en la aporía. Además quien ha oído todas las razones contrapuestas,como en un litigio, estará en mejores condiciones para juzgar. ”
Las aporías son contradicciones no culminantes que abren las puertas a lainvestigación de ciertos conocimientos. Una aporía detiene nuestra investigación yse convierte en constricción clave para elaborar buenas teorías. La aporía sepresenta como un dilema que indica que, o bien elijamos la tesis, o bien laantítesis, deduciremos diferentes contradicciones. Además, al igual que lasaporías, las paradojas de teorías de conjuntos y las paradojas semánticas sonretos que deben superar todas las teorías para ser consistentes. La paradoja esuna contradicción que se infiere de un razonamiento válido. En algunos casos laparadoja puede ser reinterpretada como parte de un razonamiento tipo reducciónal absurdo que se detuvo en la contradicción sin re-negar la conclusión. Sin
2
embargo, a diferencia de la aporía, la paradoja lógica no se presenta al comienzode las investigaciones sino al final como un teorema algo desconcertante, es decir como un resultado contradictorio y verdadero, que para ser “solucionado” necesitaser “evitado” alterando los axiomas de los cuales se parten mediante artificios onuevos axiomas. Lo pedagógico de la aporía radica en ése carácter de primero.Ahora bien, lo que hay que pensar en la aporía es el razonamiento que la justifica,más que la sintética conjunción contradictoria. De igual modo, la paradoja lógicase perfila como el mismo proceso de deducir la contradicción, es decir, la paradojano sólo es una conclusión conjuntiva y contradictoria. Pero no todos losrazonamientos son paradojas lógicas y algunas paradojas tradicionales son solofalacias
. Si la paradoja lógica se tratara de una falacia, con sólo hallar el error oculto resolveríamos el problema, pero resulta que la conclusión se derivacorrectamente de las premisas. Similarmente, la aporía no presenta errores derazonamiento, si bien hay que revisarla y pensarla tantas veces como sea posible.Más que desconcertarnos la aporía nos enseña a entenderla como lacontradicción previa que condiciona el razonamiento inmediato que se construirá.La antinomia en un sistema formal es análoga a una señal de enfermedad.Según
“Verdad y Prueba”
de Alfred Tarski, en la literatura en cuanto a lasantinomias se pueden encontrar dos enfoques enteramente opuestos. Un primer enfoque consiste en pasarlas por alto, para enfrentarlas como sofismas, como juegos que no son serios, sino maliciosos y que tienen como fin principal mostrar
1
Por ejemplo, las paradojas de Aquiles y la tortuga, (Kirk, Raven, y Schofield, 1983,p. 389), Kant (1984, p. 315), Galileo (1945, pp. 57-59) y Epiménides (Pablo, 2001,pp. 1193-1194) pueden ser interpretadas como falacias.
3
Search History:
Result 00 of 00
00 results for result for
p.
Definicion y caracteristicas de las paradojas logicas
Éste artículo, que trata acerca de la naturaleza de la paradoja, se divide en cuatro partes. En la primera parte, se discuten los conceptos de aporía, antinomia y paradoja. En la segunda parte, se define la…
(More)
33.7K
Reads
44
Readcasts
48
Embed Views
Recommended
More From This User
Notes
Load more
