.
La lógica es una rama fundamental de la filosofía que se ocupa del estudio del razonamiento correcto y las estructuras del pensamiento , pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
