Skip to main content

Dr Florian Steinberger

Positions held:
  • Reader in Philosophy, School of Historical Studies
Email
  • Overview

    Overview

    Biography

    Florian Steinberger was educated at the University of Paris I, Panthéon-Sorbonne where he took a Maîtrise in philosophy and in mathematical logic. He then crossed the Channel to pursue graduate work at the University of Cambridge under the supervision of Michael Potter where he received his Ph.D. in 2009. From 2008 to 2011, he held a Junior Research Fellowship at Queens’ College, Cambridge. Before joining Birkbeck in spring 2015, Florian was Assistant Professor in Logic and Philosophy of Language at the Ludwig-Maximilians University, Munich and the Munich Center for Mathematical Philosophy. He continues to be an external member of the MCMP.

  • Research

    Research

    Research interests

    • Philosophy of logic, language, and mathematics, (formal) epistemology, rationality

    Research Centres and Institutes

  • Supervision and teaching

    Supervision and teaching

    Supervision

    Supervisions within Birkbeck:
    2

    Current doctoral researchers

    • KHASHAYAR IRANI
      Nature of supervision:
      Principal Supervisor, onwards
      Title of thesis:
      How Can Logical Inferentialism Be Formulated In A Classical Framework?
      Description:

      The fundamental aim of my PhD thesis is to answer the question: 'How Can Logical Inferentialism Be Formulated In A Classical Framework?' The general accepted view is logical inferentialism, as a proof-theoretic meaning framework, is a purely an intuitionistic semantic project and it can only be employed by the intuitionist since classical logic is unable to satisfy the logical Inferentialist's standards. However I believe this is wrong since classical logic, similar to intuitionism, can fulfil the logical Inferentialist's standards if it is formulated in a specific manner. Therefore to elucidate my thesis question in an efficient method, I will very briefly provide some introductory definitions about logical inferentialism and talk about its fundamental standards that is: the principle of answerability, the possession of a well-behaved single-conclusion natural deduction system and the inferential meaning of logical constants. Subsequently I should state the inferential shortcomings that standard formulation of classical logic faces to satisfy these standards and then describe my systematic solutions to these problems.

    Teaching

    Teaching modules

    • Introduction to Philosophy (SSPL074S7)
    • Research in Practical Philosophy (SSPL158S7)
    • Knowledge and Reality (SSPL234S4)
    • Logic (Level 6) (SSPL238S6)
    • Language and Metaphysics (Level 7) (SSPL255S7)
    • Foundational Debates in AI (Level 7) (SSPL295S7)
  • Publications

    Publications

    Article