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.