*Please note that I changed my name, from Hasen Joseph Khudairi and Timothy Alison Bowen, to David Hyrulaolmec Elohim, in April, 2024. My entries here are archived under the name, David Elohim.
Research Topics:
Foundations of Mathematics; Mathematical and Philosophical Logic;
Formal Epistemology; Epistemic Modality and Hyperintensionality; Philosophy of Modal Logic; Hyperintensional Semantics; Metaphysics and Cognitive Science of Mind; Feminist Philosophy
AOS:
Mathematical and Philosophical Logic [set theory and philosophy of 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; the access problem; the epistemology of mathematics; mathematical ontology)
Epistemology (epistemic modal and hyperintensional semantics; epistemic logic; epistemic mathematics; modal epistemology; epistemology of mathematics; conceivability; the apriori)
Metaphysics (mathematical objects; modal ontology; consciousness; grounding)
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 physical 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 physical illness]
M.A., Philosophy. Columbia University. (2010-2012)
B.A. (Hons.), Philosophy. Johns Hopkins University. (2005-2008)
