{"id":237,"date":"2008-10-15T10:52:35","date_gmt":"2008-10-15T13:52:35","guid":{"rendered":"http:\/\/scienceblogs.com.br\/cretinas\/2008\/10\/provas-de-inexistencia\/"},"modified":"2008-10-15T10:52:35","modified_gmt":"2008-10-15T13:52:35","slug":"provas-de-inexistencia","status":"publish","type":"post","link":"https:\/\/www.blogs.unicamp.br\/cretinas\/2008\/10\/15\/provas-de-inexistencia\/","title":{"rendered":"Provas de inexist\u00eancia"},"content":{"rendered":"

Quando uma pessoa atinge um certo grau de sofistica\u00e7\u00e3o filos\u00f3fica, ela se convence de que \u00e9 imposs\u00edvel provar que alguma coisa n\u00e3o existe. Quando essa sofistica\u00e7\u00e3o aumenta um pouco mais, ela se convence de que estava errada.
\nEm primeiro lugar, porque a pr\u00f3pria senten\u00e7a “\u00e9 imposs\u00edvel provar que alguma coisa n\u00e3o existe” \u00e9 uma afirma\u00e7\u00e3o de inexist\u00eancia — no caso, de que n\u00e3o existe prova de que alguma coisa n\u00e3o existe. E, se n\u00e3o existe prova, em que essa afirma\u00e7\u00e3o se baseia?
\nEm segundo lugar, porque toda afirma\u00e7\u00e3o \u00e9 a nega\u00e7\u00e3o de uma nega\u00e7\u00e3o: afirmar que a atmosfera atual do planeta Terra cont\u00e9m oxig\u00eanio \u00e9 o mesmo que dizer que n\u00e3o existe algo que (a) seja atmosfera atual do planeta Terra e que (b) n\u00e3o contenha oxig\u00eanio.
\nEm terceiro, provas de inexist\u00eancia abundam: na postagem anterior, mostrei uma prova de que n\u00e3o existe um n\u00famero racional que seja a raiz quadrada de 2; tamb\u00e9m h\u00e1 provas de que n\u00e3o existe um m\u00e9todo para dividir um \u00e2ngulo em tr\u00eas partes iguais usando apenas uma r\u00e9gua n\u00e3o-graduada e compasso; de que n\u00e3o existe uma f\u00f3rmula gen\u00e9rica para resolver equa\u00e7\u00f5es de grau cinco (ou maior) e, claro, a prova do \u00daltimo Teorema de Fermat demonstra que \u00e9 imposs\u00edvel encontrar um valor de “x”, maior que 2, que satisfa\u00e7a a equa\u00e7\u00e3o ax<\/sup>+bx<\/sup>=cx<\/sup> .
\nTodos os exemplos que citei acima v\u00eam da l\u00f3gica e da matem\u00e1tica, as chamadas ci\u00eancias dedutivas<\/em> — que progridem atrav\u00e9s da manipula\u00e7\u00e3o sistem\u00e1tica de s\u00edmbolos e defini\u00e7\u00f5es.\u00a0Algu\u00e9m poderia argumentar que a impossibilidade de se provar inexist\u00eancias se aplica, na verdade, \u00e0s ci\u00eancias indutivas<\/em>, as que progridem a partir da observa\u00e7\u00e3o sistem\u00e1tica da natureza.\u00a0
\nMas \u00e9 importante notar que, ao mesmo tempo em que esse argumento invoca uma distin\u00e7\u00e3o entre dois dom\u00ednios da ci\u00eancia, ele tenta impor um conceito particular de prova<\/em>\u00a0— o dedutivo — ao dom\u00ednio indutivo.
\nBolas, se h\u00e1 h\u00e1 tipos diferentes de ci\u00eancia<\/em>, ent\u00e3o h\u00e1 que se aceitar que existem tamb\u00e9m tipos diferentes de prova<\/em>. A id\u00e9ia de que s\u00f3 as provas dedutivas s\u00e3o v\u00e1lidas \u00e9 um preconceito, possivelmente vindo da filosofia — j\u00e1 que o exerc\u00edcio filos\u00f3fico \u00e9 principalmente dedutivo.
\nPode-se argumentar que uma prova indutiva oferece menos certeza<\/em> que uma dedutiva; mas a indu\u00e7\u00e3o ainda assim \u00e9 capaz de gerar prova al\u00e9m da d\u00favida razo\u00e1vel.<\/em>\u00a0Por exemplo, as leis da f\u00edsica provam, al\u00e9m de qualquer tipo de d\u00favida razo\u00e1vel, que o Sol n\u00e3o explodir\u00e1 amanh\u00e3. Minha experi\u00eancia pessola demonstra, al\u00e9m de qalquer d\u00favida razo\u00e1vel, que n\u00e3o serei devorado pelo Grande Crocodilo do Nilo esta noite.
\nAl\u00e9m disso, as leis da probabilidade mostram que \u00e9 poss\u00edvel acumular um volume de observa\u00e7\u00f5es grande o suficiente para gerar qualquer grau de certeza que se queira, ainda que abaixo de 100%.\u00a0
\nProvas al\u00e9m da d\u00favida razo\u00e1vel podem se mostrar erradas? Sim. Mas elas s\u00e3o boas o suficiente — t\u00eam de ser — para guiar as decis\u00f5es humanas. A alternativa \u00e9 um estado permanente de paralisia e indecis\u00e3o, um agnosticismo universal e intoler\u00e1vel.<\/p>\n","protected":false},"excerpt":{"rendered":"

Quando uma pessoa atinge um certo grau de sofistica\u00e7\u00e3o filos\u00f3fica, ela se convence de que \u00e9 imposs\u00edvel provar que alguma coisa n\u00e3o existe. Quando essa sofistica\u00e7\u00e3o aumenta um pouco mais, ela se convence de que estava errada. Em primeiro lugar, porque a pr\u00f3pria senten\u00e7a “\u00e9 imposs\u00edvel provar que alguma coisa n\u00e3o existe” \u00e9 uma afirma\u00e7\u00e3o […]<\/p>\n","protected":false},"author":545,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"pgc_sgb_lightbox_settings":"","_vp_format_video_url":"","_vp_image_focal_point":[],"footnotes":""},"categories":[3],"tags":[],"class_list":["post-237","post","type-post","status-publish","format-standard","hentry","category-geral"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/posts\/237","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/users\/545"}],"replies":[{"embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/comments?post=237"}],"version-history":[{"count":0,"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/posts\/237\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/media?parent=237"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/categories?post=237"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.blogs.unicamp.br\/cretinas\/wp-json\/wp\/v2\/tags?post=237"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}