Ciencia formal que se ocupa del estudio de las leyes del razonamiento correcto o válido.