He was the first to deal with the principles of contradiction and excluded middle in a systematic way.
Ήταν ο πρώτος που ασχολήθηκε με τις αρχές της αντίφασης και αποκλεισμένης μέσης με συστηματικό τρόπο.