b. 1937
Richmond H. Thomason is an American logician and philosopher known for his contributions to formal semantics, intensional logic, and computational linguistics. He has worked extensively on the intersection of philosophical logic, artificial intelligence, and the semantics of natural language, including pioneering work on conditional logic and pragmatics.
Edited the influential collection 'Formal Philosophy: Selected Papers of Richard Montague' (1974)
Developed foundational work in intensional logic and tense logic
Contributed to the formal semantics of conditionals and modal logic
Advanced research on the integration of logic, linguistics, and artificial intelligence
Authored 'Symbolic Logic: An Introduction' (1970)