*Please note that I changed my name, from Hasen Joseph Khudairi and Timothy Alison Bowen, to David Elohim, in April, 2024. My entries here are archived under the name, David Elohim.
AOS:
Mathematical and Philosophical Logic (set theory; philosophical applications of (i) modal logic, especially modal algebra, coalgebra, and the modal $\mu$-calculus (ii) dynamic epistemic logic, (iii) hyperintensional semantics, and (iv) two-dimensional semantics)
Philosophy of Mathematics (modality and hyperintensionality in mathematics; set theory; category theory; homotopy type theory; mathematical practice)
Epistemology (epistemic logic and epistemic modal and hyperintensional semantics; modal epistemology; epistemology of mathematics; conceivability; the apriori)
Metaphysics (modal ontology; mathematical objects; consciousness; grounding; hyperintensionality)
Philosophy of Mind (intentional content; consciousness; the language of thought)
AOC:
Philosophical Linguistics;
Cognitive Science;
Ethics;
Feminist Philosophy
Education:
Ph.D. Student, Philosophy. Arché Philosophical Research Centre for Logic, Language, Metaphysics, and Epistemology, University of St Andrews. (2014-2017) [withdrew, owing to illness]
Research Groups:
History and Philosophy of Logic and Mathematics (2015-2017; Convener for the group in the Fall 2016 semester)
Arché Logic Group (2014-2017)
Models, Modality, and Meaning (2014-2015)
Metaphysics (2014-2017)
Visiting Ph.D. Student. Australian National University. (2017) [declined, owing to illness]
M.A., Philosophy. Columbia University. (2010-2012)
B.A. (Hons.), Philosophy. Johns Hopkins University. (2005-2008)