Lo que generalmente significa se remonta al método de inferencia deductiva de Aristóteles, específicamente el método de construir conclusiones a partir de premisas o suposiciones razonables.
Se encontró que ciertos axiomas como ‘x = x’, ‘x no es igual al opuesto de x a menos que x lo sea todo’ y ‘si las conclusiones x e y son diferentes, la respuesta es x o y u otra cosa, no todas de los anteriores ‘fueron especialmente lógicos.
Discutir usando el menor número de tales premisas es lo que significa ser axiomático.
- ¿Por qué la identidad de Parseval puede implicar la siguiente ecuación?
- ¿Hay alguna prueba de que una secuencia de dígitos finita dada debe existir en algún lugar dentro de una secuencia de dígitos infinitamente larga y aleatoria?
- Cómo entender cuántos años ordinarios y bisiestos hay en un número determinado de años
- ¿Qué significa bien definido en matemáticas?
- ¿Cuáles son algunos ejemplos de la vida real del orden de las operaciones?
El desafío es defender una teoría significativa sin hacer más suposiciones que conclusiones.
En mi propio sistema, llamado deducción categórica, reemplazo los supuestos de escoger y elegir con supuestos sistémicos diseñados para trabajar con alguna forma de conocimiento absoluto sobre cualquier cosa. El método es superficialmente similar a las analogías.
Llamo a mi sistema axio-METRIC para distinguirlo del sistema anterior. Es un sistema que cuantifica las cualidades en conjuntos relativamente coherentes, produciendo lo que yo llamo conocimiento “absoluto de 1 grado”.
También está diseñado de tal manera que el número de declaraciones de verdad es típicamente la raíz cuadrada del número total de categorías, produciendo eficiencia. Sin embargo, las cuatro alternativas sistemáticas a las categorías (realismo ingenuo, irracionalidad, paradojas e incoherencia) también deben considerarse con plena conciencia.
Tardíamente, aquí hay un enlace a mi método de deducción categórica coherente: la respuesta de Nathan Coppedge a ¿Qué es la deducción categórica?