"Then Logic would take you by the throat, and force you to do it!"
(Lewis Carroll (1895): "What the Tortoise Said to Achilles")
Embedded Files
About me
About me
I'm 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 since May 2023.
Before that 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").
Some of my research interests in logic and philosophy:
proof-theoretic semantics, identity and synonymy of proofs, non-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, Brazilian Zouk and swimming. To relax, I like baking Baklava for my family and colleagues or carving wood, which usually results in tiny spoons.
Email: sara.ayhan@rub.de
Homepage of our team: Logic in Bochum
News & Upcoming Events
News & Upcoming Events
I'm guest editing a Topical Collection at Synthese on Feminist Logic! See here for the CfP.
August 2025: I'm organizing a workshop on Feminist Logic with an amazing line-up of speakers (taking out myself of this statement, of course :D), see here: https://sites.google.com/view/workshop-feministlogic/home
July 2025: I'm presenting my work at the ASL Logic Colloquium 2025 and at the MCMP Colloquium "Logic and Decision Theory".
June 2025: Will Stafford and I taught the course "Introduction to Proof-Theoretic Semantics" at NASSLLI 2025, at the University of Washington, Seattle.
June 2025: I participated at a BIRS 5-Day Workshop on "Proof Representations: From Theory to Applications" in Banff, Canada.
February-March 2025: I went on a 3-week research stay at Tohoku University in Sendai, Japan, kindly hosted by Hitoshi Omori.
Antonio Piccolomini d'Aragona, Hermógenes Oliveira, Will Stafford and I have launched our recently founded
"Proof-Theoretic Semantics Network".
Page updated
Google Sites
Report abuse