We should even consider that the nature of real contradiction, in so far as it distinguishes a thing from everything that it is not, was formulated for the first time by Kant, under the name of 'complete determination'.