I am doing a joint PhD in Philosophy, Logic, Language and Computation at the University of St Andrews and the Institute for Logic, Language and Computation of the University of Amsterdam.
A fan of the mathematical philosophy movement, I love applying all kinds of formal methods to philosophical problems.
- logic: proof theory, sequent calculi, classical logic, multi-valued logics, intuitionistic logic, modal logics, relevance logics
- philosophy of language: formal semantics, proof-theoretic semantics, inferentialism, modalities
- philosophy of science: feminist approaches, theory choice, value-ladenness, u…