Irene Heim

[1]​[2]​ Su tesis de 1982 de la Universidad de Massachusetts Amherst La semántica de las frases sustantivales definidas e indefinidas se considera un texto clásico y un hito importante en la semántica formal.En el segundo capítulo de la obra argumentó (desarrollando una visión del filósofo David Lewis) que las frases sustantivales indefinidas como un gato en la oración Si un gato no está en Atenas, no está en Rodas no son cuantificadores, sino variables libres vinculadas por un operador existencial insertadas en la oración por una operación semántica que llamó cierre existencial.En el tercer capítulo de la obra desarrolló una teoría dinámica compositiva de (in)definidos.Esta obra, junto con la aproximadamente contemporánea "Teoría de la Verdad y la Representación Semántica" de Hans Kamp (1981), se convirtió en la obra fundacional en la influyente tradición de semántica dinámica y el primer fragmento dinámico compositivo.En 2010, Irene Heim fue galardonada con una beca senior del Zukunftskolleg en la Universidad de Constanza.