Pesquisar este blog

quinta-feira, 15 de setembro de 2011

Um Paradoxo Linear

Quase sempre, os paradoxos são paradoxais exatamente por apresentar uma certa circularidade auto-referencial (cf. o famoso Dilema de Tostines). O quase é porque o conjunto das sentenças abaixo forma o que seu descobridor, Stephen Yablo, chama de paradoxo linear (e não apenas graficamente):

Todas as sentenças abaixo dessa são falsas.
Todas as sentenças abaixo dessa são falsas.
Todas as sentenças abaixo dessa são falsas.
Todas as sentenças abaixo dessa são falsas.
Todas as sentenças abaixo dessa são falsas.
Todas as sentenças abaixo dessa são falsas.
Todas as sentenças abaixo dessa são falsas.
Todas as sentenças abaixo dessa são falsas.
Todas as sentenças abaixo dessa são falsas.

...ad infinitum...

Apresentado por Yablo em 1993, esse arranjo consegue ser paradoxal sem ser circular, isto é, sem conter auto-referência. As sentenças não podem ser todas falsas, pois isso tornaria verdadeira a primeira delas, causando uma contradição. Por outro lado, nenhuma delas pode ser verdadeira, pois uma única afirmativa verdadeira teria que ser seguida por uma infinidade de sentenças falsas, e a falsidade de qualquer uma delas implica a verdade daquela que seguem.

Em outras palavras, suponha que em algum lugar dessa sequência infinita de “Todas as sentenças abaixo dessa são falsas.” haja uma enésima sentença que seja verdadeira. Disso decorrem duas coisas:

  • (a) a enésima-primeira sentença é falsa e 
  • (b) qualquer sentença que esteja além da enésima-primeira é falsa também. 

Só que, segundo (b), o que a enésima-primeira sentença diz —  que todas as sentenças que estão abaixo dela são falsas — é verdadeiro e, portanto, ao contrário do que se conclui por (a), a enésima-primeira sentença é verdadeira. Portanto, qualquer sentença dada na sequência é falsa. Mas as sentenças subsequentes a qualquer sentença dada são todas falsas, o que valida a verdade da sentença dada como verdadeira.

Um comentário:

  1. Muito bacana, mas no final ainda é auto-referente:

    http://en.wikipedia.org/wiki/Yablo's_paradox
    "A complete and logical definition is simply:
    For all natural numbers n, S(n) is the sentence "for all k > n, S(k) is untrue".[2]
    When the paradox is clearly defined, instead of relying on the vagueness of ellipses, we see that there is indeed a self-reference, since S is defined in terms of S."

    ResponderExcluir

Este espaço destina-se à ampliação das dimensões apresentadas no texto através uma discussão civilizada - o que exclui comentários que contenham ofensas pessoais ou qualquer tipo de preconceito (por cor, crença religiosa ou falta crença, gênero ou orientação sexual).

Postagens anônimas são permitidas, desde que não cometam qualquer abuso citado acima.

LinkWithin

Related Posts Plugin for WordPress, Blogger...