Care este matematicianul care a pus bazele teoriei deducției logice?

Aristotel prin doctrina despre silogism a pus bazele deducției logice.