Logic door Bernard Bosanquet Hermann Lotze