Fabio De Martin Polo
Fabio De Martin Polo
PhD in Philosophy
PhD in Philosophy
Embedded Files
About me
About me
I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences in Prague and I am a member of the LogICS group.
I am currently employed at the Institute of Computer Science of the Czech Academy of Sciences in Prague and I am a member of the LogICS group.
From 2019 to 2023, I have been a PhD student in the Department of Philosophy I at the Ruhr University Bochum. Before that, I obtained a Master Degree in Philosophy from the Ca' Foscari University of Venice.
From 2019 to 2023, I have been a PhD student in the Department of Philosophy I at the Ruhr University Bochum. Before that, I obtained a Master Degree in Philosophy from the Ca' Foscari University of Venice.
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 am interested in:
I am interested in:
Proof theory (especially sequent calculi and related formalisms) and non-classical logics (relevant, constructive and paraconsistent logics as well as their modal variants);
Proof theory (especially sequent calculi and related formalisms) and non-classical logics (relevant, constructive and paraconsistent logics as well as their modal variants);
Philosophy of logic and mathematics (logical inferentialism, practice-based approaches, alternative logics, social and educational aspects), particularly the epistemology of logic and mathematics (formal languages and proofs, applications of logical systems, mathematical and logical explanation).
Philosophy of logic and mathematics (logical inferentialism, practice-based approaches, alternative logics, social and educational aspects), particularly the epistemology of logic and mathematics (formal languages and proofs, applications of logical systems, mathematical and logical explanation).
History of logic (Wittgenstein, 19th- and 20th-century philosophy of mathematics and logic, history of modal and non-classical logics, medieval logic).
History of logic (Wittgenstein, 19th- and 20th-century philosophy of mathematics and logic, history of modal and non-classical logics, medieval logic).
In relation to these areas, I have recently developed an interest in the philosophy of mathematical practice.
In relation to these areas, I have recently developed an interest in the philosophy of mathematical practice.
Alongside my research interests, I occasionally like to explore topics such as philosophy of religion, literature, gender studies, and 20th-century Italian philosophy — a legacy from my early days in philosophy.
Alongside my research interests, I occasionally like to explore topics such as philosophy of religion, literature, gender studies, and 20th-century Italian philosophy — a legacy from my early days in philosophy.
Page updated
Google Sites
Report abuse