Founded by Aristotle as a science, logic lays down the rules that govern reason in its hypothetico-deductive calculations and reasoning. Unsolvable paradoxes show the limits of any formalism, or rather the impossibility of any absolute formalism.