Sara Ayhan's Avatar

Sara Ayhan

@sara-ayhan.bsky.social

Logician & philosopher @ruhr-uni-bochum.de, Post-Doc. I like proof theory, proof-theoretic semantics, feminist logic, bilateralism, and a lot more in logic and in life. (she/her)

583 Followers  |  551 Following  |  34 Posts  |  Joined: 05.04.2024  |  2.3565

Latest posts by sara-ayhan.bsky.social on Bluesky

Client Challenge

Another paper of mine published open access now: "Problems and Consequences of Bilateral Notions of (Meta-)Derivability" in Erkenntnis! πŸŽ‰

Have a look here if you're interested:

rdcu.be/eKRO7

14.10.2025 06:10 β€” πŸ‘ 5    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other

Got my feminist logic paper finally published in Synthese last week πŸ₯³

Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other

It's open access: rdcu.be/eINdz

06.10.2025 07:11 β€” πŸ‘ 10    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

Thanks for sharing, Shawn! :)

30.09.2025 08:21 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

It was amazing! And here's a picture with everyone (minus 4-5 that missed the photo time 😬)

04.09.2025 18:14 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

The Women in Logic at the Bochum Feminist Logic workshop.

30.08.2025 14:52 β€” πŸ‘ 17    πŸ” 5    πŸ’¬ 1    πŸ“Œ 0
Preview
Feminist logic, broadly speaking - Synthese I argue that the continued focus on the possibility question - whether feminist logic can exist as a respectable practice - has several harmful consequences. First, it invites the association of femin...

🚨NEW PAPER ALERT🚨

And with perfect timing, Franci Mangraviti's 🚨OPEN ACCESS🚨 paper "Feminist logic, broadly speaking", has just been published in Synthese 206, article no. 82: link.springer.com/article/10.1... !

28.08.2025 09:42 β€” πŸ‘ 7    πŸ” 2    πŸ’¬ 0    πŸ“Œ 1

CfR: Registration for participation closing soon for the workshop on Feminist Logic at @ruhrunibochum!
Due to limited space registration is mandatory

22.07.2025 08:10 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Proof-Theoretic Functional Completeness for the Connexive Logic C

Paper publishing alert πŸ˜„
My dear colleague Hrafn Oddsson and I have written a paper in which we show "Proof-Theoretic Functional Completeness for the Connexive Logic C". It's now published with open access in Studia Logica:

rdcu.be/evpKb

09.07.2025 13:32 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Post image

Very happy and excited to be in Banff,Canada, now for the BIRS workshop on "Proof Representations" starting tomorrow 😊
Amazing people are participating and all that taking place in this beautiful landscape!

01.06.2025 23:04 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Feminist Logic Feminist Logic examines intersections of formal logic and feminist philosophy. As such it challenges traditional conceptions both of feminism and of logic. ...

I'm looking forward to submissions for the Synthese Topical Collection on Feminist Logic, which I'll be guest editing! Deadline is October 1, 2025.
See here for more information:

link.springer.com/collections/...

23.04.2025 10:44 β€” πŸ‘ 9    πŸ” 4    πŸ’¬ 0    πŸ“Œ 1
Preview
Home Information Feminist Logic is a relatively new but upcoming area of study. Work in this field sheds light on sexist (and other) biases in the area of logic. This is a very broad conception but it capt...

I'm organizing a workshop on Feminist Logic at @ruhr-uni-bochum.de, August 29-30. Amazing speakers will be coming and there's also a call for proposals for a discussion session, see here:

sites.google.com/view/worksho...

10.04.2025 10:03 β€” πŸ‘ 18    πŸ” 6    πŸ’¬ 0    πŸ“Œ 2

Thanks, Andrew! 😍

25.03.2025 13:24 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

Logicians on the Philosopher's Path in Kyoto 😁
(first time for me in Japan and so far it's been a blast 😊)

02.03.2025 01:08 β€” πŸ‘ 17    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
Eine Katastrophe fΓΌr Aristoteles Bochumer Forschende untersuchen logische Systeme, in denen WidersprΓΌche beweisbar sind. Dem einflussreichen Philosophen Aristoteles hΓ€tte das gar nicht gefallen.

A little article in @ruhr-uni-bochum.de magazine about our logic group and how our research on contradictory logics apparently would be devastating for Aristotle πŸ˜„

news.rub.de/wissenschaft...

20.02.2025 07:48 β€” πŸ‘ 7    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

Coming home after a full week of workshops and traveling:first I talked about logical bilateralism at a Symposium on Proof-Theoretic Semantics in London and then about Feminist Logic in Frankfurt at a workshop with Graham Priest.A long week but full of interesting discussions with great logicians😊

09.02.2025 07:57 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Yes, that's not a good impression to make πŸ˜•

15.01.2025 15:34 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Very important remarks and observations on logic and gender representation, thanks @johannamath.bsky.social !

(It's like this at most logic conferences, not only in maths...)
#logic

15.01.2025 06:11 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Happy World Logic Day, everyone! πŸ₯³πŸ˜Š

14.01.2025 05:02 β€” πŸ‘ 7    πŸ” 0    πŸ’¬ 0    πŸ“Œ 1

So true πŸ˜‚πŸ˜‚

09.12.2024 09:54 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Just googled it, that looks super nice indeed!

09.12.2024 09:50 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0
Preview
Logic and Feminism All the speakers have solid expertise in logic (both formal and β€œalternative” logics), philosophical logic, mathematics, and the philosophy of mathematics.

And now off to Bergen where @anitaleirfall.bsky.social is organizing a great workshop on "Logic and Feminism", very excited to be part of that (and to my first time in Norway)! 😊
www.uib.no/en/bnwp/1742...

09.12.2024 09:45 β€” πŸ‘ 21    πŸ” 4    πŸ’¬ 1    πŸ“Œ 0
Preview
Topics in Relevant Logic: A Semantic Perspective - Erkenntnis This paper concerns the interface between relevant logics and recent developments in semantics for hyperintensional operators. In the latter area, the notion of topicality or aboutness has begun to pl...

Coming back to Bluesky after a break, let me advertise a recent paper of mine I'm quite proud of! In this paper, I propose a way to read topics off of a space of propositions forming an algebra, and tie this in to a topical reading of relevance in logic:

link.springer.com/article/10.1...

05.12.2024 14:03 β€” πŸ‘ 16    πŸ” 5    πŸ’¬ 2    πŸ“Œ 0
Preview
Women in PLEXUS This event is part of and funded by the research project PLEXUS. Philosophical, Logical, and Experimental Routes to Substructurality

Very happy that PLEXUS invited me along as discussant at their (hybrid!)workshop featuring women experts on substructural logics😊
On my way to Turin now(had to take a much too early flight, thoughπŸ˜…) and looking forward to the talks and discussions over the next days! sites.google.com/view/womenin...

04.12.2024 08:33 β€” πŸ‘ 9    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Sara Ayhan - What is feminist logic? Explanation of feminist logic: There seem to be a lot of existing misconceptions about what feminist logic is or can be, so I thought a brief clarification about my understanding of feminist logic mig...

I've collected some possible answers to that question here if you want to take a look :)

sites.google.com/view/sara-ay...

22.11.2024 16:11 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Yes, I guess in philosophy in general (at least in some subdisciplines) this has already changed because the whole process also started way earlier...I hope so too! :)

22.11.2024 11:34 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

buuut I also receive a lot of "positive curiosity" and support from more open minded people so I can't help but being optimistic that the field will become less dogmatic and change for the better πŸ˜… (2/2)

22.11.2024 11:10 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 2    πŸ“Œ 0

#philsky
I recently heard that there's this unspoken law (which I apparently ignored) NOT to work on feminist issues BEFORE you have a permanent job... I started working on feminist logic, kind of naively expecting *some* backlash for sure but not nearly as much as I've encountered so far, (1/2)

22.11.2024 11:10 β€” πŸ‘ 6    πŸ” 0    πŸ’¬ 4    πŸ“Œ 0

I’ve made a starter pack for feminist philosophy adjacent people β€” please tell me who else to include! #philsky go.bsky.app/Fy5Z6kk

16.11.2024 15:38 β€” πŸ‘ 457    πŸ” 114    πŸ’¬ 87    πŸ“Œ 9

Could I please be adde, too? :)

20.11.2024 11:34 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
Women in PLEXUS This event is part of and funded by the research project PLEXUS. Philosophical, Logical, and Experimental Routes to Substructurality

Women in PLEXUS workshop on substructural logics
December 4-6, 2024
University of Turin

Keynote speakers: Pilar TerrΓ©s Villalonga, Elaine Pimentel, Paula Teijeiro, NoemΓ­ Lubomirsky

sites.google.com/view/womenin...

07.11.2024 10:16 β€” πŸ‘ 8    πŸ” 5    πŸ’¬ 0    πŸ“Œ 0

@sara-ayhan is following 20 prominent accounts