Debido a que el razonamiento sólido es un componente fundamental de todas las ciencias, las ciencias sociales y las disciplinas humanísticas, la lógica llegó a considerarse una ciencia formal.