Fabio De Martin Polo
Fabio De Martin Polo
PhD in Philosophy
PhD in Philosophy
Embedded Files
I am currently employed at the School for Advanced Studies IUSS in Pavia on a research fellowship funded by Fondazione Cariplo, under the mentorship of Silvia De Toffoli.
I am currently employed at the School for Advanced Studies IUSS in Pavia on a research fellowship funded by Fondazione Cariplo, under the mentorship of Silvia De Toffoli.
I am currently running the project PHILPROOF - The Philosophy of Proof-Theoretic Practice.
I am currently running the project PHILPROOF - The Philosophy of Proof-Theoretic Practice.
About me
About me
After obtaining my PhD in the Department of Philosophy I at the Ruhr University Bochum, I worked as a postdoctoral fellow at the Institute of Computer Science of the Czech Academy of Sciences in Prague, on both projects TRUST and SIMILE.
After obtaining my PhD in the Department of Philosophy I at the Ruhr University Bochum, I worked as a postdoctoral fellow at the Institute of Computer Science of the Czech Academy of Sciences in Prague, on both projects TRUST and SIMILE.
I am a member of the Logicians Liberation League, under the nickname “Ackermann’s Constant Companion”.
I am a member of the Logicians Liberation League, under the nickname “Ackermann’s Constant Companion”.
Research interests
Research interests
I mainly work, and have worked, in structural proof theory for non-classical logics, especially on sequent calculi for relevant and constructive logics, as well as their modal variants.
I mainly work, and have worked, in structural proof theory for non-classical logics, especially on sequent calculi for relevant and constructive logics, as well as their modal variants.
At the moment, I am splitting my time between this technical work and research in the philosophy of logic and the philosophy of mathematical practice, where I am particularly interested in epistemological issues. I am also drawn to the history of logic, and I am currently looking at Wittgenstein’s remarks on logic and mathematics.
At the moment, I am splitting my time between this technical work and research in the philosophy of logic and the philosophy of mathematical practice, where I am particularly interested in epistemological issues. I am also drawn to the history of logic, and I am currently looking at Wittgenstein’s remarks on logic and mathematics.
Page updated
Google Sites
Report abuse