El estudio del razonamiento mecánico o "formal" comenzó con filósofos y matemáticos en la antigüedad.