Mekanis atau "resmi" penalaran telah dikembangkan oleh filsuf dan matematikawan sejak zaman purba.
Studi indik penalaran mekanis utawi "formal" kakawitin antuk para filsuf miwah matematikawan ring zaman kuna.