El MUH ha sido criticado por ser completamente trivial (o “libre de contenido”), pero creo que puede ser posible no solo afirmarlo sino matemáticamente demostrarlo.
El siguiente bosquejo de prueba se basa en el Principio de explosión.
Este principio dice que de una oración lógica Y su negación, es posible derivar cualquier cosa (y, por lo tanto, una lógica que se acomoda a una oración y su negación como verdadera es generalmente considerada inútil porque puede apartarnos de las afirmaciones verdaderas). a los falsos).
Como una breve desviación, en realidad hay una rama de las matemáticas de la que muy pocas personas han oído hablar, a saber, Matemáticas inconsistentes. Esto se basa en una rama de la lógica llamada lógica paraconsistente, que se distingue por negar el principio de explosión.
- ¿Una persona iluminada se preocuparía más por ciertas personas que por otras?
- ¿Se pueden reconciliar los logros personales y la paz interior?
- ¿Existe realmente algo normal?
- Si todo está formado por nuestros cerebros, incluidos todos los sentidos, entonces, ¿cómo podemos decir que cualquier cosa existe?
- ¿Qué piensan los psicólogos, psiquiatras, filósofos o personas que han estudiado el pensamiento racional o temas relacionados con la ficción de fanáticos de Harry Potter, Harry Potter y los métodos de racionalidad?
Lo que evita que la lógica paraconsistente (en realidad las lógicas, porque hay una familia de ellas) se vuelva trivial es que, dependiendo de la formulación específica, algunos otros principios válidos e intuitivos de la deducción lógica tampoco están permitidos. Típicamente, esos son los que se usan para probar que la conjunción de una declaración y su negación conduce a cualquier conclusión arbitraria, por lo que la prueba del principio de explosión está “bloqueada”.
Muy bien, después del desvío anterior, un posible bosquejo de prueba podría ser el siguiente:
1. Si el MUH es verdadero, entonces toda estructura matemática existe en alguna manifestación física
(Sub-prueba)
2. Supongamos que MUH es cierto
3. Entonces, toda estructura matemática existe en alguna manifestación física.
4. Cualquier proposición formal es una estructura matemática.
5. El principio de explosión se puede aplicar a cualquier premisa arbitraria para llegar a una conclusión arbitraria y dar un número infinito de casos para cada posible combinación de declaraciones arbitrarias.
6. Cada instancia del principio de explosión es una proposición formal.
7. Por lo tanto, cada instancia del principio de explosión es una estructura matemática.
8. Por lo tanto, cada instancia del principio de explosión tiene una manifestación física.
9. Por lo tanto, MUH es trivial.
(fin de la sub-prueba)
10. Por lo tanto, si MUH es verdadera, entonces es trivial.
Una parte crítica de esto es el paso 4., que puede desafiarse afirmando que las proposiciones formales no son estructuras matemáticas sino “átomos” (en el sentido teórico de conjuntos), y que estas no necesariamente deben corresponder a estructuras matemáticas.
En ese caso, uno puede construir una Categoría finita de dos objetos que consta de las siguientes tres entidades matemáticas
1. La clase cuyos objetos son los conjuntos de premisas y conclusiones conectadas por consecuencia lógica.
2. El conjunto [math] Hom (P, C) [/ math] de las consecuencias lógicas que llevan a uno desde las premisas hasta las conclusiones.
3. Una operación binaria asociativa con un morfismo de identidad para cada uno de los objetos que obedecen a la composición.
Dado que una categoría es una estructura matemática, y el principio de explosión está bajo tal construcción un subconjunto del conjunto hom de esta categoría particular, que parece justificar considerarlo como una estructura matemática.
Tal vez debería decir explícitamente que lo que dice este bosquejo de prueba es que MUH implica algo mucho más fuerte de lo que se cree que conlleva. Una declaración de la MUH limita su dominio de aplicabilidad a las “estructuras matemáticas”, pero si la prueba pasa, la MUH no se limita a las estructuras matemáticas en absoluto:
Si el MUH es verdadero, entonces cualquier “estructura” que sea, incluidas las oraciones falsas o inconsistentes (e incluso cadenas de letras sin sentido, si se codifican como conclusiones), tiene una manifestación física. Entonces, suponiendo que la prueba sea correcta, muestra que MUH es trivial en este sentido.