Redan 1846 blef KattkolF professor ilogik