Georg Schiemer is a Postdoctoral Research Fellow at the MCMP as well as an external Lecturer at the Department of Philosophy, University of Vienna. His main research interests are in the history and philosophy of logic, early analytic philosophy, and philosophy of mathematics. In 2010, he completed a PhD degree at the University of Vienna with a thesis on Rudolf Carnap’s early model theory. Georg is currently working on a research project titled “Between Logicism and Metalogic – Nonfoundational Uses of Type Theory” financed by the Austrian Research Fund (FWF). He is recipient of an Erwin-Schrödinger Fellowship sponsored by the FWF.