Barbara H. Partee

Barbara H. Partee is an American linguist and philosopher whose work helped establish formal semantics and connect linguistic theory with logic.

Richard Montague: An American logician whose work applied formal logic to natural language. Partee developed linguistic semantics in sustained dialogue with Montague’s formal treatment of language.
Formal semantics: The study of linguistic meaning using explicit mathematical and logical models. This is the field Partee helped establish within linguistics.
Generalized quantifier theory: An approach that analyzes noun phrases as relations between sets. Partee helped bring this algebraic treatment of quantification into linguistic semantics.
Natural language and logic: The study of how human languages express logical structure and how logic can model linguistic meaning. Partee’s career made this interface a sustained research program within linguistics.
David Lewis: An American philosopher whose work shaped modern analytic philosophy, modal logic, and possible-world semantics. Lewis’s possible-world framework became central to semantic questions Partee helped bring into linguistics.
Model theory: A branch of mathematical logic that studies the relation between formal languages and their interpretations. Model-theoretic tools provide a precise account of how expressions receive interpretations.
Intensional semantics: A semantic framework that evaluates expressions relative to possible worlds or situations. It captures distinctions between necessity, possibility, belief, and other world-sensitive meanings.
Formal linguistics: The use of mathematical and logical methods to describe the structure and interpretation of language. Her work helped make formal analysis a central option across linguistic subfields.
Irene Heim: A linguist known for influential work on presupposition, definiteness, and dynamic approaches to meaning. Heim’s research extends the formal-semantic tradition Partee helped establish.
Lambda calculus: A formal system for defining functions and applying them to arguments. Lambda abstraction lets semantic representations compose when syntactic structures combine.

Linked from 2 pages

SemanticsRelated: Her research advanced the integration of formal semantic theory with linguistic structure.