𝖂𝖎ƙ𝖎𝖊

Paradoxo: mudanças entre as edições

imported>Ronaldo Ferraz
Sem resumo de edição
imported>Juan90264
m (Página marcada como sem notas)
 
(348 edições intermediárias de mais de 100 usuários não estão sendo mostradas)
Linha 1: Linha 1:
{{msg:emtraducao2}}
{{Ver desambig|a figura de estilo|Paradoxo (figura de estilo)}}
{{Sem notas|data=outubro de 2020}}
[[Ficheiro:Boyle'sSelfFlowingFlask.png|thumb| O copo com autofluxo de [[Robert Boyle]] preenche a si próprio neste diagrama, mas [[Moto-contínuo|máquinas de moto-contínuo]] não existem]]


[[Image:Boyle%27sSelfFlowingFlask.png|thumb|o frasco com auto-fluxo de [[Robert Boyle]] preenche a si próprio neste diagrama, mas [[Moto contínuo|máquinas de moto contínuo]] não existem.]]
Um '''paradoxo''' é uma declaração aparentemente [[verdade]]ira que leva a uma [[contradição]] [[ló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]].


Um '''paradoxo''' é uma declaração aparentemente [[Verdade|verdadeira]] que leva a uma [[contradição]] [[ló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 paradox 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 da [[Renascenç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 [[Latim|latina]] ''paradoxum'', mas também são encontradas em textos em [[Língua grega|grego]] como ''paradoxon'' (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 crença. Compare com [[ortodoxia]] e [[heterodoxo]].


A [[etimologia]] da palavra paradoxo pode ser traçada a textos que remontam à aurora da [[Renascenç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 [[Latim|latina]] ''paradoxum'', mas também são encontradas em textos em [[grego]] como ''paradoxon'' (entretanto, o [[Latim]] é fortemente derivado do alfabeto greg 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", conjungada com o sufixo nominal ''doxa'', que quer dizer "opinião". Compare com [[ortodoxia]] e [[heterodoxo]].
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.


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 restringí-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. Na [[mecânica quântica]], muitos comportamentos paradoxais podem ser observados (o [[princí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 [[wikt:pt:Incluir|incluir]] "ser" com um elemento essencial, ela pode estar sujeita a paradoxos.
 
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 (o [[princí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.


==Tipos de paradoxos==
==Tipos de paradoxos==
Temas comuns em paradoxos incluem autorreferências diretas e indiretas, definições circulares e confusão nos níveis de raciocínio.


Common themes in paradoxes include direct and indirect self-reference, infinity, circular definitions, and confusion of levels of reasoning.
[[W. V. Quine]] (1962) distingue 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.
Not all paradoxes are equal.  For example, the [[Birthday paradox]] is more of a surprise than a paradox, while the resolution of [[Curry's paradox]] is still a matter of contention. 
*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 autocontraditório aplicando apropriadamente meios aceitáveis de raciocínio. Por exemplo, o [[paradoxo de Grelling-Nelson]] aponta problemas genuínos na nossa compreensão das ideias de verdade e descrição.<sup>[[#References|1]]</sup>
[[W. V. Quine]] (1962) distinguished three classes of paradox:
* A ''veridical paradox'' produces a result that appears absurd but is demonstrated to be true nevertheless. Thus, the paradox of Frederic's birthday in ''[[The Pirates of Penzance]]'' establishes the surprising fact that a person may be more than N years old on his Nth birthday. Likewise, [[Arrow's impossibility theorem]] involves behavior of voting systems that is surprising but all too true.
* A ''falsidical paradox'' establishes a result that not only appears false but actually is false; there is a fallacy in the supposed demonstration. The various [[invalid proof]]s (e.g. that 1 = 2) are classic examples, generally relying on a hidden division by zero. Another example would be the [[Horse paradox]].
* A paradox which is in neither class may be an ''antinomy'', which reaches a self-contradictory result by properly applying accepted ways of reasoning. For example, the [[Grelling-Nelson paradox]] points out genuine problems in our understanding of the ideas of truth and description.<sup>[[#References|1]]</sup>
 
==List of paradoxes==
 
Not all paradoxes fit neatly into one category.  Some paradoxes include:
 
===Veridical paradoxes===
 
These are unintuitive results of correct logical reasoning.
 
[[Image:Monty-hall.png|thumb|right|The [[Monty Hall problem|Monty Hall paradox]]: which door do you choose?]]
 
====[[Mathematics|Mathematical]]/[[Logic|Logical]]====
 
* [[Paradox of entailment]]: Inconsistent premises always make an argument valid.
* [[Apportionment paradox]]:  Some systems of apportioning representation can have unintuitive results
** [[Alabama paradox]]
** [[New states paradox]]
** [[Population paradox]]
* Averaging - the mathematical concept of an [[average]], whether defined as the [[mean]] or [[median]], leads to apparently paradoxical results - for example, it is possible that moving an entry from [[Wikipedia]] to [[Wiktionary]] would increase the average entry length on '''both''' sites - [[Will Rogers phenomenon]]
* [[Arrow's impossibility theorem|Arrow's paradox]]/[[Voting paradox]]/[[Condorcet paradox]]: You can't have all the attributes of an ideal [[voting system]] at once
* [[Banach-Tarski paradox]]:  Cut a ball into 5 pieces, re-assemble the pieces to get two balls, both of equal size to the first.
* [[Birthday paradox]]: What is the chance that two people in a room have the same birthday?
* [[Borel's paradox]]: Conditional probability density functions are not invariant under coordinate transformations.
* [[Burali-Forti paradox]]: If the [[ordinal number]]s formed a [[set]], it would be an ordinal number which is smaller than itself.
* [[Elevator paradox]]: Elevators can seem to be mostly going in one direction, as if they were being manufactured on the roof, and disassembled in the basement.
* [[Galileo's paradox]]: Though most numbers are not squares, there are no more numbers than squares.
* [[Gabriel's Horn]] or Torricelli's trumpet: A simple object with finite volume but infinite surface area.  Also, the [[Mandelbrot set]] and various other [[fractal]]s have finite area, but infinite perimeter. 
* [[Hausdorff paradox]]: There exists a countable subset C of the sphere S such that S\C is equidecomposable with two copies of itself.
* [[Hilbert's paradox of the Grand Hotel]]: If a hotel with [[infinite]]ly many rooms is full, it can still take in more guests.
* [[Monty Hall problem]]: An unintuitive consequence of conditional probability.
* [[Monty Hell problem]]: Positive daily profits yield zero assets in the limit.
* [[Raven paradox]] (or Hempel's Ravens): Observing a red apple increases the likelihood of all ravens being black.
* [[Richard's paradox]]: A complete list of definitions of real numbers doesn't exist.
* [[Simpson's paradox]]: An association in sub-populations may be reversed in the population. It appears that two sets of data separately support a certain hypothesis, but, when considered together, they support the opposite hypothesis.
* [[Sleeping beauty paradox]]: One half or one third? news://rec.puzzles cannot agree on a probability.
* Statistical paradox: It is quite possible to draw wrong conclusions from [[correlation]].  For example, towns with a larger number of churches generally have a higher crime rate - because both result from higher population.  A professional organization once found that [[economist]]s with a [[PhD]] actually had a lower average salary than those with a [[Bachelor of Science|BS]] - but this was found to be due to the fact that those with a [[PhD]] worked in [[academia]], where salaries are generally lower.
 
====[[Psychology|Psychological]]/[[Philosophy|Philosophical]]====
 
* [[Abilene paradox]]: People take actions in contradiction to what they really want to do, and therefore defeat the very purposes of what they were trying to accomplish.
* [[Jean Buridan|Buridan's ass]]: How can a [[rational]] choice be made between two outcomes of equal [[value]]?
* [[Control paradox]]: Man can never be free of control, for to be free of control is to be controlled by oneself.
* [[Paradox of hedonism]]: When one pursues happiness itself, one is miserable; but, when one pursues something else, one achieves happiness.
* [[Epicurean paradox]]:  The existence of evil is incompatible with the existence of an omnipotent and caring God.
 
====[[Physics|Physical]]====
 
* [[Braess' paradox]]: sometimes adding extra capacity to a network can ''reduce'' overall performance
* [[Greisen-Zatsepin-Kuzmin limit|Cosmic ray paradox]]: physical theory predicts an upper limit to the possible energy of cosmic rays, but cosmic rays with energies above the theoretical limit have been observed.
* [[D'Alembert's paradox]]: An [[viscosity|inviscid]] liquid produces no drag.
* [[Einstein-Podolsky-Rosen paradox]]: Can far away events influence each other in [[quantum mechanics]]?
* [[Gibbs paradox]]: In an [[ideal gas]], is [[entropy]] an [[extensive variable]]?
* [[Loschmidt's paradox]]: Why is there an inevitable increase in entropy when the [[laws of physics]] are [[T-symmetry|invariant under time reversal]]?
* [[Mpemba effect|Mpemba paradox]]:  hot water can under certain conditions freeze faster than cold water, even though it must pass the lower temperature on the way to freezing.
* [[Twin paradox]]: When the travelling twin returns, he's younger and older than his brother who stayed put.
* [[Black hole information paradox]]
 
===Falsidical paradoxes===
 
These are incorrect results of subtly false reasoning.
* [[Epimenides paradox]]: A Cretan says "All Cretans are liars". (But see also the [[Liar paradox]], an antinomy.)
* [[Horse paradox]]: All horses are the same color.
* [[Unexpected hanging paradox]]: The day of the hanging will be a surprise, so it can't happen at all, so it will be a surprise. (Similar to the [[Liar paradox]], an antinomy.) <!--* [[Voting paradox]] (Condorcet paradox): Non-transitive collective preferences. --> <!-- itentical to Arrow's, right? -->
* [[Zeno's paradoxes]]: When you reach the turtle's spot, it has already advanced a bit, so you can never catch it.
 
===[[Antinomy|Antinomies]]===
 
Paradoxes that show flaws in accepted [[reason]]ing, [[axiom]]s, or [[definition]]s.  Note that many of these are special cases, or adaptations, of [[Russell's paradox]]. 
* [[Barber paradox]]: The barber who shaves all men who don't shave themselves, and no-one else.
* [[Berry paradox]]: What is "The first number not nameable in under ten words"?
* [[Curry's paradox]]: "If I'm not mistaken, the world will end in a week."
* [[Grelling-Nelson paradox]]: Is the word "heterological", meaning "not applicable to itself," a heterological word?
* [[Liar paradox]]: "This sentence is false."
* [[Quine's liar paradox]]: "Yields a falsehood when appended to its own quotation."
* [[Russell's paradox]]: Is there a set of all those sets that do not contain themselves?
 
====Antinomies of definition====
 
These paradoxes rest simply on an ambiguous definition.
* [[Ship of Theseus]]/[[George Washington's axe]]: When every component of the ship has been replaced at least once, is it still the same ship?
* [[Sorites paradox]]: At what point does a heap stop being a heap as I take away grains of sand?
* [[Richard's paradox]]
 
===Conditional paradoxes===
 
These are paradoxes only if certain special assumptions are made. 
Some of these show that those assumptions are false or incomplete, others are other types of paradoxes.
* [[Fermi paradox]]: If there are many other sentient species in the Universe, then where are they? Shouldn't their presence be obvious?
* [[Grandfather paradox]]: You [[time travel|travel back in time]] and kill your grandfather before he meets your grandmother which precludes your own conception.
* The [[GZK paradox]]: high-energy [[cosmic ray]]s have been observed which seem to violate the [[Greisen-Zatsepin-Kuzmin limit]] which is a consequence of [[special relativity]]
* [[Jevons paradox]]: In [[economics]], increases in efficiency lead to even larger increases in demand.
* [[Mere addition paradox]]: is a large population living barely tolerable lives  better than a small happy population?
* [[Newcomb's paradox]]: How do you play a game against an [[omniscient]] opponent?
* [[Nihilist paradox]]: if truth does not exist, the statement "truth does not exist" is a truth, thereby proving itself incorrect.
* [[Olbers' paradox]]: If the universe is infinite, with infinitely many luminous stars uniformly distributed, the sky should be entirely bright because there's a star in every direction.
* [[Omnipotence paradox]]: Can an [[omnipotent]] being create a rock too heavy to lift?  Can an irresistible force move an unmovable object?
* [[Predestination paradox]]: A man travels back in time and impregnates his great-great-grandmother. The result is a line of offspring and descendants, including the man's parent(s) and the man himself. Therefore, unless he makes the time-travel trip at all, he will never exist.
* [[St. Petersburg paradox]]: People will only offer a modest fee for a reward of [[infinite]] [[value]].
 
===Other paradoxes===
 
* [[Giffen good|Giffen paradox]]: Can increasing the price of bread make poor people eat more of it?
* [[Kavka's toxin puzzle]]: Can one ''intend'' to drink the nondeadly toxin, if the intention is the only thing needed to get the reward?
* [[Moore's paradox]]: "It's raining but I don't believe that it is."
* [[Low birth weight paradox]]: Low birth weight babies have a higher mortality rate, babies of smoking mothers have lower average birth weight, babies of smoking mothers have a higher mortality rate, but low birth weight babies of smoking mothers have a lower mortality rate than other low birth weight babies.
 
==References==
 
Quine, W. V. (1962) "Paradox". ''[[Scientific American]]'', April 1962, pp. 84&ndash;96.
 
==See also==


*[[Impossible objects]]
==Lista de paradoxos==
{{AP|Lista de paradoxos}}


==External links==
==Referências==
*Quine, W. V. (1962) "Paradox". ''[[Scientific American]]'', Abril de [[1962]], pp.&nbsp;84–96.


* [http://directory.google.com/Top/Society/Philosophy/Philosophy_of_Logic/Paradoxes/ Google Directory: Paradoxes]
== Ver também ==
* [http://www.dpmms.cam.ac.uk/~wtg10/richardsparadox.html Definability paradoxes]
*[[Antinomia]]


[[Category:Core issues in ethics]]
== Ligações externas ==
*[https://web.archive.org/web/20051210102224/http://directory.google.com/Top/Society/Philosophy/Philosophy_of_Logic/Paradoxes/ Google Directory: Paradoxes]
*[http://www.dpmms.cam.ac.uk/~wtg10/richardsparadox.html Definability paradoxes]


[[de:Paradoxon]]
[[Categoria:Paradoxos| ]]
[[es:Paradoja]]
[[fi:Paradoksi]]
[[fr:Paradoxe]]
[[ja:&#12497;&#12521;&#12489;&#12483;&#12463;&#12473;]]
[[nl:Paradox]]
[[pl:Paradoks]]
[[simple:Paradox]]
[[sv:Paradox]]
[[zh:&#24726;&#35770;]]

Edição atual tal como às 19h02min de 21 de outubro de 2020

Disambig grey.svg Nota: Para a figura de estilo, veja Paradoxo (figura de estilo).

Predefinição:Sem notas

O copo com autofluxo de Robert Boyle preenche a si próprio neste diagrama, mas máquinas de moto-contínuo não existem

Um paradoxo é uma declaração aparentemente verdadeira que leva a uma contradição ló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 da Renascenç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 como paradoxon (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 crença. Compare com ortodoxia e heterodoxo.

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. Na mecânica quântica, muitos comportamentos paradoxais podem ser observados (o princí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.

Tipos de paradoxos

Temas comuns em paradoxos incluem autorreferências diretas e indiretas, definições circulares e confusão nos níveis de raciocínio.

W. V. Quine (1962) distingue 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 autocontraditório aplicando apropriadamente meios aceitáveis de raciocínio. Por exemplo, o paradoxo de Grelling-Nelson aponta problemas genuínos na nossa compreensão das ideias de verdade e descrição.1

Lista de paradoxos

Ver artigo principal: Lista de paradoxos

Referências

Ver também

Ligações externas

talvez você goste