¿Cuáles son algunos ejemplos de cosas que no pueden explicarse por la lógica?

En realidad, la lógica por sí misma explica muy poco. Necesita un conjunto de premisas para sacar cualquier conclusión, y la lógica nunca le dirá si estas premisas son correctas o no. A lo sumo te dirá que son contradictorios.

La racionalización es una historia diferente. Es sobre todo un acto de arrogancia, pero no es culpa de la lógica. La palabra en sí tiene diferentes significados (piense en racionalizar los recursos), pero en el sentido en que la usa, parece referirse a:

“Intente explicar o justificar (el comportamiento o la actitud de uno u otro) con razones lógicas y plausibles, incluso si no son verdaderas o apropiadas” (Del diccionario de Mac OS X).

La arrogancia aquí proviene de la creencia de que uno puede conocer las “premisas” que conducen a uno mismo o al comportamiento de los demás. Hay una expresión de personas que hacen modelos de computadora que es “basura dentro, basura fuera”. Si las suposiciones sobre otras personas / situaciones son inexactas, las conclusiones serán inexactas, sin importar qué tan buena sea su lógica.

Así que la lógica casi (con el permiso del teorema de incompletitud de Gödel) nunca falla. Lo que falla son nuestras hipótesis sobre el mundo, y en la mayoría de las situaciones de la vida real, la cantidad de parámetros es enorme, y algunos de ellos son imposibles de conocer. Pero pensando que podemos explicar cualquier cosa que suceda, que todo sigue un orden que está a nuestro alcance, nos hace sentir seguros, por lo que no es de extrañar que muchas personas se sientan obligadas a hacerlo.

Todo cede a la lógica a través del reduccionismo. El problema con esto es que los modelos resultantes terminan explicando exactamente lo que se propusieron explicar y, por lo tanto, se arriesgan a ser ejemplos de pedir la pregunta.

Una parte de hacer las paces con la idea de que todo debe tener una respuesta: darse cuenta de que nuestras definiciones de la naturaleza y de la ciencia están limitadas por la percepción. Si no podemos percibirlo, si es imposible percibirlo alguna vez, directa o indirectamente, no podemos aplicarle la ciencia. Pero correspondientemente (razonamos, con error), si no podemos percibirlo, si es imposible percibirlo, ya sea directa o indirectamente, literalmente no tiene ninguna consecuencia.

El área gris sobre la que nos retorcemos las muñecas está poblada por fenómenos a los que atribuimos causas indirectas que están más allá de nuestros límites perceptivos actuales (y quizás últimos).

Sospecho que la conciencia todavía está en el reino de las cosas que desafían la lógica. Lo mejor que podemos hacer es llamarlo una propiedad emergente de un sistema complejo, y luego jugar a escribir programas de computadora para imitar lo que observamos al respecto.

Seguir dos cosas (posiblemente) no puede explicarse por la lógica.

  1. La aleatoriedad no puede ser explicada por la lógica. (por definición).
  2. La lógica no puede ser explicada por la lógica: en general, tan pronto como uno elige una “lógica”, es decir, un sistema de propagación de la verdad y las falsedades, uno también elige la “ilógica”. por ejemplo, “Sócrates es un hombre, todos los hombres son mortales, por lo tanto, Sócrates es inmortal” es ilógico en el sentido de la lógica clásica. (A su vez, se puede decir que las lógicas clásicas tienen raíces en nuestra percepción del mundo y se puede decir que son una extensión de la teoría de conjuntos (etiquetar los conjuntos como Verdadero / Falso, etc.)). El problema es que los humanos (posiblemente) no pueden racionalizar el mundo más allá de la teoría de conjuntos (¿por qué? Porque pensar en el mundo de esa manera parece resolver la mayoría de nuestros problemas. ¿Por qué? Ver * más abajo)) Es por eso que se puede argumentar Los que creamos merecen ser llamados “lógicos” solo si satisfacen ciertos principios básicos de la teoría de conjuntos. Uno puede tratar de ser creativo sobre el significado de la lógica, pero no puede ir mucho más allá de establecer ideas teóricas para que se llame “lógica”. Si es así, existen declaraciones ilógicas, y esas no pueden explicarse por “lógica”. Tenga en cuenta que si pudiéramos construir declaraciones “ilógicas” usando las reglas de “lógica basada en la teoría de conjuntos”, entonces veríamos al menos 1 declaración que es tanto lógica como ilógica, que no está permitida en nuestros sistemas de teoría de conjuntos. -basadas-lógicas. Por lo tanto, no podemos construir declaraciones ilógicas a partir de reglas de lógica (ver argumentos en contra del dialetismo)

La verdadera pregunta es: ¿pueden estos dos conceptos anteriores aplicarse a las cosas que vemos en el mundo real? A lo que no creo que haya consenso todavía.

  1. Aleatoriedad: no sé si la aleatoriedad existe realmente en el mundo real. He visto argumentos que sí lo hacen (Página en arxiv.org), pero no estoy realmente convencido porque tal vez no entiendo el campo lo suficientemente profundamente.
  2. Ilógico: como consecuencia de la existencia de cosas ilógicas en el mundo real, tampoco lo sabemos, excepto en este sentido: definitivamente, todos podemos imaginar declaraciones ilógicas en nuestras cabezas. El hecho de que imaginemos algo significa que las cosas en el mundo real unieron fuerzas para que nuestro cerebro experimentara ese sentimiento. Por lo tanto, debería haber algo arraigado en las leyes naturales que nos hizo imaginar / pensar cosas ilógicas. Ya sabemos que las cosas lógicas no pueden construir cosas ilógicas. Así, basado en el argumento de Penrose para “Godelism” (página en stanford.edu), creo que la ilógica (en general la imaginación) debe tener una base física, algo inherente a la naturaleza física que permite a nuestro cerebro explorar esa dimensión. Así, al menos un poco de ilógico debe existir en el mundo real.

Además, en el mundo real, si vemos algo que desafía la creencia, por ejemplo, la dualidad onda-partícula, aceptamos eso como una premisa, pero no alteramos nuestro sistema de lógica. Intentamos crear “extensiones” aunque, por ejemplo, lógicas difusas, lógicas temporales, etc.

* Una posible razón por la cual la realidad se puede explicar utilizando las herramientas de matemáticas y la lógica basada en la teoría de conjuntos es esta hipótesis del universo matemático, donde el argumento es que nuestro universo es tan fácilmente analizable con las herramientas de matemáticas y lógica, porque : “Sólo las estructuras matemáticas completas (completamente decidibles) de Godel tienen existencia física”. Mi extensión a esto es: la realidad puede ser más compleja, por ejemplo, puede tener elementos de aleatoriedad e ilógica, pero en su mayoría estructuras matemáticas completamente decidibles, que ha sido la razón de nuestra historia de éxito en la comprensión del universo utilizando las herramientas de configuración. Lógica basada en la teoría.

¡El bandido birmano de The Dark Knight!

Bruce Wayne : Los criminales no son complicados, Alfred. Sólo tengo que averiguar qué es lo que está buscando.

Alfred Pennyworth : Con respeto, Maestro Wayne, quizás este es un hombre que * usted * tampoco comprende completamente. Hace mucho tiempo, estaba en Birmania. Mis amigos y yo estábamos trabajando para el gobierno local. Estaban tratando de comprar la lealtad de los líderes tribales sobornándolos con piedras preciosas. Pero un bandido allanó sus caravanas en un bosque al norte de Rangún. Entonces, fuimos a buscar las piedras. Pero en seis meses, nunca conocimos a nadie que negociara con él. Un día, vi a un niño jugando con un rubí del tamaño de una mandarina. El bandido los había estado tirando.

Bruce Wayne : ¿Entonces por qué robarlos?

Alfred Pennyworth : Bueno, porque pensó que era un buen deporte. Porque algunos hombres no buscan nada lógico, como el dinero. No se pueden comprar, intimidar, razonar ni negociar con ellos. Algunos hombres solo quieren ver el mundo arder.

Fuente: Alfred Pennyworth (Personaje)

Incluso los problemas completamente matemáticos pueden ser indecibles. Aquí hay una lista de problemas probados e indecibles en la teoría del lenguaje formal. Gramática problemas indecidibles.

Uno de mis favoritos es el complemento de un lenguaje libre de contexto que ni siquiera es recursivo (decidible por Turing Machines).

Para problemas más indecidibles en otros campos de las matemáticas [1204.0299] Problemas indecidibles: una muestra

Fuera de una serie de eventos, cuando la probabilidad de que ocurra un evento es realmente baja, lo llamamos evento aleatorio. No tenemos la herramienta o la tecnología para medir la ocurrencia de ese evento.
Por ejemplo. La base del principio de incertidumbre se basa en la forma en que vemos las cosas que son “reflejo de la luz”. Ahora bien, si tenemos una manera de medir la posición del electrón de otra manera que no sea mediante el uso del “fotón de luz”, no habrá incertidumbre, por lo tanto, no habrá aleatoriedad. Creo que es totalmente lógico.

Algunos dirían preguntas, oraciones y órdenes.

La hipótesis del continuo. Cantor se volvió loco intentando racionalizarlo. Entonces apareció Godel y demostró que era imposible.