blob: 105a0fd01de2c1af9601fd9fb8789324a3941c33 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
---
layout: linguistics
title: linguistics/semantics
---
# notes on semantics
Semantics is the study of **meaning**.
How do we know what sentences are true and which are false?<br>
What does it *mean* for a sentence to be true?<br>
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 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)
|
