"cassical sentential calculus" Deutsche bedeutung