Semantics: Quantificational Pronouns with Lambda Calculus

preview_player
Показать описание

We look at words like "everybody" and "somebody" and "nobody" and look at how to do their composition using lambda calculus and type theory.

Hello, welcome to TheTrevTutor. I'm here to help you learn your college courses in an easy, efficient manner. If you like what you see, feel free to subscribe and follow me for updates. If you have any questions, leave them below. I try to answer as many questions as possible.
  1. TrevTutor
  2. quantifier semantics
  3. quantifier linguistics
  4. quantifier formal semantics
  5. quantifier lambda
  6. quantifier lambda calculus
Рекомендации по теме
Semantics: Quantificational Pronouns 0:06:11

Semantics: Quantificational Pronouns with Lambda Calculus

Irene Heim - 11:09:31

Irene Heim - Features of Pronouns: The Semantics of Number, Gender, and Person

Angelika Kratzer - 5:50:03

Angelika Kratzer - Situations, Quantification Domains, and Implicatures

Why Can't 'Any' 0:08:38

Why Can't 'Any' Go Just Anywhere? NPIs

Semantics: Quantifiers In 0:16:33

Semantics: Quantifiers In Model Theory: Truth-conditional Meaning F2

Can We Define 0:11:00

Can We Define 'Must'? The Semantics of Modality

How Do We 0:09:37

How Do We Signal What's Important When We Talk? Information Structure

Syntax, Semantics & 1:29:34

Syntax, Semantics & Cognition: Luigi RIZZI, Angelika KRATZER, Ina EMMEL & Roberta PIRES DE O...

Existence and variable 0:14:55

Existence and variable domain semantics | Modal Logic | Attic Philosophy

Комментарии
Автор

Hi, I'm checking this stuff out mostly out of curiosity. I learned a little about linguistics and a little about type theory and I guess YouTube thought I'd find this interesting.

What are some things people do with this intersection between math and language?, like what are some of the practical use cases for this knowledge?

LiquidDemocracyNH
visit shbcf.ru