I am a postdoc in the Department of Logic in the Institute of Philosophy at the Czech Academy of Sciences in Prague, currently (2017--2020) funded by a grant from the Czech Science Foundation (GAČR). Before becoming a postdoc in Prague I wrote a PhD dissertation, Categories and Logical Syntax (PDF), at Leiden University under the supervision of Göran Sundholm. 

My main research interests are in the philosophy and history of logic and mathematics. I am especially interested in Martin-Löf's type theory and the philosophy connected therewith, as well as in the works of Frege, Husserl, Carnap, Dedekind, etc. 

•Carnap on unified science. 
   Studies in History and Philosophy of Science, vol 59, pp. 53--67. (LinkPreprint)
•A proof-theoretic account of the Miners Paradox. 
   Theoria, vol 82, pp. 351--369. (LinkPreprint)
•Identity and sortals (and Caesar). 
   Erkenntnis, vol 82, pp. 1--16. (LinkPreprint)
•Dedekind's logicism. 
   Philosophia Mathematica. (Link | PDF)
•Form of apprehension and the content--apprehension model in Husserl's Logical Investigations. 
   Logical Analysis and History of Philosophy, vol 16. (PDF)
•Dedekind and Hilbert on the foundations of the deductive sciences. 
   Review of Symbolic Logic, vol 4, pp. 645--681. (PDF)
•Infinite time extensions of Kleene's O. 
   Archive for Mathematical Logic, vol 48, pp. 691--703. (PDF)

Some forthcoming work
•Husserl and Carnap on regions and formal categories. (PDF
   Essays on Husserl's Logic and Philosophy of Mathematics, edited by S. Centrone. 
•Carnap's turn to the thing language. (PDF
   To appear in an anthology on the Paris 1935 conference on unified science, edited by M. Bourdeau et al.
•A brief introduction to Martin-Löf's type theory. (PDF
   To appear as the first chapter in a book by S. Rahman et al., tentatively entitled Immanent Reasoning.
•Truthmaker semantics: Fine versus Martin-Löf (PDF
   Logica Yearbook 2016.

Appendix on higher types. PDF
Review of Gottlob Frege. Utvalgte Tekster (in Norwegian). Salongen.no
Summary of Dedekind's Supplement XI to Dirichlet's Vorlesungen über Zahlentheorie. PDF
Bibliographical information on the motto of Wittgenstein's Tractatus. PDF

Talks, recent or upcoming
•Theorem 66: Dedekind's route to infinity
    PhilMath Intersem, Université Paris Diderot, 8 June 2017.
•The logical form of identity criteria
    Logica 2017, Hejnice, 20 June 2017

anstenklev ætt gmail.com

FLÚ AV ČR, Oddělení logiky
Jilská 1
Prague 1, 110 00
Czech Republic