Johan Anthony Willem Kamp (born 1940, Den Burg, Texel

Texel

Texel is a municipality and an island in the Netherlands, in the province of North Holland. It is the biggest and most populated of the Frisian Islands in the Wadden Sea, and also the westernmost of this archipelago, which extends to Denmark...

, North Holland

North Holland

North Holland |West Frisian]]: Noard-Holland) is a province situated on the North Sea in the northwest part of the Netherlands. The provincial capital is Haarlem and its largest city is Amsterdam.-Geography:...

) is a Dutch philosopher and linguist, responsible for introducing Discourse Representation Theory

Discourse representation theory

Discourse Representation Theory is a framework for exploring meaning under a formal semantics approach. One of the main differences between DRT-style approaches and traditional Montagovian approaches is that DRT-style approaches include a level of abstract mental representations within its...

 (DRT) in 1981. Kamp received a Ph.D. in Philosophy from UCLA

UCLA Department of Philosophy

The UCLA Department of Philosophy is a constituent department of the Division of Humanities in the UCLA College of Letters and Science. From the mid-20th century, the department has been a leading and widely respected center for the study of Analytic Philosophy, especially Mathematical Logic,...

 in 1968. His dissertation, Tense Logic and the Theory of Linear Order (1968) is devoted to functional completeness in tense logic, the main result being that all temporal operators are definable in terms of "since" and "until" - provided that the underlying temporal structure is a continuous linear ordering. Kamp's 1971 paper on "now" (Theoria) was the first employment of double-indexing in model theoretic semantics

Semantics

Semantics is the study of meaning. It focuses on the relation between signifiers, such as words, phrases, signs and symbols, and what they stand for, their denotata....

. His doctoral committee included Richard Montague

Richard Montague

Richard Merett Montague was an American mathematician and philosopher.-Career:At the University of California, Berkeley, Montague earned an B.A. in Philosophy in 1950, an M.A. in Mathematics in 1953, and a Ph.D. in Philosophy 1957, the latter under the direction of the mathematician and logician...

 as chairman, Chen Chung Chang

Chen Chung Chang

Chen Chung Chang is a mathematician who works in model theory. He obtained his PhD from Berkeley in 1955 on "Cardinal and Ordinal Factorization of Relation Types" under Alfred Tarski. He wrote the standard text on model theory. Chang's conjecture is named after him...

, Alonzo Church

Alonzo Church

Alonzo Church was an American mathematician and logician who made major contributions to mathematical logic and the foundations of theoretical computer science. He is best known for the lambda calculus, Church–Turing thesis, Frege–Church ontology, and the Church–Rosser theorem.-Life:Alonzo Church...

, David Kaplan

David Kaplan (philosopher)

David Benjamin Kaplan is an American philosopher and logician teaching at UCLA. His philosophical work focuses on logic, philosophical logic, modality, philosophy of language, metaphysics, and epistemology. He is best known for his work on demonstratives, on propositions, and on reference in...

, Yiannis N. Moschovakis

Yiannis N. Moschovakis

Yiannis Nicholas Moschovakis is a set theorist, descriptive set theorist, and recursion theorist, at UCLA. For many years he has split his time between UCLA and University of Athens . His book Descriptive Set Theory is the primary reference for the subject...

, and Jordan Howard Sobel.

See also

• Anaphora (linguistics)
  Anaphora (linguistics)
  In linguistics, anaphora is an instance of an expression referring to another. Usually, an anaphoric expression is represented by a pro-form or some other kind of deictic--for instance, a pronoun referring to its antecedent...
  
  
• Donkey pronoun
  Donkey pronoun
  A donkey pronoun is a pronoun that is bound in semantics but not syntax.Some writers prefer the term donkey anaphora, since it is the referential aspects and discourse or syntactic context that are of interest to researchers . The terms d-type or e-type pronoun are also used, mutually exclusively,...
  
  
• Donkey sentence
  Donkey sentence
  Donkey sentences are sentences that contain a certain type of anaphora, such as:* Every farmer who owns a donkey beats it.* Every police officer who arrested a murderer insulted him....
  
  
• Irene Heim
  Irene Heim
  Irene Roswitha Heim is a linguist and noted specialist in semantics. She was a professor at the University of Texas at Austin and UCLA before finally moving to the Massachusetts Institute of Technology in 1989, where she is Professor of Linguistics and Head of the Linguistics Section of the...
  
  
• Lambda calculus
  Lambda calculus
  In mathematical logic and computer science, lambda calculus, also written as λ-calculus, is a formal system for function definition, function application and recursion. The portion of lambda calculus relevant to computation is now called the untyped lambda calculus...
  
  
• Montague grammar
  Montague grammar
  Montague grammar is an approach to natural language semantics, named after American logician Richard Montague. The Montague grammar is based on formal logic, especially higher order predicate logic and lambda calculus, and makes use of the notions of intensional logic, via Kripke models...
  
  
• Quantification
  Quantification
  Quantification has several distinct senses. In mathematics and empirical science, it is the act of counting and measuring that maps human sense observations and experiences into members of some set of numbers. Quantification in this sense is fundamental to the scientific method.In logic,...
  
  
• Two-dimensional semantics