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. Publications •Carnap on unified science. •A proof-theoretic account of the Miners Paradox. •Identity and sortals (and Caesar). •Dedekind's logicism. •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. Misc. 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 Contact anstenklev ætt gmail.com FLÚ AV ČR, Oddělení logiky Jilská 1 Prague 1, 110 00 Czech Republic |