For semantics in the traditional style, full abstraction may be understood roughly as the requirement that operational equivalence coincides with denotational equality.
Interpretive argumentation is pertinent to the humanities, hermeneutics, literary theory, linguistics, semantics, pragmatics, semiotics, analytic philosophy and aesthetics.