traditional logic Synonyms