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