Mi comprensión de los axiomas es que son verdades autoevidentes que no requieren prueba, lo que en mi opinión es similar a una creencia dogmática en el sentido de que el dogma es un conjunto de creencias o doctrinas que se establecen como indudablemente verdaderas.
Axioma es una afirmación que se considera válida dentro de una teoría particular. Uno puede combinar los axiomas para probar cosas dentro de esa teoría. Uno puede agregar o quitar axiomas a la teoría para obtener otra teoría:
Euclides : ... 5. Si un segmento de recta se corta a dos rectas que forman dos ángulos interiores del mismo lado que suman menos de dos ángulos rectos, entonces las dos rectas, si se prolongan indefinidamente, se encuentran en el lado en el que la suma de los ángulos a menos de dos ángulos rectos.
Lobachevsky : ... lo que dice Euclides excepto (5)
Los dogmas son axiomas de teorías culturales, religiosas y políticas. Nuevamente, uno puede agregar o eliminar dogmas para obtener una nueva teoría, por ejemplo:
Arrio : ...el Hijo no es ingénito... antes de que fuera engendrado, creado, propuesto o establecido, no lo era.
Concilio de Nicea : ... los que dicen: 'Hubo un tiempo en que no estaba;' ... son condenados por la santa Iglesia católica y apostólica.
La diferencia es que está perfectamente bien manejar diferentes conjuntos de axiomas en, digamos, matemáticas y demostrar un teorema en geometría euclidiana un día y un teorema en lobachevskiano al día siguiente, simplemente recordando cuándo se cumple o no el quinto postulado, pero no se considera aceptable tener varios conjuntos de dogmas a la vez. Life of Pi proporciona una ilustración de la controversia de tal postura (el personaje principal es hindú, musulmán y católico al mismo tiempo y a sus hermanos en los dogmas no les gusta compartirlo con la competencia).
Estoy seguro de que los primeros geómetras eran mucho más religiosos acerca de sus dogmas axiomáticos que los matemáticos modernos, pero no tengo pruebas.
Un axioma es algo que es evidentemente verdadero; es tan obvio que no hay controversia al respecto. En matemáticas, solo tienes que aceptar algunas nociones muy básicas para evitar el razonamiento circular. Estos no se pueden probar, pero siempre (ya menudo muy fácilmente) se pueden observar.
Ejemplo de los Elementos de Euclides:
Nociones comunes:
Las cosas que son iguales a la misma cosa también son iguales entre sí (Propiedad transitiva de la igualdad).
Si se suman iguales a iguales, entonces los enteros son iguales.
Si se restan iguales de iguales, entonces los residuos son iguales.
Las cosas que coinciden entre sí son iguales (Propiedad Reflexiva).
El todo es mayor que la parte.
O un ejemplo de lógica proposicional:
Si:
- una es verdad
- B es cierto
Después
- A&B es verdad
Un dogma se refiere a una enseñanza (generalmente religiosa) que se considera indudable y absolutamente verdadera. Es algo que aceptas sin ninguna observación directa; los dogmas son aceptados por la fe solamente.
Debo agregar que algunas personas dirían que no hay diferencia entre axiomas y dogmas, porque las 'verdades evidentes por sí mismas' están en algún sentido basadas en la fe; es decir, aceptas con fe que cualquier cosa que parezca obvia y evidente es verdad. Una lectura interesante sobre este tema es Sobre la certeza de Wittgenstein . También quiero enfatizar que no quiero decir que un axioma sea "mejor" que un dogma religioso (o viceversa).
En las religiones, algunas personas (deberían ser la mayoría) aceptan la existencia de Dios por creencia. mientras que una minoría de ellos acepta a Dios por observación (a través de la meditación, etc.). Al creer, la fe puede ser sacudida. Por experiencia directa (el equilibrio perfecto entre atención plena y concentración), simplemente está ahí, no hay duda al respecto.
Al comenzar con un conjunto de axiomas, puede terminar con una contradicción. Esto indica que uno de los axiomas está equivocado. Luego averiguas cuál es y lo rechazas. (Esta es una simplificación, pero suficiente para responder esta pregunta).
Cuando no se le permite rechazar el axioma incluso cuando ha demostrado con éxito que es falso, el axioma que no se le permite rechazar ahora es un dogma.
estrella Lunar