La lógica.

Es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida.

Examina la validez de los argumentos en términos de su estructura, (estructura lógica), independientemente del contenido específico del discurso y de la lengua utilizada en su expresión y del los estados reales a los que dicho contenido se pueda referir. Lo que significa que es una ciencia formal.

Tradicionalmente ha sido considerada como una parte de la filosofía. Pero en su desarrollo histórico, a partir del final del siglo XIX, y su formalización simbólica ha mostrado su íntima relación con las matemáticas; de tal forma que algunos la consideran como Lógica matemática.

En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia.  Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.

Los filósofos racionalistas, al situar el origen de la reflexión filosófica en la conciencia, aportaron, a través del desarrollo del análisis como método científico del pensar, los temas que van a marcar el desarrollo de la lógica formal.

La palabra lógica ha sido utilizada como lógica trascendental por KANT, en el sentido de investigar los conceptos puros a priori del entendimiento o categorías trascendentales.

MÍSTICA.