Ansten Klev is a researcher in the Institute of Philosophy at the Czech Academy of Sciences in Prague, where has been since 2015. Before moving to Prague, he obtained a Ph D in philosophy under Göran Sundholm at Leiden University. Most of his work concerns philosophical aspects of Per Martin-Löf”s constructive type theory. A topic of special interest, on which he has published a number of articles, has been the treatment of identity within this type theory. His other research interests include the philosophies of logic and mathematics more broadly, as well as the words and works of Rudolf Carnap, Richard Dedekind, Gottlob Frege, and Edmund Husserl.
2 Ebooks by Ansten Klev
Shahid Rahman & Zoe McConaughey: Immanent Reasoning or Equality in Action
This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and fi …
PDF
English
€53.49
Ansten Klev: The Architecture and Archaeology of Modern Logic
This book honors the original and influential work by Göran Sundholm in the fields of the philosophy and history of logic and mathematics. Borne from two conferences held in Paris and Leiden on the o …
PDF
English
€149.79
