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