Menéame: comentarios [3209761]

#43 Si no me equivoco, 64=65

sacaelwhisky — Tue, 12 Nov 2019 11:53:48 +0000

#41 Vamos al caso: "si no me equivoco, 64=65". Esta proposición, que, como dije antes, tiene la forma de una implicación, está compuesta por dos enunciados. El primero es "yo me equivoco", que además aparece negado; el segundo, "64=65". Estos dos enunciados tienen carácter apofántico, es decir, nos informan sobre el mundo, enuncian algo sobre el mundo y, por tanto, o son verdaderos o son falsos. Pero son verdaderos o falsos por separado: la verdad de uno es independiente de la verdad o falsedad del otro. Y aquí está la trampa: ambos enunciados son independientes en cuanto su verdad pero, como hemos dicho antes, ambos dan forma a una proposición (proposición molecular) que tiene forma de implicación. Dicha implicación también tiene un valor de verdad. Y he aquí la trampa: dicho valor de verdad de la implicación se ciñe a la tabla de verdad de la implicación (que puse en un comentario anterior).

Obviamente lo anterior sólo es aplicable si aceptamos la lógica proposicional, incluyendo su semántica. ¿Podría usarse una lógica distinta donde la afirmación del principio no pueda ser verdadera? Sí, se podría usar. Pero en la lógica proposicional, esa proposición "si no me equivoco, 64=65" es verdadera. La paradoja es que, aun siendo verdadera, el resultado de la misma en el mundo es falso.

» autor: sacaelwhisky

#42 Si no me equivoco, 64=65

klam — Tue, 12 Nov 2019 08:53:55 +0000

#40 Aparentemente el problema es el artículo que puso un pésimo ejemplo. La paradoja de Curry utiliza la forma: "Si esta inferencia es verdadera, la luna está hecha de queso". En este caso, "esta inferencia es verdadera" es verdadera (está en la definición misma), por lo que la luna está hecha de queso. La paradoja radica en que las definiciones lógicas auto-referenciadas no tienen un valor de verdad determinable.

» autor: klam

#41 Si no me equivoco, 64=65

klam — Tue, 12 Nov 2019 08:31:20 +0000

#40 Bueno, el tratamiento que le das no tiene en cuenta el valor de verdad ("verdadero" o "falso" si es una lógica bivalente) de cada una de las proposiciones

Pero claro que lo tengo en cuenta! Si no lo tuviera en cuenta no podría saber si la persona que enuncia la primera inferencia está equivocada o no. De la inferencia original "si no me equivoco, 64=65" llegamos a la conclusión de que el hablante se equivoca. En el proceso no hay ninguna confusión ni paradoja, es bastante directo.

que es una argumentación universalmente válida (para eso es uno de los indemostrables que nos han llegado de la tradición)

Ahí está el asunto, en lenguaje llano "si no me equivoco, 64=65" no es un argumento, es una opinión. Cuando digo "creo que 64=65" simplemente estoy comunicando lo que creo, y la afirmación es "verdadera" o "falsa" dependiendo de si lo que digo corresponde con lo que creo o no, independientemente de si 64 es o no igual a 65. "Si no me equivoco" es, en lenguaje llano, otra forma de decir "creo".

Desde el lado matemático es aún más fácil, porque demostrar que 64≠65 es relativamente sencillo, demostrando que el hablante estaba equivocado.

Muchas veces ocurre que el lenguaje matemático y el natural tienen diferencias que llevan a equívocos, pero este es uno de los casos donde no hay ningún espacio a equivoco, porque tanto el lenguaje natural como el matemático llegan a la misma conclusión: el hablante se equivoca.

» autor: klam

#40 Si no me equivoco, 64=65

sacaelwhisky — Tue, 12 Nov 2019 06:25:24 +0000

#39 Bueno, el tratamiento que le das no tiene en cuenta el valor de verdad ("verdadero" o "falso" si es una lógica bivalente) de cada una de las proposiciones que usas en la deducción que haces, porque una cosa es la validez sintáctica de la deducción y otra el valor semántico de la misma. En ese modus tollens que usas, que es una argumentación universalmente válida (para eso es uno de los indemostrables que nos han llegado de la tradición) podemos meter afirmaciones en lenguaje natural asignando enunciados a las variables. Y ahí está el truco: dependiendo de las afirmaciones que use, e independientemente de la validez de la argumentación, podemos construir paradojas y quedarnos tan panchos.

» autor: sacaelwhisky

#39 Si no me equivoco, 64=65

klam — Tue, 12 Nov 2019 05:51:30 +0000

#32 Tal vez tenemos ideas diferentes de lo que es una paradoja. Para mi una paradoja es algo cuya conclusión contradice nuestra lógica, pero para mi no hay nada ni en el lenguaje natural, ni en el lenguaje formal de esa frase que sea contrario a mis expectativas.

En lenguaje natural:
- Si no me equivoco a es igual a b.
- Pues te equivocas porque a es diferente de b.
- Ok, estaba equivocado.
- Sí, estabas equivocado.

En lenguaje matemático:
p → q.
~q ⊦ ~p.

» autor: klam

#38 Si no me equivoco, 64=65

HimiTsü — Mon, 11 Nov 2019 18:52:52 +0000

Pero cómo va a ser igual seis y cuatro [ la cara de tu retrato ] que... seis y cinco; por el .. te la hinco !?

» autor: HimiTsü

#37 Si no me equivoco, 64=65

frankiegth — Mon, 11 Nov 2019 18:46:11 +0000

#0. Claro que no...
_{_{www.eteknix.com/25-year-old-commodore-65-computer-sells-23000-ebay/}}

» autor: frankiegth

#36 Si no me equivoco, 64=65

yusavi — Mon, 11 Nov 2019 15:51:09 +0000

true && true= true
true && false=false
false && false=false
true || true=true
true || false=true
false || false= false

» autor: yusavi

#35 Si no me equivoco, 64=65

crateo — Mon, 11 Nov 2019 15:42:52 +0000

#34 Literalmente, cualquier conclusion. Pero es como dividir por cero. Peta la paradoja.

» autor: crateo

#34 Si no me equivoco, 64=65

Gordito — Mon, 11 Nov 2019 15:30:10 +0000

#22 eso que dices también es cierto.
Había una expresión que decía algo así como:
"Si 0=1, yo soy el papa"
Si partes de una premisa falsa casi cualquier conclusión es cierta.

» autor: Gordito

#33 Si no me equivoco, 64=65

freeCode — Mon, 11 Nov 2019 15:23:17 +0000

Si no me equivoco, cualquier cosa es una paradoja

» autor: freeCode

#32 Si no me equivoco, 64=65

sacaelwhisky — Mon, 11 Nov 2019 15:05:24 +0000

#31 La paradoja estriba en que el valor de verdad de la proposición, formada por dos enunciados unidos por una implicación, sea independiente de que realmente lo enunciado por la proposición pueda ser verdad en el mundo. O, dicho de otro modo, es imposible que ocurra nada en el mundo que haga que afirmar el enunciado “64=65” sea verdad; pero, al escribir la proposición en la forma que estamos tratando, el valor de verdad de la misma es igual a “verdad” y no a “falsedad”. Esto es así por las características formales de la implicación.

Bueno, y que el lenguaje natural es muy puto y traidor.

» autor: sacaelwhisky

#31 Si no me equivoco, 64=65

klam — Mon, 11 Nov 2019 14:54:14 +0000

#18 Es verdad qué "sí no me equivoco, 64=65", y ahí no hay ninguna paradoja. Esa frase no está hecha para demostrar la veracidad de la consecuencia, sino para dar señalar que estamos siendo honestos respecto a nuestro conocimiento y que podemos estar equivocados, luego tiene sentido que sea una tautología.

» autor: klam

#30 Si no me equivoco, 64=65

--590763-- — Mon, 11 Nov 2019 14:41:28 +0000

#27 No lo obvio ....A->B....

» autor: --590763--

#29 Si no me equivoco, 64=65

Galata — Mon, 11 Nov 2019 14:25:52 +0000

Soy mujer por tanto es imposible, pero la entradilla de la noticia me ha hecho la picha un lío.

» autor: Galata

#28 Si no me equivoco, 64=65

NubisMusic — Mon, 11 Nov 2019 13:39:26 +0000

Las trampas del lenguaje. Hay lógicas abstractas que son imposibles de describir, aunque sí de comprender.

» autor: NubisMusic

#27 Si no me equivoco, 64=65

chavi — Mon, 11 Nov 2019 13:31:07 +0000

#20 Obvias el "Si", que establece una condición. No es lo mismo decir "No me equivoco" que "Si no me equivoco".
El resultado simplemente es que sí, que se equivoca, pero la frase es cierta de cualquier modo.

» autor: chavi

#26 Si no me equivoco, 64=65

fantomax — Mon, 11 Nov 2019 13:03:50 +0000

#25 Pues que es cholón.

» autor: fantomax

#25 Si no me equivoco, 64=65

YogSothoth — Mon, 11 Nov 2019 13:02:15 +0000

#24 Mi pregunta era retórica. Entiendo el problema geométrico y entiendo la paradoja, lo que no veo que exista es la relación entre una cosa y la otra.

» autor: YogSothoth

#24 Si no me equivoco, 64=65

fantomax — Mon, 11 Nov 2019 13:00:04 +0000

#2 El problema geométrico del que habla el video está basado en la identidad de Cassini, si es lo que te interesa. Funciona si las dimensiones que se eligen para los lados ortogonales de los triángulos son números consecutivos de la sucesión de Fibonacci. Al tener la relación que tienen las piezas "encajan" y como los cocientes convergen a la razón aurea los ángulos se parecen mucho.
El resto del artículo es una disertación lógica con algo de "metalenguaje" es decir hablar de la frase dentro de la propia frase. Este tipo de recurrencias suelen dar paradojas o argumentos falaces y hay que ser cuidadoso con la discusión al respecto. Han tomado "64=65" porque tenían el video chulo para poner, si hubiesen puesto "yo nací en Marte" la cuestión lógica sería la misma.

» autor: fantomax

#23 Si no me equivoco, 64=65

jaspeao — Mon, 11 Nov 2019 12:55:24 +0000

Capcioso

» autor: jaspeao

#22 Si no me equivoco, 64=65

crateo — Mon, 11 Nov 2019 12:53:13 +0000

#4 Bueno, hasta que cambias el orden: "Si 64=65, no me equivoco".

» autor: crateo

#21 Si no me equivoco, 64=65

eltoloco — Mon, 11 Nov 2019 12:53:10 +0000

#3 no te preocupes, matemáticas discretas es de las asignaturas que más se repiten en las ingenierías, no eres el único al que le cuesta entenderlo..

» autor: eltoloco

#20 Si no me equivoco, 64=65

--590763-- — Mon, 11 Nov 2019 12:47:38 +0000

Enunciado:
'Si no me equivoco, 64=65'.
Formalmente:
A = 'No me equivoco'.
B = '64 = 65'.
A -> B
~B
--------- Modus Tollens
~A = No 'no me equivoco'. »» Me equivoco

» autor: --590763--

#19 Si no me equivoco, 64=65

--471288-- — Mon, 11 Nov 2019 12:43:16 +0000

Teorías posmodernas. Supongo que relativismo científico o algo así, donde supongo que todo es verdadero y falso a la vez, o algo así. Cada día que vivimos es un día que morimos o algo así.

» autor: --471288--

#18 Si no me equivoco, 64=65

sacaelwhisky — Mon, 11 Nov 2019 12:42:44 +0000

#3 Para poder verla, hay que formalizar la afirmación. Como veo que en el artículo no está hecho, voy yo, con tu permiso.

"Si lo primero entonces lo segundo" se puede formalizar como p -> q.

En el caso de la afirmación "si no me equivoco, entonces 64=65" tenemos que p: "me equivoco" y que q: "64=65".

Cada conector lógico tiene una tabla de verdad y en el caso del implicador ->, ésta queda así (espero que el formateo de la página me respete un poco):

p q | p -> q
----------------
V V | V V V
V F | V F F
F V | F V V
F F | F V F

En caso de que, según la afirmación anterior, sí me esté equivocando, entonces tengo que considerar su negación ¬p, con lo que, independientemente del valor de verdad de q, ocurre que p -> q siempre es verdadera.

q.e.d.

» autor: sacaelwhisky

#17 Si no me equivoco, 64=65

Charlie_Chemist — Mon, 11 Nov 2019 12:35:11 +0000

#9 De algo tienen que comer los filosofos

» autor: Charlie_Chemist

#16 Si no me equivoco, 64=65

chavi — Mon, 11 Nov 2019 12:33:37 +0000

#9 Escuchas los discursos de los políticos ?

Pues para detectar sandeces.

» autor: chavi

#15 Si no me equivoco, 64=65

chavi — Mon, 11 Nov 2019 12:32:42 +0000

#5 mas o menos. Pero es un "truco" empleado continuamente por los políticos.

» autor: chavi

#14 Si no me equivoco, 64=65

--424445-- — Mon, 11 Nov 2019 12:32:09 +0000

Si no me equivoco, no es no.

» autor: --424445--

#13 Si no me equivoco, 64=65

autonomator — Mon, 11 Nov 2019 12:31:21 +0000

#4 ¿la verdad de lo cierto o lo cierto de la verdad?

» autor: autonomator

#12 Si no me equivoco, 64=65

--165145-- — Mon, 11 Nov 2019 12:30:24 +0000

A ver, la sentencia F => V es cierta, ya está, ¿no?

» autor: --165145--

#11 Si no me equivoco, 64=65

ContinuumST — Mon, 11 Nov 2019 12:28:44 +0000

Si no me equivoco, el enunciado es falso.

» autor: ContinuumST

#10 Si no me equivoco, 64=65

mirav — Mon, 11 Nov 2019 12:28:19 +0000

Seria mas facil decir: Estoy equivocado afirmando que 65 es diferente a 65

» autor: mirav

#9 Si no me equivoco, 64=65

Jack-Bauer — Mon, 11 Nov 2019 12:28:09 +0000

y discutir sobre el lenguaje, las equivocaciones y los matices... ¿para qué sirve?

» autor: Jack-Bauer

#8 Si no me equivoco, 64=65

--287400-- — Mon, 11 Nov 2019 12:18:03 +0000

no hay ninguna paradoja, la frase es correcta, siemplemente se equivoca así que B no tiene por qué ser cierto.

» autor: --287400--

#7 Si no me equivoco, 64=65

--562296-- — Mon, 11 Nov 2019 11:59:14 +0000

[Usuario deshabilitado]

» autor: --562296--

#6 Si no me equivoco, 64=65

Liet_Kynes — Mon, 11 Nov 2019 11:58:58 +0000

Lo de que no tiene una solución sencilla... En la tabla de verdad de la implicación se ve que Falso->Falso es verdadero, además con el modus tollens se ve más claro:

Si no me equivoco -> 64=65, de lo cual se deduce por modus tollens que si 64<>65 -> Me equivoco

» autor: Liet_Kynes

#5 Si no me equivoco, 64=65

--604586-- — Mon, 11 Nov 2019 11:37:19 +0000

#4 es el equivalente al "si mi abuela tuviera ruedas sería una bicicleta"

» autor: --604586--

#4 Si no me equivoco, 64=65

anxosan — Mon, 11 Nov 2019 11:24:37 +0000

#2 Salvo haciendo trampas (como en el vídeo) la paradoja se resuelve inequívocamente, pero su enunciado "Si no me equivoco, 64=65" siempre es correcto (a efectos de comunicación).

» autor: anxosan

#3 Si no me equivoco, 64=65

pandasucks — Mon, 11 Nov 2019 11:23:10 +0000

Pues no veo la paradoja

» autor: pandasucks

#2 Si no me equivoco, 64=65

YogSothoth — Mon, 11 Nov 2019 11:20:27 +0000

¿Tiene algo que ver con la paradoja el vídeo del problema geométrico que enlazan?

» autor: YogSothoth

#1 Si no me equivoco, 64=65

Maestro_Blaster — Mon, 11 Nov 2019 11:18:35 +0000

Este artículo destroza las 14 temporadas de Ancient Aliens.

» autor: Maestro_Blaster