diff options
Diffstat (limited to 'linguistics/semantics.md')
| -rw-r--r-- | linguistics/semantics.md | 36 |
1 files changed, 35 insertions, 1 deletions
diff --git a/linguistics/semantics.md b/linguistics/semantics.md index fc7feb2..105a0fd 100644 --- a/linguistics/semantics.md +++ b/linguistics/semantics.md @@ -13,8 +13,42 @@ What conditions must hold for a sentence to be true? Formal semantics attempts to answer those questions by providing a *framework* for determining what *conditions* must hold for a sentence to be true. -This framework is [first-order/predicate logic](../mathematics/logic) and the [simply-typed lambda calculus](../plt/lambda-calculus). On top of this, we often build set theory, relying on *characteristic functions* of the lambda calculus to denote *set membership*. +This framework is [first-order/predicate logic](../mathematics/logic) and the [simply-typed lambda calculus](../plt/lambda-calculus). On top of this, we often build set theory, relying on *characteristic functions* of the lambda calculus as denotations of *set membership*. +## Basic Principles + +### Compositionality + + +### Predicate Logic & The Lambda Calculus + +Formal semantics begets a formal system for such semantics, and *first-order logic* and *the lambda calculus* are a natural fit. As discussed above, language functions by composition - and what are functions but their property of composition? + +[*An Invitation to Formal Semantics*](https://eecoppock.info/bootcamp/semantics-boot-camp.pdf) covers basic logic and the lambda calculus well in its first six chapters. Otherwise, see [logic](../mathematics/logic), and [lambda-calculus](../plt/lambda-calculus). + +## Denotational Semantics + +With basic logic and the lambda calculus as our base, we may simply get straight to assigning *meaning* to language. + +### Entities and Functions + +### Quantification + +### Reference + +### Numbers and Plurality + +### Event Semantics + +### Tense and Aspect + +## Beyond Truth + +### Necessity and Possibility + +### Command, Request, Obligation + +### Questions ## Resources - ✨ [Invitation to Formal Semantics](https://eecoppock.info/bootcamp/semantics-boot-camp.pdf) |