Greek philosopher who was the student of Socrates