Paradojas

Paradoja
Una paradoja (del lat. paradoxus, y este del gr. παράδοξος) es una idea extraña, opuesta a lo que se considera verdadero o a la opinión general.[1] En otras palabras, es una proposición en apariencia verdadera que conlleva a una contradicción lógica o a una situación que infringe el sentido común. En retórica, es una figura de pensamiento que consiste en emplear expresiones o frases queenvuelven contradicción.
La paradoja es un poderoso estímulo para la reflexión y así mismo los filósofos a menudo se sirven de las paradojas para revelar la complejidad de la realidad. La paradoja también permite demostrar las limitaciones de las herramientas de la mente humana. Así, la identificación de paradojas basadas en conceptos que a simple vista parecen simples y razonables ha impulsadoimportantes avances en la ciencia, la filosofía y las matemáticas.
Introducción
El término deriva de la forma latina paradoxum, que es un préstamo del griego como paradoxon 'inesperado, increíble, singular' etimológicamente formado por la preposición para-, que significa "junto a" o "a parte de" más la raíz doxon 'opinión, buen juicio'. La paradoja del mentiroso y otras paradojas similares ya seestudiaron en la Edad Media, eran conocidas como insolubilia. Esta paradoja es uno de los primeros casos de paradoja autoreferente. De hecho, entre los temas recurrentes en las paradojas se encuentra la auto-referencia directa e indirecta, la infinitud, definiciones circulares y confusión de niveles de razonamiento, aunque no todas las paradojas son de tipo autorreferente.
En filosofía moral unaparadoja juega un rol particularmente importante en debates sobre ética. Por ejemplo, una admonición ética a "amar a tu vecino" no solamente se encuentra en contraste, sino también en contradicción, con un vecino armado que intenta asesinarte: de ser exitoso, entonces, uno no es capaz de amarlo. Sin embargo, atacar o reprimir al vecino agresor no es generalmente considerado amar. Esto puede serllamado un dilema ético. Otro ejemplo es el conflicto entre el mandato de no robar y la responsabilidad personal de alimentar a la familia, la cual, bajo determinadas circunstancias, no puede ser mantenida sin dinero robado.
No todas las paradojas son iguales. Por ejemplo, la paradoja del cumpleaños puede ser definida mejor como una sorpresa que como una contradicción lógica, mientras que laresolución de la paradoja de Curry es aún un tema importante de debate.
Paradoja de Russell
La paradoja de Russell o paradoja del barbero, descrita por Bertrand Russell en 1901, demuestra que la teoría original de conjuntos formulada por Cantor y Frege es contradictoria
La paradoja en términos de conjuntos
Supongamos un conjunto que consta de elementos que no son miembros de sí mismos. Un ejemplodescrito es el que supone un conjunto que consta de "ideas abstractas". Dicho conjunto es miembro de sí mismo porque el propio conjunto es una idea abstracta, mientras que un conjunto que consta de "libros" no es miembro de sí mismo porque el conjunto en sí no es un libro. Russell preguntaba (en carta escrita a Frege en 1902), si el conjunto de los conjuntos que no forman parte de sí mismos (esdecir, aquel conjunto que engloba a todos aquellos conjuntos que no están incluidos en sí mismos, como el de "libros" en el ejemplo anterior) forma parte de sí mismo. La paradoja consiste en que si no forma parte de sí mismo, pertenece al tipo de conjuntos que no forman parte de sí mismos y por lo tanto forma parte de sí mismo. Es decir, formará parte de sí mismo sólo si no forma parte de sí mismo.Enunciemos la paradoja de otra forma: llamemos M al "conjunto de todos los conjuntos que no se contienen a sí mismos como miembros". Es decir
(1)
Según la teoría de conjuntos de Cantor, la ecuación (1) se puede representar por
(2)
Es decir "Cada conjunto es elemento de M si y sólo si no es elemento de sí mismo". Ahora, en vista de que M es un conjunto, se puede substituir x por M en la...