From 93689618c67e8d6f5db9702097d614d3fbd1ab57 Mon Sep 17 00:00:00 2001
From: JJ
Date: Sun, 17 Mar 2024 13:26:54 -0700
Subject: meow

---
 linguistics/semantics.md | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'linguistics/semantics.md')

diff --git a/linguistics/semantics.md b/linguistics/semantics.md
index 7615145..fc7feb2 100644
--- a/linguistics/semantics.md
+++ b/linguistics/semantics.md
@@ -11,3 +11,10 @@ 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 to denote *set membership*.
+
+
+## Resources
+- ✨ [Invitation to Formal Semantics](https://eecoppock.info/bootcamp/semantics-boot-camp.pdf)
-- 
cgit v1.2.3-70-g09d2