Tópico: Paradoxos Wanted

[ZeratuL]

Ninguem fala a verdade.

1- Quando a proposicao e` tida como verdadeira ou falsa gera
recursoes estranhas.

Postem aqui, mais paradoxos.

[Guinevere]

não entendi nada

...

anh....

faça assim:


paradoxo: "Ninguém fala a verdade."

porque é um paradoxo: (a explicação)

comentário adicional:1- Quando a proposicao e` tida como verdadeira ou falsa gera
recursoes estranhas.

[Eleitor de Mário Oliveira]

Ninguem fala a verdade.

1- Quando a proposicao é tida como verdadeira ou falsa gera
recursoes estranhas.

Postem aqui, mais paradoxos.

Isto não é um paradoxo. A sentença não pode ser considerada verdadeira, pois a verdade implicaria em sua falsidade. Contudo, a sentença pode ser considerada falsa, pois ela pode ser consistentemente valorada como falsa. Neste caso, poderia ser que o único mentiroso que existe foi o autor da sentença.

[Eleitor de Mário Oliveira]

Alguns paradoxos legítimos, extraídos de http://pt.wikibooks.org/wiki/L%C3%B3gica:_Paradoxos:

Paradoxo de Russell:

M é o conjunto de todos os conjuntos que não pertencem a si próprios.
M pertence a si próprio?

Análise:

Se M pertence a M, então a M pertence um conjunto que contém a si mesmo, o que está em contradição com a definição de M.

Se M não pertence a M, então nem todos conjuntos que não pertencem a si mesmos pertencem a M o que também está em contradição com a definição de M.

Paradoxo de Grelling-Nelson

Este paradoxo consiste em um caso particular do paradoxo de Russell.

1. Um adjetivo é autológico se e somente se denotar uma propriedade que ele próprio contém.
2. Um adjetivo é heterológico se e somente se não denotar uma propriedade que ele próprio contém.

Exemplos de adjetivos autológicos:

* proparoxítona
* portuguesa (especificamente quando escrita em Português)
* polissilábica
* horizontal
* denotativa

Exemplos de adjetivos heterológicos:

* oxítona
* monossilábica
* vertical
* ilegível (neste contexto)

"Heterológico" é uma palavra heterológica?

Análise:

Se "heterológico" for uma palavra heterológica, então ela denota uma propriedade que ela contém. Sendo, portanto, autológica.

Se "heterológico" for uma palavra autológica, então ela não denota uma propriedade que ela contém. Sendo, portanto, heterológica.


Paradoxo do Mentiroso

Este é um dos mais antigos paradoxos de autoreferência e já foi formulado de diversas maneiras. Aqui formularemos ele assim:

O conteúdo desta caixa é falso.

Análise:

Se o conteúdo da caixa for verdadeiro, então, segundo ele próprio, o conteúdo da caixa é falso.

Se o conteúdo da caixa for falso, então o conteúdo da caixa é verdadeiro.


Paradoxo de Curry

Se tudo nesta caixa é verdade, então o mundo acabará semana que vem.

Análise:

Se o mundo acabar semana que vem, então tudo na caixa em questão é verdade. Disto segue que o mundo acaba semana que vem.

Agora, se o mundo não acabar semana que vem, então nem tudo na caixa é verdade. Neste caso, a condicionalidade na caixa é verdadeira, ou seja, tudo na caixa é verdade. Disto segue que o mundo acaba semana que vem.

[ZeratuL]

o exemplo que eu postei e' uma analogia ao : godel incompleteness theorem [ quem estiver interessado e' so' ir no google ].
Essa aqui tb e' boa se quiserem traduzir
http://www.logicalparadoxes.info/barber.html