Ex hipotesi

Sí, pero incluso en el caso de que nos topemos con una oración cuyo sentido no es su modo de verificación, el sentido de las oraciones científicas sí es su modo de verificación, pues la verdad de aquella suposición implica la verdad de esta. Si nuestra teoría era "Todas las oraciones tienen por sentido su método de verificación", y la oración "Esta oración tiene tal sentido (que no es su modo de verificación)" la refuta, entonces funcionará como evidencia, como modo de verificación, de otra teoría que diga: "El sentido de las oraciones es este y aquel". Por tanto el rechazo de la hípótesis de que todas las oraciones tienen por sentido su modo de verificación es una afirmación de que el modo apropiado de describir el mundo (las hipótesis científicas) tiene por sentido su modo de verificación.

Comentarios

Borgeano dijo…
Sea dicho.
Si no lo tomas a mal te recomiendo el libro de Raymond Smullyan (cualquiera de llos, pero con respecto a este tema en particular) "Juegos por siempre misteriosos", en donde trat del tema del teorema de inconpletitud de Godel.
Nafrán dijo…
Qué bueno tenerte por aquí de nuevo Borgeano, ahora mismo imparto un seminario como servicio social donde veremos consistencia, completitud de cálculo lógico de primer orden y luego completitud y decidibilidad del de orden superior. Sería bueno echar un ojo a ver qué conclusiones saca del teorema de Gödel porque luego hay cada cosa que para qué te cuento, Saludos !

Entradas populares