"symbolic logic" Deutsche bedeutung