Kamp nació en Den Burg (Texel), Países Bajos, en 1940. Cursó Física y Matemáticas en la Universidad de Leiden (B.A., 1961) y obtuvo el Doctorado en Lógica, Fundamentos de la Matemática y Filosofía de las ciencias empíricas en la Universidad de Ámsterdam (1965). Se doctoró en Filosofía en Universidad de California en Los Ángeles (1968) con la tesis Tense Logic and the Theory of Linear Order bajo la dirección de Richard Montague.^[1]​ Su tribunal incluyó a Chen Chung Chang, Alonzo Church, David Kaplan, Yiannis N. Moschovakis y Jordan Howard Sobel.^[2]​

Inició su carrera como profesor asistente de Filosofía en la Universidad Cornell (1968–1970) y luego en Matemáticas en la Universidad de Ámsterdam (1970–1971). Fue lecturer y reader en Filosofía en la Universidad de Londres (1971–1983), profesor en la Universidad de Massachusetts Amherst (1982–1984) y en la Universidad de Texas en Austin (1984–1988). En 1988 asumió la cátedra de Lógica formal y Filosofía del lenguaje en el Instituto para el Procesamiento del Lenguaje Natural (IMS) de la Universidad de Stuttgart, donde enseñó hasta su jubilación en 2008. Entre 2009 y 2017 fue profesor visitante de Lingüística y Filosofía en laUniversidad de Texas en Austin.

En los años sesenta y setenta, Kamp trabajó en lógica temporal influido por Arthur Prior. Introdujo técnicas de doble indexación para tratar el tiempo deíctico, un antecedente clave de su posterior enfoque dinámico del significado.^[3]​

En Free Choice Permission, Kamp formuló el célebre rompecabezas del permiso de libre elección (por ejemplo, Puedes tomar té o café ⇒ parece autorizar cada disyunto), que abrió un programa de investigación sobre modalidad, disyunción y fortalecimiento inferencial.^[4]​^[5]​

Su ensayo A Theory of Truth and Semantic Representation (1981) presentó la DRT, un marco que dinamiza la interpretación: el significado de una oración actualiza una estructura de representación del discurso (DRS) que acumula referentes, condiciones e información contextual, posibilitando explicar la anáfora interoracional, los oraciones burro, la cuantificación dependiente del contexto, la proyección de presuposiciones y los efectos de foco/información nueva. La versión canónica sería From Discourse to Logic (1993), libro escrito junto a Uwe Reyle.^[6]​ La DRT se desarrolló independientemente y en paralelo con File Change Semantics and the Familiarity Theory of Definiteness de Irene Heim,^[7]​ convergencia que dio lugar a la semántica dinámica contemporánea.^[8]​^[9]​

Actualizaciones y panoramas de la DRT aparecen en capítulos posteriores de manuales de semántica formal.^[10]​^[11]​ En estos se sistematizan el cálculo de DRS de primer orden, la resolución anafórica, la presuposición como acomodación y extensiones para nombres propios, especificidad epistémica y estructura informativa.^[12]​

Kamp desarrolló una teoría de la referencia temporal en textos con y sin marcas temporales explícitas.^[13]​^[14]​ ^[15]​

Junto con Nicholas Asher, Kamp propuso una arquitectura representacional para actitudes (i.e., creer, saber, desear) y autorreferencia.^[16]​ ^[17]​ En años recientes ha articulado MSDRT (Mental State DRT), una extensión de la DRT a representaciones de estados mentales y su dinámica en la comprensión del discurso.^[18]​^[19]​^[20]​

En The Paradox of the Heap (1981) abordó el sorites desde la lógica y la semántica.^[21]​ Más tarde, con Galit Sassoon, contribuyó al tratamiento formal de la vaguedad.^[22]​ Con Barbara H. Partee defendió la compatibilidad entre teoría de prototipos y composicionalidad.^[23]​

La DRT se convirtió en un marco de referencia en semántica y pragmática, y motivó desarrollos como la Lógica Predicativa Dinámica,^[24]​ además de nutrir el análisis de definitud, nombres propios, cuantificación, presuposición y actitudes.

En 2024, la Real Academia de las Ciencias de Suecia otorgó a Kamp y Heim el premio Schock por la “concepción y desarrollo temprano de la semántica dinámica del lenguaje natural”.^[25]​

Kamp recibió el Max-Planck-Forschungspreis (1992, junto con Partee)^[26]​ y el Premio Jean Nicod (1996).^[27]​

Es un miembro correspondiente de la Academia Británica (1997), miembro de la Academia Europæa (2006) y miembro internacional honorario de la Asociación Estadounidense para el Avance de la Ciencia (2015). Se le ha sido otorgado del grado de doctor honoris causa por la Universidad de Tilburg (1987) y la Université de Lorraine (2014).^[26]​

• Kamp, Hans (1971). "To the memory of Arthur Prior Formal properties of ‘now’". Theoria 37 (3): 227-273.
• Kamp, Hans (1973). “Free Choice Permission”. Proceedings of the Aristotelian Society 74: 57–74.
• Kamp, Hans (2002). "A Theory of Truth and Semantic Representation", in: P. H. Portner & B. H. Partee (eds), Formal Semantics - the Essential Readings. Blackwell. pp. 189-222. Reprint 2004.
• Kamp, Hans (2024). “Can’t Believe It Went By So Fast”, Annual Review of Linguistics 10 (10): 1-16.
• Kamp, Hans; Partee, Barbara (1995). "Prototype theory and compositionality". Cognition 57 (2): 129-191.
• Kamp, Hans; Reyle, Uwe (1993). From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Springer Dordrecht.
• Kamp, Hans; Reyle, Uwe (1996). "A calculus for first order Discourse Representation Structures". Journal of Logic, Language and Information 5 (3): 297-348.
• Kamp, Hans; Rohrer, Christian (1983), "Tense in texts", in: R. Bäurle, C. Schwarze & A. von Stechow (eds), Meaning, use, and interpretation of language, Walter de Gruyter, p. 250-269.
• Kamp, Hans; Van Genabith, Josef; Reyle, Uwe (2011). "Discourse Representation Theory", in: Gabbay, Dov M. (ed), Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic. Springer Netherlands. pp. 125-394.

• Anáfora (gramática)
• Oración burro
• Cálculo lambda
• Alonzo Church
• David Kaplan
• Jordan Howard Sobel
• Arthur Prior
• Irene Heim
• Barbara H. Partee

1. ↑ Kamp, Johan Anthony Willem (1968). Tense Logic and the Theory of Linear Order (en inglés). University of California, Los Angeles. Consultado el 17 de agosto de 2025. 
2. ↑ JOHAN ANTHONY WILLEM KAMP. «CURRICULUM VITAE». 
3. ↑ Kamp, Hans (1971-12). «To the memory of Arthur Prior Formal properties of ‘now’». Theoria (en inglés) 37 (3): 227-273. ISSN 0040-5825. doi:10.1111/j.1755-2567.1971.tb00071.x. Consultado el 17 de agosto de 2025. 
4. ↑ Kamp, Hans (1 de junio de 1974). «IV—Free Choice Permission». Proceedings of the Aristotelian Society (en inglés) 74 (1): 57-74. ISSN 1467-9264. doi:10.1093/aristotelian/74.1.57. Consultado el 17 de agosto de 2025. 
5. ↑ Starr, William (15 de octubre de 2016). «Expressing Permission». Semantics and Linguistic Theory (en inglés): 325-349. ISSN 2163-5951. doi:10.3765/salt.v26i0.3832. Consultado el 17 de agosto de 2025. 
6. ↑ Kamp, Hans; Reyle, Uwe (1993). «From Discourse to Logic». Studies in Linguistics and Philosophy (en inglés). ISSN 0924-4662. doi:10.1007/978-94-017-1616-1. Consultado el 17 de agosto de 2025. 
7. ↑ Heim, Irene (13 de febrero de 2012). Bäuerle, Rainer, ed. File Change Semantics and the Familiarity Theory of Definiteness (en inglés). De Gruyter. pp. 164-189. ISBN 978-3-11-085282-0. doi:10.1515/9783110852820.164. Consultado el 17 de agosto de 2025. 
8. ↑ Geurts, Bart; Beaver, David I.; Maier, Emar (22 de mayo de 2007). Discourse Representation Theory (en inglés). Consultado el 17 de agosto de 2025. 
9. ↑ Kamp, Hans (2002-01). Portner, Paul, ed. A Theory of Truth and Semantic Representation (en inglés) (1 edición). Wiley. pp. 189-222. ISBN 978-0-631-21541-7. doi:10.1002/9780470758335.ch8. Consultado el 17 de agosto de 2025. 
10. ↑ Agnes Bende-Farkas, Hans Kamp. «DRT: An Updated Survey». 
11. ↑ Kamp, Hans; Van Genabith, Josef; Reyle, Uwe (2011). Gabbay, Dov M., ed. Discourse Representation Theory (en inglés). Springer Netherlands. pp. 125-394. ISBN 978-94-007-0485-5. doi:10.1007/978-94-007-0485-5_3. Consultado el 17 de agosto de 2025. 
12. ↑ Geurts, Bart (2022). McNally, Louise, ed. On Kamp’s “A Theory of Truth and Semantic Representation” (en inglés). Springer International Publishing. pp. 197-204. ISBN 978-3-030-85308-2. doi:10.1007/978-3-030-85308-2_11. Consultado el 17 de agosto de 2025. 
13. ↑ Kamp, Hans (1979). Bäuerle, Rainer, ed. Events, Instants and Temporal Reference 6. Springer Berlin Heidelberg. pp. 376-418. ISBN 978-3-642-67460-0. doi:10.1007/978-3-642-67458-7_24. Consultado el 17 de agosto de 2025. 
14. ↑ Kamp, Hans; Rohrer, Christian (13 de febrero de 2012). Bäuerle, Rainer, ed. Tense in Texts (en inglés). De Gruyter. pp. 250-269. ISBN 978-3-11-085282-0. doi:10.1515/9783110852820.250. Consultado el 17 de agosto de 2025. 
15. ↑ Reyle, Uwe; Rossdeutscher, Antje; Kamp, Hans (2007-10). «Ups and downs in the theory of temporal reference». Linguistics and Philosophy (en inglés) 30 (5): 565-635. ISSN 0165-0157. doi:10.1007/s10988-008-9027-0. Consultado el 17 de agosto de 2025. 
16. ↑ Asher, Nicholas M.; Kamp, Johan A. W. (1 de enero de 1986). Halpern, JOSEPH Y., ed. THE KNOWER'S PARADOX AND REPRESENTATIONAL THEORIES OF ATTITUDES. Morgan Kaufmann. pp. 131-147. ISBN 978-0-934613-04-0. doi:10.1016/b978-0-934613-04-0.50012-0. Consultado el 17 de agosto de 2025. 
17. ↑ Asher, Nicholas and Kamp, Hans (1989) Self-Reference, Attitudes and Paradox. In Chierchia, Gennaro and Partee, Barbara Hall and Turner, Raymond (Eds.): Properties, Types and Meaning, Volume I: Foundational Issues. Dordrecht, Kluwer Academic. pp. 85-158.
18. ↑ Kamp, Hans (2022). «The links of causal chains». Theoria (en inglés) 88 (2): 296-325. ISSN 1755-2567. doi:10.1111/theo.12381. Consultado el 17 de agosto de 2025. 
19. ↑ Kamp, Hans (28 de octubre de 2021). Sharing real and fictional reference (en inglés). Oxford University Press. pp. 37-87. ISBN 978-0-19-884637-6. doi:10.1093/oso/9780198846376.003.0003. Consultado el 17 de agosto de 2025. 
20. ↑ Kamp, Hans (1 de mayo de 2015). «Using Proper Names as Intermediaries Between Labelled Entity Representations». Erkenntnis (en inglés) 80 (2): 263-312. ISSN 1572-8420. doi:10.1007/s10670-014-9701-2. Consultado el 17 de agosto de 2025. 
21. ↑ Kamp, Hans (1981). Mönnich, Uwe, ed. The Paradox of the Heap (en inglés). Springer Netherlands. pp. 225-277. ISBN 978-94-009-8384-7. doi:10.1007/978-94-009-8384-7_8. Consultado el 17 de agosto de 2025. 
22. ↑ Kamp, Hans; Sassoon, Galit W. (2016). Aloni, Maria, ed. Vagueness. Cambridge Handbooks in Language and Linguistics. Cambridge University Press. pp. 389-441. ISBN 978-1-139-23615-7. doi:10.1017/cbo9781139236157.015. Consultado el 17 de agosto de 2025. 
23. ↑ Kamp, Hans; Partee, Barbara (1 de noviembre de 1995). «Prototype theory and compositionality». Cognition 57 (2): 129-191. ISSN 0010-0277. doi:10.1016/0010-0277(94)00659-9. Consultado el 17 de agosto de 2025. 
24. ↑ Groenendijk, Jeroen; Stokhof, Martin (1 de febrero de 1991). «Dynamic predicate logic». Linguistics and Philosophy (en inglés) 14 (1): 39-100. ISSN 1573-0549. doi:10.1007/BF00628304. Consultado el 17 de agosto de 2025. 
25. ↑ «Science, art and music meet in the Rolf Schock Prizes 2024». Kungl. Vetenskapsakademien (en inglés británico). 14 de marzo de 2024. Consultado el 17 de agosto de 2025. 
26. ↑ ^{a b} «Hans Kamp | Collège de France». www.college-de-france.fr (en inglés). 2 de septiembre de 2022. Consultado el 17 de agosto de 2025. 
27. ↑ «Prof. Dr. h.c., PhD Hans Kamp | Institute for Natural Language Processing | University of Stuttgart». www.ims.uni-stuttgart.de (en inglés). Consultado el 17 de agosto de 2025. 

• Perfil de Hans Kamp en el IMS Stuttgart
• Currículum Vitae de Hans Kamp
• Nota bio-académica y líneas de trabajo recientes por el Collège de France