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