Difference between revisions of "Logical semantics"
Jump to navigation
Jump to search
Wohlgemuth (talk | contribs) m (utrecht) |
Haspelmath (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | + | '''Logical semantics''' is the study of [[meaning]] in [[formal language|formal]] and [[natural language]]s using [[logic]] as an instrument. Formal and logical languages are both seen as sets of sentences of which the [[truth condition]]s 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. | |
=== Link === | === Link === | ||
| Line 8: | Line 8: | ||
* Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | * Gamut, L.T.F. 1991. ''Logic, language, and meaning,'' Univ. of Chicago Press, Chicago. | ||
| + | |||
| + | ===Other languages=== | ||
| + | German [[logische Semantik]] | ||
{{dc}} | {{dc}} | ||
[[Category:Semantics]] | [[Category:Semantics]] | ||
Latest revision as of 10:21, 17 February 2009
Logical semantics is 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.
Link
Utrecht Lexicon of Linguistics
References
- Gamut, L.T.F. 1991. Logic, language, and meaning, Univ. of Chicago Press, Chicago.
Other languages
German logische Semantik
