Montague, Richard Merett (1930–71)

Richard Montague was a logician, philosopher and mathematician. His mathematical contributions include work in Boolean algebra, model theory, proof theory, recursion theory, axiomatic set theory and higher-order logic. He developed a modal logic in which necessity appears as a predicate of sentences, showing how analogues of the semantic paradoxes relate to this notion. Analogously, he (with David Kaplan) argued that a special case of the surprise examination paradox can also be seen as an epistemic version of semantic paradox. He made important contributions to the problem of formulating the notion of a ‘deterministic’ theory in science.