Mas afinal, o que é um paradoxo?

 

Mas afinal, o que é um paradoxo?        Em sentido amplo, «paradoxo» significa o que é «contrário à opinião recebida e comum», ou à opinião admitida como válida.     Em Filosofia, paradoxo designa o que é aparentemente contraditório, mas que apesar de tudo tem sentido.     Em Matemática, fala-se muitas vezes de paradoxo matemático ou paradoxo lógico, ou seja, de uma contradição deduzida no seio dos sistemas lógicos e das teorias matemáticas.     No entanto, as fronteiras do conceito de paradoxo não estão muito bem definidas. As ideias de conflito ou de dificuldade insuperável parecem acompanhar de forma estável a ideia de paradoxo. Mas, demasiado gerais, elas podem servir também para caracterizar «antinomia» (que originariamente significava conflito entre duas leis) ou «aporia» («caminho sem saída»).     Um paradoxo lógico consiste em duas proposições contrárias ou contraditórias derivadas conjuntamente a partir de argumentos que não se revelaram incorrectos fora do contexto particular que gera o paradoxo. Ou seja, partindo de premissas geralmente aceites e utilizadas, é (pelo menos aparentemente) possível, em certas condições específicas, inferir duas proposições que ou afirmam exactamente o inverso uma da outra ou não podem ser ambas verdadeiras.     Os paradoxos são conhecidos e discutidos desde a antiguidade e o seu aparecimento tem impulsionado, em vários casos, um estudo mais rigoroso e profundo dos fundamentos da matemática. Os paradoxos mais conhecidos:  Paradoxo de Burali-Forti     Trata-se de um paradoxo da teoria dos conjuntos. Sabe-se que a toda a boa ordem corresponde um único número ordinal . Também se sabe que todo o segmento inicial de ordinais forma uma boa ordem cujo número ordinal correspondente excede todos os ordinais desse conjunto. Considere-se a colecção de todos os ordinais. Esta colecção é uma boa ordem e, portanto, corresponde-lhe um ordinal A . Logo, A excede todos os ordinais e, em particular, excede-se a si próprio, o que é uma contradição.     Na raiz deste paradoxo está o uso irrestrito do princípio da abstracção, o qual permite formar o conjunto A . Paradoxo de Cantor     Paradoxo de Cantor é o paradoxo da teoria dos conjuntos que se obtém devido a considerar-se a cardinalidade do conjunto V de todos os conjuntos. Por um lado, esta cardinalidade não pode ser inferior à cardinalidade do conjunto das partes de V, pois todas as partes de V são conjuntos e. portanto, formam um subconjunto de V. Por outro lado, o Teorema de Cantor diz – precisamente – que a cardinalidade de um qualquer conjunto é inferior à cardinalidade do conjunto das partes desse conjunto.     Na raiz deste paradoxo está também o uso irrestrito do princípio da abstracção , o qual permite formar o conjunto Paradoxo do Mentiroso, de Epiménides ou do Cretense     Epiménides é cretense e afirma que todos os cretenses mentem.     Se Epiménides for cretense e se todos os cretenses mentem então, quando Epiménides afirma: Todos os cretenses mentem     Afirma uma proposição verdadeira. Portanto Epiménides não mente quando afirma que todos os cretense, incluindo Epiménides, mentem. V.     Em consequência:     1- Epiménides mente se e só se não mente (isto é, diz a verdade)     2- Epiménides não mente (isto é, diz a verdade) se e só se mente. Antinomia     Muitas vezes, usam-se as palavras paradoxo e antinomia como sinónimos ou então consideram-se as antinomias como uma classe especial de paradoxos: os resultantes de uma contradição entre duas proposições, em que cada uma delas é racionalmente defensável.      De uma forma geral, antinomia designa um conflito entre duas ideias, proposições, atitudes, etc.. Fala-se, por exemplo, de antinomia entre fé e razão, entre amor e dever, entre moral e política. Num sentido mais restrito, antinomia designa um conflito entre duas leis.     O termo antinomia é, por vezes, utilizado para designar um conflito entre duas proposições, ou entre as consequências que delas advêm. A antinomia de duas proposições difere da contrariedade. Duas proposições podem ser contrárias sem que constituam uma antinomia, no entanto, ela surge quando se pretende provar a validade de cada uma delas.     Especificamente, emprega-se o termo antinomia dentro da crítica Kantiana do sistema de ideias cosmológicas na Crítica da Razão Pura (1781). Kant (1724-1804) fala da «antinomia da razão pura que consiste em usar ideias transcendentes com o fim de obter conhecimentos relativos ao mundo». Kant salienta que "Uma tese dialéctica da razão pura deverá, por consequência, possuir algo que a distinga de todas as proposições sofísticas e é o seguinte: que não se ocupe de uma questão arbitrária, levantada apenas por capricho, mas de um problema que se depara necessariamente à razão humana na sua marcha; e, em segundo lugar, que apresente, como proposição contrária, não uma aparência artificial que logo desaparece desde que como tal se examina, mas uma aparência natural e inevitável que, mesmo quando já não engana, continua ainda a iludir, embora não a enredar, e que, por conseguinte, pode tornar-se inofensiva sem nunca poder ser erradicada." 2  Kant dá uma lista de quatro antinomias, divididas em dois grupos: antinomias matemáticas e antinomias dinâmicas. 1ª Antinomia    Tese: "O mundo tem um começo no tempo e é também limitado no espaço."     Antítese: "O mundo não tem começo nem limites no espaço; é infinito tanto no tempo como no espaço." 2º Antinomia    Tese: "Toda a substância composta, no mundo, é constituída por partes simples e não existe nada mais que o simples ou o composto pelo simples."     Antítese: "Nenhuma coisa composta, no mundo, é constituída por partes simples, nem no mundo existe nada que seja simples." 3ª Antinomia    Tese: "A casualidade segundo as leis da natureza não é a única de onde podem ser derivados os fenómenos do mundo no seu conjunto. Há ainda uma casualidade pela liberdade que é necessário admitir para os explicar."     Antítese: "Não há liberdade, mas tudo no mundo acontece unicamente em virtude das leis da natureza." 4ª Antinomia    Tese: "Ao mundo pertence qualquer coisa que, seja como sua parte, seja como sua causa, é um ser absolutamente necessário."     Antítese: "Não há em parte alguma um ser absolutamente necessário, nem no mundo, nem fora do mundo, que seja a sua causa." Contradição         A noção de contradição é, geralmente estudada sob a forma de um princípio: o «princípio de contradição» ou «princípio de não contradição». Com frequência, tal princípio é considerado um princípio ontológico e, neste sentido, enuncia-se do seguinte modo:     «É impossível que uma coisa seja e não seja ao mesmo tempo, a mesma coisa». Outras vezes, é considerado como um princípio lógico, e então enunciado do modo seguinte: «não se pode ter p e não p», onde p é símbolo de um enunciado declarativo.     O primeiro pensador que apresentou este princípio de forma suficientemente ampla foi Aristóteles. Várias partes da sua obra estão consagradas a este tema, mas nem sempre o princípio é formulado do mesmo modo. Às vezes apresenta-o como uma das «noções comuns» ou «axiomas» que servem de premissa para a demonstração, sem poderem ser demonstradas. Noutras ocasiões, apresenta-o como uma «noção comum», usada para a prova de algumas conclusões. Apresenta ainda este princípio como uma tese segundo a qual se uma proposição é verdadeira, a sua negação é falsa e se uma proposição é falsa, a sua negação é verdadeira, quer dizer, como a tese segundo a qual, duas proposições contraditórias não podem ser ambas verdadeiras ou ambas falsas.     Estas formulações podem reduzir-se a três interpretações do mesmo princípio: ontológica, lógica e metalógica. No primeiro caso o princípio refere-se à realidade; no segundo, converte-se numa formula lógica ou numa tautologia de lógica sequencial, que se enuncia do seguinte modo:                                                                     ¬(p Ù ¬p) e que se chama geralmente de lei de contradição. No terceiro caso, o princípio é uma regra que permite realizar inferências lógicas.     As discussões em torno do princípio de contradição têm diferido consoante se acentua o lado ontológico ou o lado lógico e metalógico. Quando se dá mais relevância ao lado ontológico, trata-se sobretudo de afirmar o princípio como expressão da estrutura constitutiva do real, ou de o negar  supondo que a própria realidade é contraditória (Hereclito) ou que, no processo dialéctico da sua evolução, a realidade supera, transcende ou vai mais além do princípio de contradição (Hegel). Quando predomina o lado lógico e metalógico, trata-se então de saber se o princípio deve ser considerado como um axioma evidente por si mesmo ou como uma convenção da nossa linguagem que nos permite falar acerca da realidade. Contraditório      relação de oposição que se dá entre proposições contraditórias, é a que se dá entre as proposições A-O e E-I. Segundo a relação de oposição contraditória, duas proposições contraditórias não podem ser ambas verdadeiras ou ambas falsas.     Portanto: Se A é verdadeira, O é falsa. Se A é falsa, O é verdadeira. Se E é verdadeira, I é falsa. Se E é falsa, I é verdadeira.     A contradição respeita a proposições, não a ideias. As ideias não são contraditórias entre si; podem ser contraditórias apenas as proposições em que se afirma ou nega algo.    Para saber mais sobre o significado das proposições A, E, I, O clique aqui. (página dos nossos colegas: Gonçalo e Cláudia) Absurdo     Absurdo significa contrário à razão. Habitualmente, chamamos absurdo ao que está fora do considerado «normal»ou que está contra ou se afasta do sentido «comum».     É frequente falar-se de proposições absurdas ou crenças absurdas, com efeito, podemos conceber crenças absurdas e expressá-las em proposições que não têm um aspecto absurdo.     É também frequente dar um sentido lógico –ou se quisermos, ilógico- a "absurdo", equiparando absurdo a ilógico. Neste sentido, surge a expressão "Redução ao absurdo", que designa um tipo de raciocínio, que consiste em provar uma proposição p, assumindo a falsidade de p e demonstrando que da falsidade de p se deduz uma proposição contraditória com p.     Há, no entanto, uma outra acepção de absurdo, estritamente ligada a sem sentido. Por exemplo, quando falamos de um rectângulo redondo, um triângulo com quatro lados, substâncias imateriais, etc. estamos a falar de coisas sem sentido. Segundo alguns autores, estas situações não traduzem um erro mas antes uma situação em que as palavras carecem de significação, isto é, são absurdas. 1- Mora, J. F.(1986). Dicionário de Filosofia. Barcelona: Alianza Editorial. 2- Kant, I. (1985). Crítica da Razão Pura. Lisboa: Fundação Calouste Gulbenkian, p. 389.

Olga Pombo:  opombo@fc.ul.pt  http://www.educ.fc.ul.pt/docentes/opombo/seminario/fregerussel/contradicao_antinomia.htm Paradoxo Um paradoxo é uma declaração aparentemente verdadeira que leva a uma contradiçãológica, ou a uma situação que contradiz a intuição comum. Em termos simples, um paradoxo é "o oposto do que alguém pensa ser a verdade". A identificação de um paradoxo baseado em conceitos aparentemente simples e racionais tem, por vezes, auxiliado significativamente o progresso da ciência, filosofia e matemática. A etimologia da palavra paradoxo pode ser traçada a textos que remontam à aurora daRenascença, um período de acelerado pensamento científico na Europa e Ásia que começou por volta do ano de 1500. As primeiras formas da palavra tiveram por base a palavra latina paradoxum, mas também são encontradas em textos em grego comoparadoxon (entretanto, o Latim é fortemente derivado do alfabeto grego e, além do mais, o Português é também derivado do Latim romano, com a adição das letras "J" e "U"). A palavra é composta do prefixo para-, que quer dizer "contrário a", "alterado" ou "oposto de", conjugada com o sufixo nominal doxa, que quer dizer opinião. Compare com ortodoxia eheterodoxo. Na filosofia moral, o paradoxo tem um papel central nos debates sobre ética. Por exemplo, a admoestação ética para "amar o seu próximo" não apenas contrasta, mas está em contradição com um "próximo" armado tentando ativamente matar você: se ele é bem sucedido, você não será capaz de amá-lo. Mas atacá-lo preemptivamente ou restringi-lo não é usualmente entendido como algo amoroso. Isso pode ser considerado um dilema ético. Outro exemplo é o conflito entre a injunção contra roubar e o cuidado para com a família que depende do roubo para sobreviver. Deve ser notado que muitos paradoxos dependem de uma suposição essencial: que a linguagem (falada, visual ou matemática) modela de forma acurada a realidade que descreve. Em física quântica, muitos comportamentos paradoxais podem ser observados (oprincípio da incerteza de Heisenberg, por exemplo) e alguns já foram atribuídos ocasionalmente às limitações inerentes da linguagem e dos modelos científicos. Alfred Korzybski, que fundou o estudo da Semântica Geral, resume o conceito simplesmente declarando que, "O mapa não é o território". Um exemplo comum das limitações da linguagem são algumas formas do verbo "ser". "Ser" não é definido claramente (a área de estudos filosóficos chamada ontologia ainda não produziu um significado concreto) e assim se uma declaração incluir "ser" com um elemento essencial, ela pode estar sujeita a paradoxos. Temas comuns em paradoxos incluem auto-referências diretas e indiretas,definições circulares e confusão nos níveis de raciocínio,com muita dedicação de primeira na lógica racional do ser vivo. Tipos de Paradoxos W. V. Quine (1962) distingüe três classes de paradoxos: Os paradoxos verídicos produzem um resultado que parece absurdo embora seja demonstravelmente verdadeiro. Assim, o paradoxo do aniversário de Frederic na opereta The Pirates of Penzance estabelece o fato surpreendente de que uma pessoa pode ter mais do que N anos em seu N-ésimo aniversário. Da mesma forma, o teorema da impossibilidade de Arrow envolve o comportamento de sistemas de votação que é surpreendente mas, ainda assim, verdadeiro. Os paradoxos falsídicos estabelecem um resultado que não somente parece falso como também o é demonstravelmente – há uma falácia da demonstração pretendida. As várias provas inválidas (e.g., que 1 = 2) são exemplos clássicos, geralmente dependendo de uma divisão por zero despercebida. Outro exemplo é o paradoxo do cavalo. Um paradoxo que não pertence a nenhuma das classes acima pode ser uma antinomia, uma declaração que chega a um resultado auto-contraditório aplicando apropriadamente meios aceitáveis de raciocínio. Por exemplo, o paradoxo de Grelling-Nelsonaponta problemas genuínos na nossa compreensão das ideias de verdade e descrição.1

Lista de paradoxos clique aqui 
Origem: Wikipédia, a enciclopédia livre
http://pt.wikipedia.org/wiki/Paradoxo

Quine, W. V. (1962) "Paradox". Scientific American, Abril de 1962, pp. 84–96.

Obrigado pela visita, volte sempre.