A él se debe la primera formulación del silogismo y del razonamiento inductivo.