*Please note that I changed my name, from Hasen Joseph Khudairi and Timothy Alison Bowen, to David Elohim, in April, 2024. Please cite my published book and papers under `Elohim, David'.
Research Topics:
-Philosophy of Mathematics
-Formal Epistemology
-Mathematical and Philosophical Logic
-Hyperintensional Semantics
-Metaphysics and Cognitive Science of Mind
-Feminist Philosophy
AOS:
-Philosophy of Mathematics
-Epistemology
-Philosophical Logic
Philosophy of Mathematics (modality and hyperintensionality in mathematics; the epistemology of mathematics; the access problem; mathematical ontology)
Mathematical and Philosophical Logic [set theory and philosophy of set theory; philosophical applications of (i) modal logic, especially modal correspondence theory, modal algebra, coalgebra, and the modal $\mu$-calculus
(ii) dynamic epistemic logic, (iii) hyperintensional semantics, and (iv) two-dimensional semantics]
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)
