Hans Kamp

Last updated
Hans Kamp
Hans Kamp.jpg
Born5 September 1940 (1940-09-05) (age 83)
Era Contemporary philosophy
Region Western philosophy
School Analytic philosophy
Main interests
Philosophy of Language, Semantics
Notable ideas
Discourse representation theory

Johan Anthony Willem "Hans" Kamp (born 5 September 1940) [1] is a Dutch philosopher and linguist, responsible for introducing discourse representation theory (DRT) in 1981. [2] [3]

Contents

Kamp was born in Den Burg. [1] He received a Ph.D. in Philosophy from UCLA in 1968, and has taught at Cornell University, University of London, University of Texas, Austin, and University of Stuttgart. [4] His dissertation, Tense Logic and the Theory of Linear Order (1968) [5] was 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" (published in Theoria ) was the first employment of double-indexing in model theoretic semantics. His doctoral committee included Richard Montague as chairman, Chen Chung Chang, David Kaplan, Yiannis N. Moschovakis, and Jordan Howard Sobel.

Kamp became a corresponding member of the Royal Netherlands Academy of Arts and Sciences in 1997. [6] He was awarded the Jean Nicod Prize in 1996 [7] and was elected a Fellow of the American Academy of Arts & Sciences in 2015. [8] In 2024 he was awarded the Rolf Schock Prize jointly with Irene Heim. [9]

Publications

See also

Hans Kamp's personal webpage

Related Research Articles

<span class="mw-page-title-main">Dana Scott</span> American logician (born 1932)

Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.

The Rolf Schock Prizes were established and endowed by bequest of philosopher and artist Rolf Schock (1933–1986). The prizes were first awarded in Stockholm, Sweden, in 1993 and, since 2005, are awarded every three years. Each recipient currently receives SEK 400,000. A similar prize is the Kyoto Prize in Arts and Philosophy, established by the Inamori Foundation. It is considered the equivalent of the Nobel Prize in Philosophy.

<span class="mw-page-title-main">Rolf Schock</span> Swedish–American philosopher and artist

Rolf Schock was a Swedish–American philosopher and artist, born in Cap-d'Ail, France of German parents.

<span class="mw-page-title-main">Richard Montague</span> American mathematician (1930–1971)

Richard Merritt Montague was an American mathematician and philosopher who made contributions to mathematical logic and the philosophy of language. He is known for proposing Montague grammar to formalize the semantics of natural language. As a student of Alfred Tarski, he also contributed early developments to axiomatic set theory (ZFC). For the latter half of his life, he was a professor at the University of California, Los Angeles until his early death, believed to be a homicide, at age 40.

In logic, linear temporal logic or linear-time temporal logic (LTL) is a modal temporal logic with modalities referring to time. In LTL, one can encode formulae about the future of paths, e.g., a condition will eventually be true, a condition will be true until another fact becomes true, etc. It is a fragment of the more complex CTL*, which additionally allows branching time and quantifiers. LTL is sometimes called propositional temporal logic, abbreviated PTL. In terms of expressive power, linear temporal logic (LTL) is a fragment of first-order logic.

Irene Roswitha Heim is a linguist and a leading specialist in semantics. She was a professor at the University of Texas at Austin and UCLA before moving to the Massachusetts Institute of Technology in 1989, where she is Professor Emerita of Linguistics. She served as Head of the Linguistics Section of the Department of Linguistics and Philosophy.

David Benjamin Kaplan is an American philosopher. He is the Hans Reichenbach Professor of Scientific Philosophy at the UCLA Department of Philosophy. His philosophical work focuses on the philosophy of language, logic, metaphysics, epistemology and the philosophy of Frege and Russell. He is best known for his work on demonstratives, propositions, and reference in intensional contexts. He was elected a Fellow of the American Academy of Arts & Sciences in 1983 and a Corresponding Fellow of the British Academy in 2007.

<span class="mw-page-title-main">Jaakko Hintikka</span> Finnish philosopher and logician

Kaarlo Jaakko Juhani Hintikka was a Finnish philosopher and logician. Hintikka is regarded as the founder of formal epistemic logic and of game semantics for logic.

Ruth Garrett Millikan is a leading American philosopher of biology, psychology, and language. Millikan has spent most of her career at the University of Connecticut, where she is now professor emerita of Philosophy.

<span class="mw-page-title-main">Barbara H. Partee</span> American linguist

Barbara Hall Partee is a Distinguished University Professor Emerita of Linguistics and Philosophy at the University of Massachusetts Amherst (UMass). She is known as a pioneer in the field of formal semantics.

In formal linguistics, discourse representation theory (DRT) 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 includes a level of abstract mental representations within its formalism, which gives it an intrinsic ability to handle meaning across sentence boundaries. DRT was created by Hans Kamp in 1981. A very similar theory was developed independently by Irene Heim in 1982, under the name of File Change Semantics (FCS). Discourse representation theories have been used to implement semantic parsers and natural language understanding systems.

Martin Stokhof is a Dutch logician and philosopher. Stokhof wrote a joint Ph.D. dissertation with Jeroen Groenendijk on the semantics of questions, under the supervision of Renate Bartsch and Johan van Benthem. He was also an important figure in the development of dynamic semantics. He is also known for his work on Ludwig Wittgenstein.

In theoretical computer science and formal language theory, a regular language is said to be star-free if it can be described by a regular expression constructed from the letters of the alphabet, the empty word, the empty set symbol, all boolean operators – including complementation – and concatenation but no Kleene star. The condition is equivalent to having generalized star height zero.

Jeroen Antonius Gerardus Groenendijk, was a Dutch logician, linguist and philosopher, working on philosophy of language, formal semantics, pragmatics.

In semantics, donkey sentences are sentences that contain a pronoun with clear meaning but whose syntactic role in the sentence poses challenges to linguists. Such sentences defy straightforward attempts to generate their formal language equivalents. The difficulty is with understanding how English speakers parse such sentences.

Dynamic semantics is a framework in logic and natural language semantics that treats the meaning of a sentence as its potential to update a context. In static semantics, knowing the meaning of a sentence amounts to knowing when it is true; in dynamic semantics, knowing the meaning of a sentence means knowing "the change it brings about in the information state of anyone who accepts the news conveyed by it." In dynamic semantics, sentences are mapped to functions called context change potentials, which take an input context and return an output context. Dynamic semantics was originally developed by Irene Heim and Hans Kamp in 1981 to model anaphora, but has since been applied widely to phenomena including presupposition, plurals, questions, discourse relations, and modality.

This is an index of Wikipedia articles in philosophy of language

Formal semantics is the study of grammatical meaning in natural languages using formal tools from logic, mathematics and theoretical computer science. It is an interdisciplinary field, sometimes regarded as a subfield of both linguistics and philosophy of language. It provides accounts of what linguistic expressions mean and how their meanings are composed from the meanings of their parts. The enterprise of formal semantics can be thought of as that of reverse-engineering the semantic components of natural languages' grammars.

2011 in philosophy

Alice Geraldine Baltina ter Meulen is a Dutch linguist, logician, and philosopher of language whose research topics include genericity in linguistics, intensional logic, generalized quantifiers, discourse representation theory, and the linguistic representation of time. She is a professor emerita at the University of Geneva.

References

  1. 1 2 D. J. van de Kaa; Kaa; Y. de Roo (19 December 2008). De Leden Van de Koninklijke Nederlandse Akademie Van Wetenschappen: Een Demografisch Perspectief: 1808 Tot 2008. Amsterdam University Press. p. 297. ISBN   978-90-6984-552-4.
  2. Maier, Emar; Beaver, David I.; Geurts, Bart (2007-05-22). "Discourse Representation Theory".{{cite journal}}: Cite journal requires |journal= (help)
  3. "UT College of Liberal Arts: Faculty Profile Prof. Hans Kamp". liberalarts.utexas.edu. Retrieved 2019-03-20.
  4. "Prof. Dr. h.c. Hans Kamp PhD | Institute for Natural Language Processing | University of Stuttgart". www.ims.uni-stuttgart.de. Retrieved 2019-03-20.
  5. Kamp, Johan Anthony Willem (1968). Tense logic and the theory of linear order. OCLC   26523229.
  6. "J.A.W. Kamp". Royal Netherlands Academy of Arts and Sciences. Archived from the original on 31 January 2016. Retrieved 31 January 2016.
  7. "Archives - INSTITUT JEAN NICOD". www.institutnicod.org. Retrieved 2019-03-20.
  8. "Johan Anthony Willem Kamp". American Academy of Arts & Sciences. Retrieved 2019-03-20.
  9. Rolf Schock Prize 2024