Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
Lógica de primer orden
Una cuestión fundamental en lógica es estudiar las relaciones que se establecen en los cálculos entre las estructuras sintácticas y sus interpretaciones semánticas que se establecen en los cálculos. Este estudio proporciona una visión de la utilidad del cálculo como herramienta deductiva. Pues bien la disciplina que estudia los cálculos lógicos es la Metalógica y las propiedades importantes que pretende establecer para estos cálculos son Consistencia, Completitud y Decidibilidad .