Actually, you are off a few hundred years. Read Descartes (of "Cartesian Coordinates" .. his "methods" in the translated original please). Deductive logics and proofs were well understood and in use. The more precise statement would be that mathematical deductive logic preceded later forms such as set theory logic (or boolean algebra).

In fact it was the turn of 19th century when logicians addressed expressly finding a means to merge the different forms of deductive logic that had emerged. (Which brought us modern computing.)

It is only with neural network (discrimination/classification) systems using Hebbian and other fundamentally statistical computations) that we have addressed the inductive logic which remains the weak link in any deductive system in expressing truth.