I am a Banting Postdoctoral Fellow and former Killam Postdoctoral Fellow at Dalhousie University. I work in philosophical logic and the philosophy of logic. My overall interest is in applying logic to help understand philosophical problems, and exploring the limitations of logic. Currently, my research project is on developing formal logics for reasoning about social institutions. That involves, among other things, developing mathematical models of rights and representing conceptions of normative consistency. I am also very interested in the justification of logical reasoning, and the role that different theories of justification play in the methodology of philosophical logic.
Reflecting Rules: A Note on Generalizing the Deduction Theorem, Journal of Applied Logic
13 (3) 2015, 188-96
Getting the Most out of Inconsistency, Journal of Philosophical Logic (In Press 18 pages)
Remarks on the Scott-Lindenbaum Theorem, Studia Logica 102 (5) 2014, 1003-1020
(with Peter Schotch)
Decidability of an Xstit Logic, Studia Logica 102 (3) 2014, 577-607