Alex (or “Arc”) is a PhD student in the Group in Logic and the Methodology of Science. He mainly works in philosophical logic (in particular modal logic). His research interests intersect with philosophy of language, metaphysics, and philosophy of science.
Arc’s dissertation is on the expressive power of quantified modal languages. He is aiming to both mathematically characterize the relative expressive power of large classes of quantified modal languages using modern model-theoretic techniques from the study of modal logic, and to assess their philosophical relevance to debates over modal primitivism, natural language ontology, and more. He is also working on a variety of semantic and philosophical issues surrounding counterfactuals, explanation, and identity.
On the side, Arc thinks about grounding, time, and decision theory. In the more distant past, he has worked on topics such as fatalism, partial logics, de se skepticism, fiction, the nature of propositions, and (the lack of) emergence in condensed matter physics.