Negatio contrarii door Hoffmann