De acuerdo, no soy exactamente un lógico, pero déjame intentar decir algo “lógico”:
1) Toda regla requiere que asumas axiomas sobre el sistema. Los axiomas son declaraciones que asumimos que son ciertas, sin requerir una prueba. Tenemos una opción al hacer axiomas, y una vez hecho esto, no puedes cambiarlos.
2) Se dice que un sistema es inconsistente si al comenzar con una selección de axiomas puede encontrar una afirmación que puede demostrarse que es verdadera y falsa al mismo tiempo.
3) Un sistema está completo si se puede probar que cada afirmación es verdadera o falsa. Entonces, decir que un sistema está incompleto significaría que hay una afirmación que no se puede probar que sea verdadera ni falsa.
4) Esta es la parte fresca. Un lógico llamado Kurt Gödel demostró ser un teorema (este es el tipo de cosas que hacen famosos a los matemáticos) y afirma que, dado cualquier sistema con una selección de axiomas, será inconsistente o incompleto.
5) La incoherencia o el carácter incompleto requieren que tenga excepciones. En el primero, todo su sistema colapsará debido a axiomas defectuosos. En este último, tendría una regla que no se aplica a alguien.
- Sin mal no hay bien. ¿Tiene esta afirmación algún sentido en absoluto?
- Cuando surge un conflicto entre la mente y el cuerpo de un individuo, ¿debe el cuerpo adaptarse a la mente o la mente al cuerpo?
- ¿Cuál sería la naturaleza de un universo completamente determinista?
- Según Platón, ¿todo lo que existe en el cosmos también existe en el mundo de las ideas?
- ¿Qué significa la lógica para ti? ¿Están la moral y la lógica unidas entre sí?