1930 – 1971
Richard Montague (1930–1971) was an American logician and philosopher whose work in formal semantics and the application of model-theoretic methods to natural language revolutionized linguistics and philosophy of language. He developed what became known as Montague Grammar, demonstrating that natural language could be treated with the same rigorous formal tools as logical systems. His contributions to tense logic and intensional logic remain foundational in both analytic philosophy and formal linguistics.
Developed Montague Grammar, the first systematic formal treatment of natural language using model-theoretic semantics
Extended intensional logic to handle tense, modality, and quantification in natural language
Proved the undefinability of semantic truth in formal systems, extending Tarski's work
Formalized the treatment of future contingents within tense logic
Established the principle that there is no important theoretical difference between formal and natural languages