"Then Logic would take you by the throat, and force you to do it!"
(Lewis Carroll (1895): "What the Tortoise Said to Achilles")
"Then Logic would take you by the throat, and force you to do it!"
(Lewis Carroll (1895): "What the Tortoise Said to Achilles")
I'm an Assistant Professor at the Graduate School of Information Sciences at Tohoku University in Sendai, Japan.
Before this position I was a Post-Doc in the ConLog-ERC Advanced Grant Project of Prof. Dr. Heinrich Wansing: Contradictory Logics - A Radical Challenge to Logical Orthodoxy at the Ruhr University Bochum from May 2023 until December 2025.
I did my PhD on "Meaning and identity of proofs in (bilateralist) proof-theoretic semantics" under the supervision of Heinrich Wansing and Greg Restall, which I successfully defended in 2023.
My Erdös number is 4.
My pronouns are "she/her".
I am member of the Logicians' Liberation League (inducted as "The Refutor").
I am member and co-founder of the Proof-Theoretic Semantics Network.
Some of my research interests in logic and philosophy:
proof-theoretic semantics, identity and synonymy of proofs, non-classical and contra-classical logics, (logical) paradoxes and feminist logic. If you are wondering what the latter might be about, have a look here.
For vacation I go to Metal festivals. I'm into all kinds of sports related to fitness or dance, especially ballet and Brazilian Zouk. To relax, I like baking Baklava for my family and colleagues or carving wood, which usually results in tiny spoons.
My name (and family background) is Turkish, the pronunciation is /ˈsɑːrə/ (not /ˈsɛrə/) /ˈaɪ.hɑːn/ (think of pronouncing 'eye-hun' in English).
Here's how I'm writing it in Japanese (Katakana) characters: サラ アイハン
Fun fact: my first name means "epilepsy" and my last name "moon king".
Email: sara.ayhan [at] rub.de or
sara.ayhan.c7 [at] tohoku.ac.jp
February 2026: I'll present my work on "Reclaiming Proof-theoretic Bilateralism for Constructivism" and on "Contradictions Without Negation and a Proof-Theoretic, Bilateralist Account of Connexive Logics" at the 2026 APA Central Division Meeting in Chicago and at the CUNY Logic and Metaphysics Workshop in New York.
January 2026: Just started my new position as assistant professor in Hitoshi Omori's research group at Tohoku University in Sendai; very (!) excited about this big move and amazing opportunity!
I received the Wolfgang Stegmüller Award of the GAP (German Society for Analytic Philosophy) for my dissertation.
September 2025: I presented the work of my late friend and colleague, Edoardo Canonica, on inferring from negated conditionals at our 2nd Workshop on Contradictory Logics at Ruhr University Bochum.
I'm guest editing a Topical Collection at Synthese on Feminist Logic, see here for the CfP!
Together with Alexander V. Gheorghiu and Will Stafford, I'm guest editing a Special Issue at the Journal of Logic and Computation on Proof-Theoretic Semantics and Computation, see here for the CfP!
August 2025: I organized a workshop on Feminist Logic, see here: https://sites.google.com/view/workshop-feministlogic/home
June 2025: I participated at a BIRS 5-Day Workshop on "Proof Representations: From Theory to Applications" in Banff, Canada.