summaryrefslogtreecommitdiff
path: root/linguistics
diff options
context:
space:
mode:
authorJJ2024-05-05 23:36:43 +0000
committerJJ2024-05-05 23:36:43 +0000
commit7c50841fc33c3ce5e65c12bcbc85f11c2af8ba0c (patch)
tree0a4ac457b4a421a3e52544031605f51af6de19b6 /linguistics
parent500512d7c1ea685db03413349e5696190498b4f2 (diff)
meow
Diffstat (limited to 'linguistics')
-rw-r--r--linguistics/semantics.md14
-rw-r--r--linguistics/syntax.md1
2 files changed, 12 insertions, 3 deletions
diff --git a/linguistics/semantics.md b/linguistics/semantics.md
index 105a0fd..96bbb17 100644
--- a/linguistics/semantics.md
+++ b/linguistics/semantics.md
@@ -23,16 +23,20 @@ This framework is [first-order/predicate logic](../mathematics/logic) and the [s
### 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?
+Formal semantics begets a formal system for such semantics, and *first-order logic* and *the lambda calculus* are a natural fit. Semantics is the study of meaning - and what is logic but a system for expressing meaning? 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).
+[*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, for a worse introduction, see [logic](../mathematics/logic), and [the 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.
+With basic logic and the lambda calculus under our belt, we may simply get straight to assigning *meaning* to language. We consider two *basic types* to start: the type of entities, $e$, and the type of truth values, $t$. Our function types we denote by ordered pairs: that is, a function from $e$ to $t$ is of type $⟨e,t⟩$. This is perhaps clunkier notation than the type-theoretic $e→t$, but it is what it is. (And does avoid issues of precedence.)
### Entities and Functions
+> I am Alice.
+> Alice is bad.
+> The blue pigeon flew away.
+
### Quantification
### Reference
@@ -49,6 +53,10 @@ With basic logic and the lambda calculus as our base, we may simply get straight
### Command, Request, Obligation
+> Alice, run!<br>
+> Alice, please run.<br>
+> Alice should run.
+
### Questions
## Resources
- ✨ [Invitation to Formal Semantics](https://eecoppock.info/bootcamp/semantics-boot-camp.pdf)
diff --git a/linguistics/syntax.md b/linguistics/syntax.md
index f9f1333..de6a0b9 100644
--- a/linguistics/syntax.md
+++ b/linguistics/syntax.md
@@ -530,6 +530,7 @@ Consider the following sentences:
With our current knowledge, we would diagram these sentences near-identically. Yet a closer investigation reveals that they are in fact deeply structurally different.
- *It seems Alice sleeps a lot.*
- \* *It hopes Alice sleeps a lot.*
+
## Advanced Syntax
### on languages other than english