Sophie Emilie Nagler
  • Arché Philosophical Research Centre
    17 - 19 College Street
    Room 17.101
    St Andrews
    KY16 9AA

Personal profile

Research overview

I am doing a joint PhD in Philosophy, Logic, Language and Computation at the University of St Andrews and the Institute for Logic, Language and Computation of the University of Amsterdam. I am working on proof-theoretic semantics.

Research Interests

A fan of the mathematical philosophy movement, I love applying all kinds of formal methods to philosophical problems.

  • logic: proof theory, n-sided sequent calculi
  • philosophy of language: formal semantics, inferentialism
  • philosophy of science: feminist approaches, philosophy of psychology, value-ladenness, underdetermination, theory choice
  • history of philosophy: Carnap, Logical Empiricism, medieval logic


My supervisors are Greg Restall, Luca Incurvati, and Franz Berto. I am a postgraduate member of Arché.

Prior to my PhD, I did the postgraduate Bachelor of Philosophy at the University of Oxford as well as some graduate studies at the Munich Center for Mathematical Philosophy. Before that, I completed a BA in Philosophy and Psychology at LMU Munich.

I am fully funded by the Douglas and Gordon Bonnyman Scholarship. Prior to that, I was a fellow of the Studienstiftung des deutschen Volkes and the Max Weber Programme of Bavaria.

My pronouns are she/they.

Equality and Diversity

I care about making academia more accessible for all. I am the chapter coordinator of Minorities and Philosophy (MAP) St Andrews-Stirling as well as a co-director of the Taskforce for Gender Minorities for Minorities and Philosophy (MAP) International. I am the editor for Philosophy of Science and Mathematics for the Diversity Reading List.

Education/Academic qualification

Doctor of Philosophy, Philosophy, Logic, Language and Computation, University of St Andrews / Institute for Logic, Language and Computation, University of Amsterdam

Sept 2022Sept 2026

Bachelor of Philosophy, Philosophy, University of Oxford

Oct 2019Aug 2022

Master of Arts, Logic and Philosophy of Science (discontinued in favour of a PhD), Munich Center for Mathematical Philosophy, Ludwig Maximilian University of Munich

Oct 2019Mar 2022

Bachelor of Arts, Philosophy and Psychology, Ludwig Maximilian University of Munich

Oct 2016Jul 2019


  • BC Logic
  • B Philosophy (General)
  • Q Science (General)
  • BF Psychology


Dive into the research topics where Sophie Emilie Nagler is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or