See:
Remarks on Inner Semantics I define
propositional abstraction and demonstrate its applicability to logic and linguistics. Propositional abstraction utilizes
inner semantics as opposed to the metaphor of semantic webs. Truth-conditions, for formal propositions, can be verified without recourse to external semantical objects like models, shifts in conventional meaning, or structures thereby insulating meaning from semantic drift.