Semantics
Home
>
Philosophy
>
Logic
>
Inference
>
Semantics
It examines the meaning of terms and propositions within logic.