"classical logic" Deutsche bedeutung