"sentential calculus" Deutsche bedeutung