diff options
| author | JJ | 2024-03-17 23:12:47 +0000 |
|---|---|---|
| committer | JJ | 2024-03-17 23:12:47 +0000 |
| commit | 1556d6faa0e87d8601e0967196046fef179d3987 (patch) | |
| tree | eb4c1b6c47a6c05c6cdd5e6526ab4335014e0c86 /linguistics/semantics.md | |
| parent | 7ab4c6463a87137be5106b7e55eaa2e50fa1096d (diff) | |
meow
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) |