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 • The harmony of identity. • A road map of Dedekind's Theorem 66. • A brief introduction to Martin-Löf's type theory. In S. Rahman et al., Immanent Reasoning (Springer), pp. 17--55. (Preprint | Link) Note: the preprint is the recommended source. • The logical form of identity criteria. • The concept horse is a concept. • Husserl's logical grammar. • Husserl and Carnap on regions and formal categories. Essays on Husserl's Logic and Philosophy of Mathematics (Springer), ed. S. Centrone, pp. 409--429. (Preprint | Link) • The justification of identity elimination in Martin-Löf's type theory. • Truthmaker semantics: Fine versus Martin-Löf. • 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 • A comparison of type theory with set theory. (PDF) To appear in Reflections on the Foundations of Mathematics (Springer), edited by D. Kant and D. Sarikaya. In Norwegian • Review of Øystein Linnebo. Philosophy of Mathematics. Salongen.no Talks, recent or upcoming • The name of the sinus function. LOGICA 2018. Hejnice, 18-22 June, 2018. • Definition by abstraction in Martin-Löf type theory. Varieties of Mathematical Abstraction. Vienna, 1-3 August, 2018. • Meaning explanations. Axiomatic Mathematics and Phenomenology. Bucharest, 3-4 September, 2018. Contact anstenklev ætt gmail.com FLÚ AV ČR, Oddělení logiky Jilská 1 Prague 1, 110 00 Czechia |