"pengkajian tentang penalaran mekanik atau "formal" dimulai lawan filsuf lawan matematikawan di zaman bahari."