"Then Logic would take you by the throat, and force you to do it!"

(Lewis Carroll (1895): "What the Tortoise Said to Achilles")




Sara Ayhan, M. A.       

Ruhr-Universität Bochum
Institut für Philosophie I
Universitätsstraße 150
D-44780 Bochum

Tel.: +49-234-32-28074
Raum: GB 04/148

Homepage of our logic team: Logic in Bochum


About me

  • Since March 2018: Research Assistant/PhD Student, Ruhr-University Bochum. Supervisors: Prof. Dr. Heinrich Wansing, Prof. Dr. Peter Schroeder-Heister
  • 2018: M. A. Philosophy, Ruhr-University Bochum. Master's Thesis: Proof-theoretic semantics and paradoxes, Supervisor: Prof. Dr. Heinrich Wansing
  • 2015: First State Exam in Philosophy, English and History, University of Siegen. State Exam Thesis: Donald Davidson's Conception of Truth, Supervisor: Prof. Dr. Richard Schantz
  • 2014: Semester Abroad, University of Adelaide, South Australia
  • 2010: Abitur, Städtisches Gymnasium Selm



Talks (Selection)


Upcoming Events

  • 10.-12. August: Talk (invited) Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for 2Int, XI Workshop on Philosophical Logic, Argentinean Society of Philosophical Analysis (SADAF), Buenos Aires.
  • 5. September: Talk Why Ekman-reduction is no reduction (and therefore Ekman’s paradox is no paradox), PhDs in Logic XIII - 2022, University of Turin.
  • 11.-15. September: Talk ‘Bad’ reductions, paradoxes and the meaning of proofs, Logica 2022, Department of Logic, Academy of Sciences of the Czech Republic.
  • 9.-11. November: Talk (invited) tba, Symposium on Proof-theoretic Semantics, University College London.


Consultation hours (room GB 04/148) by appointment


Room, Time
WS 2021/22
Exercise class "Grundzüge der Logik"
Mon 10-12, GA 03/46
WS 2021/22
Introduction to General Proof Theory
Mon 14-16, GA 03/46
SoSe 2021
Block Seminar: Logical Argumentation and Manipulation
Preliminary appointment: 5.7., 18-20
Wed, 15.9., 10 -18
Thu, 16.9., 10-18
Fr, 17.9., 10-18


Past Seminars
  • Exercise class: Logic I (WiSe 2018/19, WiSe 2019/20)
  • Paradoxes (WiSe 2018/19, WiSe 2019/20)
  • Introduction to Philosophy of Logic (SoSe 2019)
  • Block Seminar: Logical Argumentation and Manipulation (SoSe 2019, SoSe 2020)
  • Classical Texts in Philosophy of Language - Online-Seminar (SoSe 2020, WiSe 2020/21)
  • Introduction to Analytical Philosophy (together with Christopher Badura) - Online-Seminar (SoSe 2020)
  • Philosophical Devices (Formal Methods in Philosophy) - Online-Seminar (WiSe 2020/21)


Summer Schools

  • Sept. 2018: 1st International Summer School on Proof Theory (Poster Presentation)
    Ghent University
  • July 2018: 5th Summer School on Mathematical Philosophy for Female Students (participation)
    Main lecture stream: "Modality: Metaphysics, Logic, Semantics" (Lectures: Prof. Dr. Barbara Vetter)
    MCMP, LMU Munich
  • Aug. 2017: 4th Summer School on Mathematical Philosophy for Female Students (participation)
    Main lecture stream: "Paradoxes and Self-Reference" (Lectures: Prof. Roy T. Cook)
    MCMP, LMU Munich

Research Interests

  • Philosophical logic: Non-classical logics, proof-theoretic semantics, (logical) paradoxes, properties of consequence relations, identity of proofs, comparing different proof systems
  • Philosophy of language/epistemology: Vagueness, theories of truth

Other interests

Pre-Corona I've been doing ballet and Krav Maga for a couple of years and also tried out other sports from time to time related to fitness, dance or martial arts. At the moment the choice of sports is a bit restricted to outdoors or homeoffice compatibility but I hope that this will be different again soon. To relax, I like carving wood and once in a while I even manage to get something useful out of it.
I was recently interviewed for a podcast, „Der Funke – Geschichten aus dem Leben“ (Audible Original), about how I came to do my PhD in Logic, what it is like to work in this area (as a woman) and at a university. Here’s a link to the podcast (Episode 17 „In der Fremde zu Gast und in der Logik zu Hause“ - the interview is in German, though).