Semantics

It examines the meaning of terms and propositions within logic.