Lógica
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, 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.
Lógica empírica
Y esto ocurre de manera eficaz cuando esta materia es aceptada como conocimiento verdadero que permite una explicación teórica mediante un lenguaje formalizado, cuyo ideal es la lógica deductiva; por ello desde el principio la lógica y las matemáticas se han considerado como la manifestación perfecta de la ciencia junto con la especulación metafísica.