"Then Logic would take you by the throat, and force you to do it!"
(Lewis Carroll (1895): "What the Tortoise Said to Achilles")
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.
My Erdös number is 4.
Some of my research interests in logic and philosophy:
proof-theoretic semantics, identity and synonymy of proofs, non-classical logics, (logical) paradoxes, (anti-)exceptionalism debate, logical pluralism.
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
August 2024: I've been invited to participate in the Dagstuhl Seminar "Proof Representations: From Theory to Applications".
August 2024: I've been invited to give a talk at the 4th Symposium on Proof-theoretic Semantics at ESSLLI 2024, KU Leuven, Organized by the PPLV group @University College London.
June 2024: I'll give a talk at Logic Colloquium 2024 at the University of Gothenburg, Sweden.
April 11-12, 2024: I gave a talk at the workshop "Proofs, Rules, and Meanings" at the University of St Andrews.
December 16-17, 2023: I gave a talk at the conference "Proof-Theoretic Semantics and Truth" at the University of Bristol.
December 6-8, 2023: We hosted the 1st Workshop on Contradictory Logics.
November 2023: I organized a workshop for the philosophy staff on "Dealing with structural injustice in university teaching".
As of October 2023 I am a member of the University Committee for Diversity.
July 2023: I successfully defended my PhD thesis "Meaning and identity of proofs in (bilateralist) proof-theoretic semantics".
June 2023: During Logica 2023 I was inducted into the Logicians' Liberation League as "The Refutor".
Antonio Piccolomini d'Aragona, Hermógenes Oliveira, Will Stafford and I have launched our recently founded
"Proof-Theoretic Semantics Network".Both parts of the Special Issue that I edited for the Bulletin of the Section of Logic have been published:
Bilateralism and Proof-Theoretic Semantics (Part I) & (Part II).