Full Idea
Socrates aimed to establish formal logic, of whose syllogisms essences are the foundations. He developed inductive arguments and also general definitions.
Clarification
'Syllogisms' use pure logic, and 'induction' builds on experience
Gist of Idea
Socrates developed definitions as the basis of syllogisms, and also inductive arguments
Source
report of Socrates (reports of career [c.420 BCE]) by Aristotle - Metaphysics 1078b
Book Reference
Aristotle: 'Metaphysics', ed/tr. Lawson-Tancred,Hugh [Penguin 1998], p.402