Nicola Bonatti

Research interests

My research focuses on the philosophy of logic and mathematics, as linked by semantic and epistemological concerns about meaning and understanding. On the one hand, I'm interested in how reasoning about arbitrary instances is adopted for logical and mathematical proofs. More precisely, in my MPhil dissertation, I compared the expressive resources of the classical quantifiers with those of Hilbert's epsilon-operator, i.e., a choice operator extending first-order logic. On the other hand, for my PhD dissertation, I'm investigating the role of formalization in the epistemology of mathematics. More precisely, I consider how to evaluate the adequacy of axiomatic theories with respect to their intended interpretations.