Nos recuerda Jesús, en su barco, la paradoja de Moore. Hela aquí en sus términos:Considérense estas dos proposiciones, "Grecia saldrá del euro antes de 2015" y "Solbes cree que Grecia no saldrá del euro antes de 2012". ¿Son estas dos proposiciones lógicamente contradictorias? No, porque AMBAS pueden ser verdaderas a la vez. En cambio, supongamos que Solbes dice "Grecia saldrá del euro antes de 2015, pero yo creo que no". Esto sí que suena a paradoja, o sea, a autocontradicción, ¿verdad? Pero, ¿Cómo puede uno cometer una contradicción afirmando dos proposiciones que no son contradictorias?Esta es mi contestación:Querer manejar saberes y creencias con solo lógica proposicional nos lleva a eso. Al monte se va con botas, y para manejar creencias hacen falta más cosas. Hay varias maneras, uno puede definir varios operadores, uno que signifique "saber" y otro "creer", con axiomas distintos, pero eso es en general bastante insatisfactorio. En alguna parte debería entrar la incertidumbre que separe creencias de saberes. Si no, acaban siendo lo mismo y entonces las dos proposiciones primeras sí son contradictorias. Una vez que introducimos incertidumbre tenemos probabilidades y todo lo que eso conlleva (en particular el no liarse con la lógica proposicional para hacerle decir lo que no dice).Una manera (no la única) de tener un modelo formal del asunto sería lo siguiente:Ejemplo bayesiano de modelización: Antes de tener ninguna información, Grecia saldrá del euro o no con probabilidades 1/3, 2/3, respectivamente. En estas condiciones Sobes cree que no saldrá (la probabilidad es mayor).Ahora puede haber una información que indique que la situación de Grecia es peor de lo que se pensaba, de manera que la probabilidad de que salga del euro antes de esa fecha es del 100%, pero Solbes ignora esa nueva información. Claramente se cumple que "Grecia saldrá del euro..." y que "Solbes cree que Grecia no saldrá del euro...".En cambio, si Solbes dice "Grecia saldrá ... y yo creo que Grecia no saldrá..." estará incurriendo en contradicción, pues si tiene información para afirmar lo primero no puede afirmar también lo segundo. Por lo menos, no para cualquier sentido razonable que asignemos a esas proposiciones.El verdadero problema es el de buscar una manera interesante y rigurosa de definir "saber" y "creer". Sostengo que esa manera interesante debe incluir considerar probabilidades y que todas las discusiones desde la lógica proposicional que las ignore están abocadas a la confusión. Una vez tengamos esto podremos resolver la paradoja. También podremos tener definiciones que la mantengan, pero tal vez no sean las interesantes.