Welcome to the course

Welcomes you to the course and introduces the lecturelet.

Discusses the nature of compositional meaning, and its benefits for semanticists.

Discusses different expressions and how we need to keep them distinct

Techniques on building contexts and using stimuli to gather semantic evidence.

Examines relationships like contradiction and synonymy, and discusses why they're useful..

Explores entailment in detail, notably upward and downward entailment.

Discusses the nature of semantic ambiguity and some of its sources.

Introduces the concept of felicity, and the different ways that expression can be "bad" in the semantics.

Introduces the concept of saturation.

A new way for propositions to relate to each other.

Reading: Huang

Introduces concepts of reference and the various types of definiteness

Reading : Lyons

Introduces various types of modification

Types of pronouns

Introduction to pragmatics

Negation

Introduction to temporal encoding

(Handout = Klein reading)

Introduces what formal semantics is and why we use it.

Absolute introduction to set theory

What is a meaning? How do we express it? And what are those weird double brackets, anyways?

Abstracting over a set to find a property that applies to its members.

Important relations between sets

Introduces functions in a broad sense

Introduces characteristic functions, and links them to denotations and abstracted sets

Introduces composition and compositional processes, starting with the three most basic compositional rules.

Rules: TN, NN, FA

Discusses ordered pairs, a useful concept.

Introduces the common and useful way to write functions.

What happens when a verb (and a function) has two arguments?

Why we use if and only if in our functions

Introduces and discusses type-driven interpretation

Time to take functional application to the next level!!!

Crucial discussion on how we formalize meanings, involving the word the

Formalizes modification

Rule: PM

Analytically figure out how prepositions compose.

Introduces assignment functions

How we use variable assignments to interpret pronoun reference

Rule: LT, PR

Links phi-features to presuppositional content

Review of how to turn truth-conditional sets into functions, especially when we want the function to be saturated in a certain way.

How to modify an assignment to our whims

How do we build relative clauses? What do traces mean? And more broadly: How can we add arguments to a formal expression?

Rule: PA

How binding works in the semantics

Simpler ways to write things, now that we know what they're simplifications of.

Discusses the basic concepts behind how the grammar is organized, and the semantics' place in it, so that we can see just what linguistic objects we're trying to explain the meaning of.

Sketches out how nominal expressions are built.

Situates the base-generation of subjects inside the VP.

Introduces the notion of quantification, and some of the key concepts.

Quantification with a, some

Quantification with all, every, each

Quantification with no, none as determiners.

Introduction to scope relations

Quick practice in composition

A very crucial problem with a big solution

The power of binding and a new kind of ambiguity

A monumental change to our ontology

How do we re-write our verb denotations and our adverbial denotations to fit Davidsonian events?

Discusses why we need to existentially quantify over events.

Explains how tense is tied to the context.

Introduces aspect

Formalizes tense and aspect

Exploring the internal temporal properties of event descriptions

Introducing argument structure and valency

Relation between argument stucture and Valency

Major development in linking semantics and syntax

Read Saeed Ch 6 in advance

More of a syntax lecturelet, but fitting here

A way to add thematic roles to the composition

Problems with thematic roles make us wonder if we even need them.

Reading: Williams Ch 6, Dowty 1991

A very important asymmetry, and our first decomposition of the argument structure.

Reading: Kratzer 1996

Breaking down events