In logic and semantics , denotational always attracts the extension meaning `` in the pair '' , but the other element genuinely varies . In logic and formal semantics , denotation always attracts the extension meaning of the intension \/ extension pair , but the other element genuinely varies .