Semantics

Home > Philosophy > Logic > Inference > Semantics

It examines the meaning of terms and propositions within logic.