Sophie Emilie Nagler

Search results

• Meaning as Use, Use as Meaning

  Nagler, S. E. (Speaker)

  11 Apr 2024

  Activity: Talk or presentation types › Presentation

• Proofs, Rules, and Meanings

  Nagler, S. E. (Organiser), Fairbank, V. (Organiser) & Silva, F. (Organiser)

  11 Apr 2024 → 12 Apr 2024

  Activity: Participating in or organising an event types › Participation in or organising a conference

• Meaning as Use, Use as Meaning

  Nagler, S. E. (Speaker)

  3 Apr 2024

  Activity: Talk or presentation types › Presentation

• Editor for Philosophy of Science and Philosophy of Mathematics

  Nagler, S. E. (Contributor)

  28 Mar 2024 → …

  Activity: Other activity types › Other

• Meaning as Use, Use as Meaning

  Nagler, S. E. (Speaker)

  22 Mar 2024

  Activity: Talk or presentation types › Presentation

• Proof-Theoretic Semantics Network (External organisation)

  Nagler, S. E. (Participant)

  26 Oct 2023 → …

  Activity: Membership types › Membership of research network

• Meaning as Use, Use as Meaning

  Nagler, S. E. (Speaker)

  10 Oct 2023

  Activity: Talk or presentation types › Invited talk

• (Trans) Women’s Sexualities and Science: A Feminist Case Study of Biases in Autogynephilia Research

  Nagler, S. E. (Speaker)

  21 Jun 2023

  Activity: Talk or presentation types › Presentation

• (Trans) Women’s Sexualities and Science: A Feminist Case Study of Biases in Autogynephilia Research

  Nagler, S. E. (Speaker)

  14 May 2023

  Activity: Talk or presentation types › Presentation

• Do we mean the same? A Co-Determination Account of Meaning

  Nagler, S. E. (Speaker)

  9 Jan 2023

  Activity: Talk or presentation types › Invited talk

• Meaning, Structure, Pluralism: A Co-Determination Theory of Connective Meaning

  Nagler, S. E. (Speaker)

  28 Nov 2022

  Activity: Talk or presentation types › Presentation

• The Logical Connectives: Use Them as You Mean Them, Mean Them as You Use Them

  Nagler, S. E. (Speaker)

  25 Nov 2022

  Activity: Talk or presentation types › Presentation

• Women’s Sexualities and Science: A Feminist Case Study of Biases in Autogynephilia Research

  Nagler, S. E. (Speaker)

  3 Aug 2022

  Activity: Talk or presentation types › Presentation

• Summer School for Trans Philosophers

  Edgoose, H. (Organiser), Kent, R. (Organiser), Klieber, A. (Organiser), Küspert, N. (Organiser) & Nagler, S. (Organiser)

  10 Jul 2022 → 13 Jul 2022

  Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course

• Do we mean the same? A use theory of meaning in n-sided sequent calculi.

  Nagler, S. (Speaker)

  4 Feb 2022

  Activity: Talk or presentation types › Invited talk

• Philosophy Admissions Assistant

  Mulhall, S. (External examiner) & Nagler, S. (External examiner)

  6 Dec 2021 → 7 Dec 2021

  Activity: Examination types › External examination

• Trans* Awareness Week at the University of Oxford

  Dyrud, J. (Organiser) & Nagler, S. (Organiser)

  15 Nov 2021 → 21 Nov 2021

  Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event

• Scientific Impartiality and Marginalised Groups

  Nagler, S. (Organiser), Pillin, H. (Organiser), Sarikaya, D. (Organiser), Haslanger, S. (Panel participant), Hunsicker , E. (Panel participant), Jost, L. A. (Panel participant) & Sikimić, V. (Panel participant)

  10 Sept 2021

  Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course

• Summer School on Mathematical Philosophy for Female Students

  Nagler, S. (Participant)

  19 Jul 2021 → 23 Jul 2021

  Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course

• What does it mean? A very short introduction to logical semantics.

  Nagler, S. (Speaker)

  26 Jun 2021

  Activity: Talk or presentation types › Public lecture/debate/seminar

• Do we mean the same? A use theory of meaning in n-sided sequent calculi.

  Nagler, S. (Speaker)

  19 May 2021

  Activity: Talk or presentation types › Presentation

• Do we mean the same? A use theory of meaning in n-sided sequent calculi.

  Nagler, S. (Speaker)

  19 May 2021

  Activity: Talk or presentation types › Presentation

• A Feminist Analysis of Value Judgements in Autogynephilia Research.

  Nagler, S. (Speaker)

  17 Feb 2021

  Activity: Talk or presentation types › Presentation

• What the heck are medieval obligationes?

  Nagler, S. (Speaker)

  16 Jan 2021 → 17 Jan 2021

  Activity: Talk or presentation types › Presentation

• UNESCO World Logic Day at the University of Oxford

  Nagler, S. (Organiser), Halbach, V. (Panel participant), Williamson, T. (Panel participant) & Grossi, M. (Course leader)

  14 Jan 2021

  Activity: Participating in or organising an event types › Participation in or organising a public festival/exhibition/event

• 25th Oxford Philosophy Graduate Conference (Event)

  Nagler, S. (Reviewer)

  2021

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Mathematics Admissions Assistant

  Rees, T. (External examiner) & Nagler, S. (External examiner)

  6 Dec 2020 → 17 Dec 2020

  Activity: Examination types › External examination

• Proof-theoretic pluralism. Co-determination on two levels.

  Nagler, S. (Speaker)

  26 Nov 2020 → 28 Nov 2020

  Activity: Talk or presentation types › Invited talk

• Proof-theoretic pluralism. Co-determination on two levels.

  Nagler, S. (Speaker)

  20 Oct 2020

  Activity: Talk or presentation types › Presentation

• Lakatos' Undone Work

  Nagler, S. (Organiser), Pillin, H. (Organiser) & Sarikaya, D. (Organiser)

  Jul 2020 → Mar 2022

  Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course

• The Jowett Society

  Nagler, S. (Chair of organising committee)

  Jun 2020 → Sept 2021

  Activity: Participating in or organising an event types › Participation in or organising a public lecture/debate/seminar

• Master Class in Proof Theory

  von Hauff, H. (Organiser), Kirst, D. (Organiser), Nagler, S. (Organiser), Passmann, R. (Organiser), Pillin, H. (Organiser), Sarikaya, D. (Organiser), Rathjen, M. (Course leader), Schuster, P. (Course leader), Gratzl, N. (Panel participant), Schwichtenberg, H. (Panel participant) & Seisenberger, M. (Panel participant)

  23 Mar 2020 → 26 Mar 2020

  Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course

• Gödel’s Incompleteness Theorems. A Crisis in Mathematics?

  Nagler, S. (Speaker)

  3 Mar 2020

  Activity: Talk or presentation types › Public lecture/debate/seminar

• How to judge a good argument.

  Nagler, S. (Speaker)

  5 Feb 2020

  Activity: Talk or presentation types › Public lecture/debate/seminar

• The New Collection (Journal)

  Nagler, S. (Editor)

  2020 → 2022

  Activity: Publication peer-review and editorial work types › Editor of research journal

• 24th Oxford Philosophy Graduate Conference (Event)

  Nagler, S. (Reviewer)

  2020

  Activity: Publication peer-review and editorial work types › Peer review of manuscripts

• Kriterion (Journal)

  Nagler, S. (Guest editor), Pillin, H. (Guest editor) & Sarikaya, D. (Guest editor)

  2020 → 2022

  Activity: Publication peer-review and editorial work types › Editor of research journal

• Embedding Classical Logic in S4.

  Nagler, S. (Speaker)

  24 Jul 2019

  Activity: Talk or presentation types › Presentation

• Philosophy at Work

  Nagler, S. (Participant)

  11 Mar 2019 → 12 Mar 2019

  Activity: Participating in or organising an event types › Participation in or organising a conference

• The Proof Society (External organisation)

  Nagler, S. (Participant)

  2019 → …

  Activity: Membership types › Membership of research network

• Philosophical Summer Academy

  Nagler, S. (Organiser) & Antos, C. (Course leader)

  1 Oct 2018 → 4 Oct 2018

  Activity: Participating in or organising an event types › Participation in or organising a workshop, seminar, course

• Foundations in Mathematics

  Gahlen, V. (Organiser), Hornischer, L. (Organiser), Nagler, S. (Organiser), Passmann, R. (Organiser), Pillin, H. (Organiser), Sarikaya, D. (Organiser), Altenkirch, T. (Panel participant), Antonutti Marfori, M. (Panel participant), Hartmann, S. (Panel participant), Incurvati, L. (Panel participant), Khomski, Y. (Panel participant), Mancosu, P. (Panel participant), Petrakis, I. (Panel participant), Picollo, L. (Panel participant), Schwichtenberg, H. (Panel participant), Wohofsky, W. (Panel participant), Gratzl, N. (Chair), De Benedetto, M. (Course leader), Grabmayr, B. (Course leader), Jonas, S. (Course leader), Berlin, H. (Course leader) & Krapf, R. (Course leader)

  4 Apr 2018 → 7 Apr 2018

  Activity: Participating in or organising an event types › Participation in or organising a conference

• Ouroboros

  Nagler, S. (Participant)

  16 Feb 2018 → 18 Feb 2018

  Activity: Participating in or organising an event types › Participation in or organising a conference

• German Society for Analytic Philosophy (GAP) (External organisation)

  Nagler, S. (Participant)

  2018 → …

  Activity: Membership types › Membership of research network

• Logic between Mathematics and Philosophy

  Nagler, S. (Participant)

  28 Apr 2017 → 30 Apr 2017

  Activity: Participating in or organising an event types › Participation in or organising a conference