Benjamin Brast-McKie
Formal, philosophical, and computational logic
I work in formal, philosophical, and computational logic, focusing on applications in verified and interpreted AI reasoning.
My research develops a unified semantics and proof system for the Logos to provide scalable oversight and verified synthetic reasoning data. The Logos is an extensible formal language of thought which currently includes tense, modal, counterfactual conditional, constitutive explanatory, and causal operators. See my research and Logos Laboratories for details.
I was previously the Stalnaker Postdoctoral Associate at MIT, having completed my B.Phil and D.Phil in Philosophy at the University of Oxford. In my D.Phil thesis I developed a complete logic for essence and ground, which 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).
I maintain a longstanding interest in Indian philosophy and aim to articulate non-dual conceptions of the self in contemporary frameworks. You can find one such attempt here.