Certeza e agnosticismo.

O leitor que assina «Catelius» comentou:

«Paradoxal. Como os filósofos e cientistas SABEM definitivamente que não se pode saber nada em definitivo? He he he. Além do mais, SEI que 2 + 2 são 4. É axiomático, seja tudo isto aqui simulação ou não. Sei que 10/2=5. De igual modo, SEI que todas as casas pretas são pretas.
Assim sendo, a Terra é redonda, seja ela uma simulação ou não.»

Se defino que x = 5 sei que x = 5, mas não é grande novidade. Saber por definição dá certeza absoluta sem informar. Por outro lado, saber que uma proposição corresponde à realidade é mais informativo mas tem sempre algum risco. Até o «penso logo existo» é arriscado. Exige que pensar seja um acto de um ser que existe. Mas quem sabe se os pensamentos simplesmente acontecem sem existir um eu que os pense.

Pelos dois sentidos de «saber» sei definitivamente que não posso saber nada definitivo acerca da realidade. Definitivamente porque é consequência da definição dos termos. E não posso saber em definitivamente o que é a realidade porque só controlo o que eu defino. A realidade pode sempre surpreender.

Isto em teoria, porque a prática é diferente. Bertrand Russell explicou uma vez como era agnóstico e ateu:

«As a philosopher, if I were speaking to a purely philosophic audience I should say that I ought to describe myself as an Agnostic, because I do not think that there is a conclusive argument by which one prove that there is not a God.
On the other hand, if I am to convey the right impression to the ordinary man in the street I think I ought to say that I am an Atheist, because when I say that I cannot prove that there is not a God, I ought to add equally that I cannot prove that there are not the Homeric gods.»(1)

Um mais um é dois por definição de «um», «dois», e «mais», mas a verdade que daqui sai é a que lá pusemos. O que dá algo de novo, e útil, é aplicar a regra à realidade, mas isso já não é garantido. Podemos saber que juntando um pato ao pato que já temos ficamos com dois patos. Mas se a um cardume juntamos outro cardume ficamos com um cardume. Maior, mas à mesma um e não dois. E se algo é mais pato ou mais cardume já não é decisão nossa. Filosoficamente, todas as verdades garantidas são triviais e qualquer afirmação que não seja trivial pode ser falsa.

Mas não é prático viver como se não soubesse que Zeus é fantasia, como se duvidasse que há realidade ou a deixar-me atropelar por faltar a prova irrefutável de haver carros na estrada. Não posso provar que Deus não existe mas também não vos posso provar que eu existo. Filosoficamente é interessante, mas, na prática, posso ter tanta certeza destas coisas como de qualquer outra. E se estiver enganado logo mudo de ideias quando for caso disso.

1- Bertrand Russell, 1947, Am I An Atheist Or An Agnostic?