यांत्रिक या "औपचारिक" तर्क के अध्ययन पुरातनता में दार्शनिकमन अउ गणितज्ञमन  के साथ शुरू होइस।