Richmond Thomason

Richmond Hunt Thomason (born 1939) is an American philosopher, logician, and computer scientist. He is professor emeritus of philosophy, linguistics, and electrical engineering and computer science at the University of Michigan, where he previously held the James B. and Grace J. Nelson Professorship.

Thomason is known for his work on modal and tense logic, the semantics of natural language, deontic logic, and the logical foundations of knowledge representation in artificial intelligence. He edited the influential collection Formal Philosophy: Selected Papers of Richard Montague and has authored widely used textbooks, including Symbolic Logic: An Introduction and, with Zoltán Gendler Szabó, the textbook Philosophy of Language. He is a fellow of the Association for the Advancement of Artificial Intelligence and a managing editor of Studia Logica.