SEMANTICS: The study of meaning in formal and natural languages using
logic as an instrument. Formal and logical languages are both seen as sets of sentences of which the
truth conditions have to be specified relative to a model, an abstract representation of the world. This means that logical semantics can be described as truth-conditional
semantics and model-theoretic semantics.
Montague Grammar is the most detailed example of a semantic theory for natural language based on the principles of logical semantics.
|LIT.||Gamut, L.T.F. (1991)|