David Makinson

David Makinson is a prominent logician known for his work in deontic logic, which studies the logic of obligation and permission. He explores how we reason about what ought to be done or what is permitted, often using formal systems to express these ideas clearly. Makinson's contributions include the development of frameworks that help analyze conflicts between obligations and permissions, and how to handle changing circumstances in moral reasoning. His work is influential in understanding ethical decision-making and the logical structures that underpin our notions of duty and rights.