{"id":13529,"date":"2011-09-23T04:53:22","date_gmt":"2011-09-23T03:53:22","guid":{"rendered":"http:\/\/redatea.net\/index.php\/al-monte-se-va-con-botas-la-paradoja-de-moore\/"},"modified":"2011-09-23T04:53:22","modified_gmt":"2011-09-23T03:53:22","slug":"al-monte-se-va-con-botas-la-paradoja-de-moore","status":"publish","type":"post","link":"https:\/\/www.redatea.net\/index.php\/al-monte-se-va-con-botas-la-paradoja-de-moore\/","title":{"rendered":"Al monte se va con botas. La paradoja de Moore."},"content":{"rendered":"
<\/a><\/div>\n


<\/span><\/p>\n

Nos recuerda Jes\u00c3\u00bas, en su barco<\/a>, la paradoja de Moore. Hela aqu\u00c3\u00ad en sus t\u00c3\u00a9rminos:<\/span><\/div>\n

<\/span><\/span><\/div>\n
Consid\u00c3\u00a9rense estas dos proposiciones, “Grecia saldr\u00c3\u00a1 del euro antes de 2015” y “Solbes cree que Grecia no saldr\u00c3\u00a1 del euro antes de 2012”. \u00c2\u00bfSon estas dos proposiciones l\u00c3\u00b3gicamente contradictorias? No, porque AMBAS pueden ser verdaderas a la vez.  En cambio, supongamos que Solbes dice “Grecia saldr\u00c3\u00a1 del euro antes de 2015, pero yo creo que no”. Esto s\u00c3\u00ad que suena a paradoja, o sea, a autocontradicci\u00c3\u00b3n, \u00c2\u00bfverdad? Pero, \u00c2\u00bfC\u00c3\u00b3mo puede uno cometer una contradicci\u00c3\u00b3n afirmando dos proposiciones que no son contradictorias?<\/span><\/span><\/div>\n

<\/span><\/span><\/div>\n
Esta es mi contestaci\u00c3\u00b3n:<\/span><\/span><\/div>\n

<\/span><\/span><\/div>\n
Querer manejar saberes y creencias con solo l\u00c3\u00b3gica proposicional nos lleva a eso. Al monte se va con botas, y para manejar creencias hacen falta m\u00c3\u00a1s 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\u00c3\u00ada entrar la incertidumbre que separe creencias de saberes. Si no, acaban siendo lo mismo y entonces las dos proposiciones primeras s\u00c3\u00ad son contradictorias. Una vez que introducimos incertidumbre tenemos probabilidades y todo lo que eso conlleva (en particular el no liarse con la l\u00c3\u00b3gica proposicional para hacerle decir lo que no dice).<\/span><\/span><\/div>\n

<\/span><\/span><\/div>\n
Una manera (no la \u00c3\u00banica) de tener un modelo formal del asunto ser\u00c3\u00ada lo siguiente:<\/span><\/span><\/div>\n

<\/span><\/span><\/div>\n
Ejemplo bayesiano de modelizaci\u00c3\u00b3n: Antes de tener ninguna informaci\u00c3\u00b3n, Grecia saldr\u00c3\u00a1 del euro o no con probabilidades 1\/3, 2\/3, respectivamente. En estas condiciones Sobes cree que no saldr\u00c3\u00a1 (la probabilidad es mayor).<\/span><\/span><\/div>\n

<\/span><\/span><\/div>\n
Ahora puede haber una informaci\u00c3\u00b3n que indique que la situaci\u00c3\u00b3n 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\u00c3\u00b3n. Claramente se cumple que “Grecia saldr\u00c3\u00a1 del euro…” y que “Solbes cree que Grecia no saldr\u00c3\u00a1 del euro…”.<\/span><\/span><\/div>\n

<\/span><\/span><\/div>\n
En cambio, si Solbes dice “Grecia saldr\u00c3\u00a1 … y yo creo que Grecia no saldr\u00c3\u00a1…” estar\u00c3\u00a1 incurriendo en contradicci\u00c3\u00b3n, pues si tiene informaci\u00c3\u00b3n para afirmar lo primero no puede afirmar tambi\u00c3\u00a9n lo segundo. Por lo menos, no para cualquier sentido razonable que asignemos a esas proposiciones.<\/span><\/span><\/div>\n

<\/span><\/span><\/div>\n
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\u00c3\u00b3gica proposicional que las ignore est\u00c3\u00a1n abocadas a la confusi\u00c3\u00b3n. Una vez tengamos esto podremos resolver la paradoja. Tambi\u00c3\u00a9n podremos tener definiciones que la mantengan, pero tal vez no sean las interesantes.<\/span><\/span><\/div>\n
\"\"<\/div>\n","protected":false},"excerpt":{"rendered":"

Nos recuerda Jes\u00c3\u00bas, en su barco, la paradoja de Moore. Hela aqu\u00c3\u00ad en sus t\u00c3\u00a9rminos: Consid\u00c3\u00a9rense estas dos proposiciones, “Grecia saldr\u00c3\u00a1 del euro antes de 2015” y “Solbes cree que Grecia no saldr\u00c3\u00a1 del euro antes de 2012”. \u00c2\u00bfSon estas dos proposiciones l\u00c3\u00b3gicamente contradictorias? No, porque AMBAS pueden ser verdaderas a la vez.  En cambio, supongamos […]<\/p>\n","protected":false},"author":159,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[4],"tags":[],"class_list":["post-13529","post","type-post","status-publish","format-standard","hentry","category-blogs-colaboradores"],"_links":{"self":[{"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/posts\/13529","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/users\/159"}],"replies":[{"embeddable":true,"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/comments?post=13529"}],"version-history":[{"count":0,"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/posts\/13529\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/media?parent=13529"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/categories?post=13529"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.redatea.net\/index.php\/wp-json\/wp\/v2\/tags?post=13529"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}