Martin Stokhof

Martin Stokhof

Martin Stokhof (born 1950, Amsterdam) is a Dutch logician and philosopher. Stokhof wrote a joint Ph.D. dissertation with Jeroen Groenendijk on the semantics of questions. He was also an important figure in the development of dynamic semantics (together with Groenendijk, Veltman and others). He is a former director of the Institute for Logic, Language and Computation at the University of Amsterdam. He is also known for his work on Ludwig Wittgenstein. Stokhof is a member of the group collectively publishing under the pseudonym L. T. F. Gamut.

References



Wikimedia Foundation. 2010.

Игры ⚽ Нужно решить контрольную?

Look at other dictionaries:

  • List of logicians — A logician is a person, such as a philosopher or mathematician, whose topic of scholarly study is logic. The famous logicians are listed below in English alphabetical transliteration order (by surname).compactTOC NOTOC A * Nate Ackerman (USA,… …   Wikipedia

  • Johan van Benthem — Johan van Benthem, eigentlich Johannes Franciscus Abraham Karel van Benthem (* 12. Juni 1949 in Rijswijk), ist ein niederländischer mathematischer und philosophischer Logiker. Van Benthem studierte zunächst Physik (Bachelor Abschluss 1969) und… …   Deutsch Wikipedia

  • L. T. F. Gamut — was a collective pseudonym for the Dutch logicians Johan van Benthem, Jeroen Groenendijk, Dick de Jongh, Martin Stokhof and Henk Verkuyl. Logic, Language and Meaning is one of the most authoritative and widely used graduate textbook in formal… …   Wikipedia

  • Institute for Logic, Language and Computation — The Institute for Logic, Language, and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate.ILLC s central research area is the study …   Wikipedia

  • Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”