I completed my B.Phil and D.Phil in Philosophy at the University of Oxford, and I am currently the Stalnaker Postdoctoral Associate at MIT. My work is in formal and philosophical logic and I maintain interests in the history of modern logic and the philosophy of mathematics. In my D.Phil thesis I developed a logic and semantics for essence and ground which I take to regiment constitutive explanatory readings of ‘necessary for’ and ‘sufficient for’, respectively. My thesis was supervised by Tim Williamson and James Studd and examined by Kit Fine (external) and Ofra Magidor (internal). My current research focuses on developing hyperintensional semantic theories and the corresponding logics for: (1) constitutive, causal, and normative forms of explanation; (2) counterfactual and indicative conditionals; (3) tense and various types of modal operators; and (4) relevance, logical substraction, and subject-matter. These projects are motivated by applications in formal verification and AI interpretability. See my research for further details.

Contact: brastmck [at] mit [dot] edu