La filosofía es una ciencia que de forma cuidadosa y detallada, busca dar respuesta a una variedad de interrogantes como por ejemplo, la existencia, la mente, la moral, la belleza, el conocimiento, la verdad y el lenguaje. Al tratar estas incógnitas, la filosofía trata de alejarse de lo espiritual, del esoterismo , y de la mitología al enfocarse en pruebas racionales más que en argumentos de autoridad.
Las ciencias formales (lógica y matemática) utilizan el método axiomático-deductivo. Dicho método consiste en tomar como punto de partida una serie de axiomas (del griego αξιωμα: aquello que es considerado como verdadero sin necesidad de prueba o demostración) y, a partir de ellos proceder deductiva mente. Definiciones: Corrección: Modificación que se hace en una cosa o a una persona para corregir sus faltas, errores, defectos o imperfecciones. Consistencia: propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal y un aparato deductivo (axiomas y reglas de inferencia), no es posible deducir una fórmula y su negación. Completitud: En una lógica de primer órden, toda fórmula que es válida en un sentido lógico es demostrable.
Comentarios
Publicar un comentario