The philosopher who for the first time taught logic as a formal discipline was

A. Aristotle
B. Plato
C. Socrates
D. Edward Thorndike