"substitute logic" Deutsche bedeutung