analytische logik Synonym