Sara Ayhan

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

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

Ruhr-Universität Bochum
Institut für Philosophie I
Universitätsstraße 150
D-44780 Bochum
GB 04/148
Phone: +49 234 32 - 28074


Homepage of our logic team: Logic in Bochum

About me

CV (August 2023)

  • Since Mai 2023: Post-Doc in the ConLog-ERC Advanced Grant Project of Prof. Dr. Heinrich Wansing: Contradictory Logics - A Radical Challenge to Logical Orthodoxy
  • March 2018-April 2023: Research Assistant/PhD Student, Ruhr-University Bochum. Supervisors: Prof. Dr. Heinrich Wansing, Prof. Dr. Greg Restall
  • 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



  • PhD-Dissertation (defended in July 2023): Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
  • February/March 2023: 4-week research stay hosted by Dave Ripley at Monash University, Melbourne
  • Editing Special Issue of the Bulletin of the Section of Logic: Bilateralism and Proof-Theoretic Semantics (Online available here)
  • March 17-18, 2022: Organization: Conference: Bilateralism and Proof-Theoretic Semantics, Ruhr University Bochum.
  • September 8-10, 2021: Co-Organization: PhDs in Logic XII, Free University Berlin.

New & Upcoming Events

  • We (Antonio Piccolomini d'Aragona, Hermógenes Oliveira, Will Stafford and I) are currently making efforts to found the "Proof-Theoretic Semantics Network".
  • June 2023: During Logica 2023 I was inducted into the Logicians' Liberation League as "The Refutor".
  • July 2023: I successfully defended my PhD thesis.
  • September 18-19: I'll be presenting my work at the Symposium on Proof-theoretic Semantics in Prague, co-located with TABLEAUX 2023.
  • As of October 2023 I'll be a member of the University Committee for Diversity.
  • November 2023: I'm organizing a workshop for the philosophy staff on "Dealing with structural injustice in university teaching".
  • December, 6-8, 2023: We're hosting the 1st Workshop on Contradictory Logics.

Talks (Selection)


Consultation hours (room GB 04/148) by appointment


  Seminar Time & Place
WiSe 2023 Logische Techniken (with Daniel Skurt)

Mon, 14-16


Past Seminars:

  • Exercise class: Logic I (WiSe 2018/19, WiSe 2019/20, WiSe 2021/22, SoSe 2023)
  • Paradoxes (WiSe 2018/19, WiSe 2019/20)
  • Introduction to Philosophy of Logic (SoSe 2019)
  • Block Seminar: Logical Argumentation and Manipulation (SoSe 2019, SoSe 2020, SoSe 2021, WiSe 2022/23)
  • 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: WiSe 2020/21, In-Person: SoSe 2022)
  • Introduction to General Proof Theory (WiSe 2021/22)


Research Interests

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

Other Interests

For vacation I go on Metal festivals. I'm into all kinds of sports related to fitness or dance, especially ballet, Brazilian Zouk, belly dancing and swimming. To relax, I like baking Baklava for my family and/or colleagues or carving wood, which usually results in tiny spoons.
I was 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).