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

Personal profile

Research overview

I am working on proof-theoretic semantics, doing a joint PhD at the University of St Andrews and the Institute for Logic, Language and Computation of the University of Amsterdam. My work is interdisciplinary, combining ideas and methods from logic, philosophy, computer science, mathematics, and formal linguistics.

Areas of Specialisation

  • applied and pure logic: proof theory, n-sided sequent calculi, substructural logics
  • philosophy of language: formal semantics, inferentialism
  • philosophy of logic: logical pluralism, multilateralism

Areas of Competence

  • philosophy of science: philosophy of the life sciences, value-ladenness, underdetermination, decision and game theory, theory change
  • feminist philosophy: feminist science, intersex and trans perspectives
  • history of mathematical philosophy: Carnap, Logical Empiricism, medieval logic
  • philosophy of mathematics: foundational debates, Lakatos

Background

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.

Teaching Experience

  • Lecturer, Basic Logic, University of St Andrews, 2024/25: design and full delivery of a master's level module on naïve set theory, basic probability theory, and the proof and model theories of first-order classical, intuitionistic and modal logics
  • Guest Lecturer, PY2010 Intermediate Logic, University of St Andrews, 2024/25: proof theory of intuitionistic logic
  • Guest Lecturer, PY4675 Philosophy of Probability, University of St Andrews, 2024/25: decision theory
  • Guest Lecturer, International Education Institute, University of St Andrews, 2024/25 pre-sessional lecture and seminars on feminist philosophy of science
  • Tutor, PY1012 Reasoning, University of St Andrews, 2023/24 and 2022/23: introduction to logic, informal argumentation, and basic probability theory
  • Tutor, PY2010 Intermediate Logic, University of St Andrews, 2023/24: metalogic of sentiential and first-order logic, including soundness and completeness, and introduction to modal logic
  • Tutor, Philosophy of Science and Epistemology, LMU Munich, 2018/19: explanations, causality, laws of nature, models, theory change, Bayesianism, scientific revolutions, (anti-)realism, values and biases

Equality and Diversity

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

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):

  • SDG 4 - Quality Education
  • SDG 5 - Gender Equality
  • SDG 17 - Partnerships for the Goals

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

Keywords

  • BC Logic
  • B Philosophy (General)
  • Q Science (General)
  • BF Psychology
  • QA75 Electronic computers. Computer science

Fingerprint

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