b. 1949
Martin Stokhof is a Dutch philosopher of language and formal semanticist at the University of Amsterdam, known primarily for his contributions to dynamic semantics and the formal analysis of natural language meaning. He co-developed Dynamic Predicate Logic (DPL) with Jeroen Groenendijk, a landmark framework for modeling anaphora and discourse coherence. His work bridges logic, linguistics, and philosophy of language, with ongoing interest in the foundations and limits of formal methods in semantics.
Co-developed Dynamic Predicate Logic (DPL) with Jeroen Groenendijk, extending predicate logic to handle cross-sentential anaphora
Contributed foundational work on the semantics of questions and the logic of interrogatives
Theorized the relationship between Discourse Representation Theory and dynamic semantics, clarifying that DRS accessibility is semantically entailed rather than stipulated
Critically examined the scope and limits of formal methods in the study of natural language meaning
Long-term faculty member at the Institute for Logic, Language and Computation (ILLC), University of Amsterdam