Klev (original) (raw)

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

• A type-theoretical Curry paradox and its solution. Philosophical Quarterly, vol. 75, pp. 763-774 (Preprint|Link)
• "Sind die Zahlformeln beweisbar?". The Architecture and Archeaology of Modern Logic (Springer), edited by A. Klev, pp. 181-201. (Preprint|Link)
• Propositions as types. International Encyclopedia of Language and Linguistics, 3rd edition. To appear. (PDF available upon request)
• The purely iterative conception of set. Philosophia Mathematica, vol. 32, pp. 358-378. (Preprint | Link)
• Aspects of a logical theory of assertion and inference. Theoria, vol. 90, pp. 534-555. (Preprint | Link)
• Martin-Löf on the validity of inference. Perspectives on Deduction (Springer), edited by A. Piccolomini d'Aragona, pp. 171-185. (Preprint | Link)
• Modality and the structure of assertion. Logica Yearbook 2022, pp. 39-53. (PDF)
• Spiritus asper versus lambda: On the nature of functional abstraction. Notre Dame Journal of Formal Logic, vol 64, pp. 205–223. (Link | Preprint)
• 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

• David Corfield. "Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy." History and Philosophy of Logic, vol 44, pp. 337–342. Co-authored with Colin Zwanziger. (Link | Preprint)
• 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