Ansten Klev

I am a researcher (vědecký pracovník) in the Department of Logic in the Institute of Philosophy at the Czech Academy of Sciences in Prague. Before moving to Prague, I wrote a PhD dissertation, Categories and Logical Syntax (PDF), at Leiden University under the supervision of Göran Sundholm. Besides Leiden, I have studied in Oslo, Amsterdam, and Montreal.

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. Anyone with a similar interest may want to consult this repository of transcriptions.

Articles 

• The Axiom of Choice is false intuitionistically (in most contexts).  Bulletin of Symbolic Logic, vol 29, pp. 71–96. (Open access link). Co-authored with David McCarty and Stewart Shapiro.

• Identity in Martin-Löf type theory. Philosophy Compass, vol 17(2),  e12805. (Preprint | Link).  Note: the preprint is the recommended source. 

• Carnap et les catégories. Cahiers philosophiques, n° 161, pp. 27–40. (Proofs | Link)

• Symbol and number.  Meta: Research in Hermeneutics, Phenomenology, and Practical Philosophy, vol 11(2), pp. 640–658. (Link) 

• A comparison of type theory with set theory. Reflections on the Foundations of Mathematics (Springer), edited by S. Centrone, D. Kant and D. Sarikaya, pp. 271–292. (Link | Preprint)

• Eta-rules in Martin-Löf type theory.  Bulletin of Symbolic Logic, vol 25, pp. 333–359. (Link | Preprint)

• The name of the sinus function.  Logica Yearbook 2018 (College Publications), pp. 149–159. (PDF)

• The harmony of identity.  Journal of Philosophical Logic, vol 48, pp. 867-884.  (Link | Preprint)

• Carnap's turn to the thing language.  Philosophia scientiae, vol 22(3), pp. 179–198. (Link | Preprint) 

• A road map of Dedekind's Theorem 66.  HOPOS, vol 8, pp. 241–277. (Link | Preprint)

• A brief introduction to constructive 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.  Logica Yearbook 2017 (College Publications), pp. 181–195. (PDF)

• The concept horse is a concept.  Review of Symbolic Logic, vol 11, pp. 547–572. (Link | Preprint) 

• Husserl's logical grammar.  History and Philosophy of Logic, vol 39, pp. 232–269. (Link | Preprint)

• 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.  Topoi, vol 38, pp. 577–590. (Preprint | Link)

• Truthmaker semantics: Fine versus Martin-Löf.  Logica Yearbook 2016 (College Publications), pp. 87–108. (PDF) 

• Carnap on unified science.  Studies in History and Philosophy of Science, vol 59, pp. 53–67. (Link | Preprint)

• A proof-theoretic account of the Miners Paradox.  Theoria, vol 82, pp. 351–369. (Link | Preprint)

• Identity and sortals (and Caesar).  Erkenntnis, vol 82, pp. 1–16. (Link | Preprint)

• Dedekind's logicism.  Philosophia Mathematica, vol 25, pp. 341–368. (Link | Preprint)

• Form of apprehension and the content–apprehension model in Husserl's Logical Investigations. Logical Analysis and History of Philosophy, vol 16, pp. 49–.69. (Preprint)

• Dedekind and Hilbert on the foundations of the deductive sciences. Review of Symbolic Logic, vol 4, pp. 645–681. (Link | Preprint)

• Infinite time extensions of Kleene's O.  Archive for Mathematical Logic, vol 48, pp. 691–703. (Link)

Reviews

• Mattthias Wille. Gottlob Frege und der posthume Ruhm and Gottlob Frege wider den Zeitgeist (double review). Philosophia Mathematica, vol 28, pp. 426–430. (Link | Preprint)

•  Øystein Linnebo. Philosophy of Mathematics. Salongen.no

• Gottlob Frege. Utvalgte Tekster. Salongen.no

Contact

anstenklev ætt gmail.com