logischen Wissenschaften von K.