he could see all of these events , and the words that described them , each symbolized into logical calculations and saw how all the premises could be derived with the usual logical operators , modus ponens , modus tollens , all of them unfolding into an elegant , logically consistent and ordered existence .