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.