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)
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
Have a look here if you're interested:
rdcu.be/eKRO7
Client Challenge
rdcu.be
October 14, 2025 at 6:10 AM
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
Have a look here if you're interested:
rdcu.be/eKRO7
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
Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other
It's open access: rdcu.be/eINdz
Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other
rdcu.be
October 6, 2025 at 7:11 AM
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
Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other
It's open access: rdcu.be/eINdz
Reposted by Sara Ayhan
The Women in Logic at the Bochum Feminist Logic workshop.
August 30, 2025 at 2:52 PM
The Women in Logic at the Bochum Feminist Logic workshop.
Reposted by Sara Ayhan
🚨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... !
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... !
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...
link.springer.com
August 28, 2025 at 9:42 AM
🚨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... !
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... !
CfR: Registration for participation closing soon for the workshop on Feminist Logic at @ruhrunibochum!
Due to limited space registration is mandatory
Due to limited space registration is mandatory
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...
sites.google.com/view/worksho...
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...
sites.google.com
July 22, 2025 at 8:10 AM
CfR: Registration for participation closing soon for the workshop on Feminist Logic at @ruhrunibochum!
Due to limited space registration is mandatory
Due to limited space registration is mandatory
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
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
Proof-Theoretic Functional Completeness for the Connexive Logic C
rdcu.be
July 9, 2025 at 1:32 PM
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
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
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!
Amazing people are participating and all that taking place in this beautiful landscape!
June 1, 2025 at 11:04 PM
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!
Amazing people are participating and all that taking place in this beautiful landscape!
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/...
See here for more information:
link.springer.com/collections/...
Feminist Logic
Feminist Logic examines intersections of formal logic and feminist philosophy. As such it challenges traditional conceptions both of feminism and of logic. ...
link.springer.com
April 23, 2025 at 10:44 AM
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/...
See here for more information:
link.springer.com/collections/...
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...
sites.google.com/view/worksho...
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...
sites.google.com
April 10, 2025 at 10:03 AM
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...
sites.google.com/view/worksho...
Logicians on the Philosopher's Path in Kyoto 😁
(first time for me in Japan and so far it's been a blast 😊)
(first time for me in Japan and so far it's been a blast 😊)
March 2, 2025 at 1:08 AM
Logicians on the Philosopher's Path in Kyoto 😁
(first time for me in Japan and so far it's been a blast 😊)
(first time for me in Japan and so far it's been a blast 😊)
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...
news.rub.de/wissenschaft...
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.
news.rub.de
February 20, 2025 at 7:48 AM
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...
news.rub.de/wissenschaft...
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😊
February 9, 2025 at 7:58 AM
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😊
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
(It's like this at most logic conferences, not only in maths...)
#logic
I was at #JMM2025 this past week, and I went to as many ASL invited addresses/contributed talks as I could. Some things to think about on #WorldLogicDay:
0) For all but one of the invited addresses I went to, I think I was the only tenure-track woman in the audience. Not just the most senior. ONLY.
0) For all but one of the invited addresses I went to, I think I was the only tenure-track woman in the audience. Not just the most senior. ONLY.
January 15, 2025 at 6:11 AM
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
(It's like this at most logic conferences, not only in maths...)
#logic
Happy World Logic Day, everyone! 🥳😊
January 14, 2025 at 5:02 AM
Happy World Logic Day, everyone! 🥳😊
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...
www.uib.no/en/bnwp/1742...
Logic and Feminism
All the speakers have solid expertise in logic (both formal and “alternative” logics), philosophical logic, mathematics, and the philosophy of mathematics.
www.uib.no
December 9, 2024 at 9:45 AM
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...
www.uib.no/en/bnwp/1742...
Reposted by Sara Ayhan
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...
link.springer.com/article/10.1...
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...
link.springer.com
December 5, 2024 at 2:03 PM
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...
link.springer.com/article/10.1...
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...
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...
Women in PLEXUS
This event is part of and funded by the research project
PLEXUS. Philosophical, Logical, and Experimental Routes to Substructurality
sites.google.com
December 4, 2024 at 8:33 AM
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...
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...
#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)
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)
November 22, 2024 at 11:10 AM
#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)
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)
Reposted by Sara Ayhan
I’ve made a starter pack for feminist philosophy adjacent people — please tell me who else to include! #philsky go.bsky.app/Fy5Z6kk
November 16, 2024 at 3:38 PM
I’ve made a starter pack for feminist philosophy adjacent people — please tell me who else to include! #philsky go.bsky.app/Fy5Z6kk
Reposted by Sara Ayhan
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...
December 4-6, 2024
University of Turin
Keynote speakers: Pilar Terrés Villalonga, Elaine Pimentel, Paula Teijeiro, Noemí Lubomirsky
sites.google.com/view/womenin...
Women in PLEXUS
This event is part of and funded by the research project
PLEXUS. Philosophical, Logical, and Experimental Routes to Substructurality
sites.google.com
November 7, 2024 at 10:17 AM
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...
December 4-6, 2024
University of Turin
Keynote speakers: Pilar Terrés Villalonga, Elaine Pimentel, Paula Teijeiro, Noemí Lubomirsky
sites.google.com/view/womenin...
Reposted by Sara Ayhan
November 19, 2024 at 5:44 AM
Happy to report History and Philosophy of Logic published a translation that I did of an early logic article by Franz von Kutschera alongside with a short paper in which I contextualize this work 🥳
doi.org/10.1080/0144... (open access)
www.tandfonline.com/eprint/Y3UD6...
(limited access)
doi.org/10.1080/0144... (open access)
www.tandfonline.com/eprint/Y3UD6...
(limited access)
https://doi.org/10.1080/014453…
October 17, 2024 at 9:31 AM
Happy to report History and Philosophy of Logic published a translation that I did of an early logic article by Franz von Kutschera alongside with a short paper in which I contextualize this work 🥳
doi.org/10.1080/0144... (open access)
www.tandfonline.com/eprint/Y3UD6...
(limited access)
doi.org/10.1080/0144... (open access)
www.tandfonline.com/eprint/Y3UD6...
(limited access)
I'm organizing a little hybrid conference in 2 weeks on Feminist Analytic Philosophy 😊
The talks will be a nice mix of historical and conceptual stuff; I'll also present sth. on feminist logic! Have a look here for the program,abstracts and registration:
sites.google.com/view/worksho...
The talks will be a nice mix of historical and conceptual stuff; I'll also present sth. on feminist logic! Have a look here for the program,abstracts and registration:
sites.google.com/view/worksho...
Home
Description
Since the mid-20th century, feminist perspectives have received considerable attention within the field of philosophy, particularly in areas often associated with 'Continental philosophy.'...
sites.google.com
September 25, 2024 at 6:42 AM
I'm organizing a little hybrid conference in 2 weeks on Feminist Analytic Philosophy 😊
The talks will be a nice mix of historical and conceptual stuff; I'll also present sth. on feminist logic! Have a look here for the program,abstracts and registration:
sites.google.com/view/worksho...
The talks will be a nice mix of historical and conceptual stuff; I'll also present sth. on feminist logic! Have a look here for the program,abstracts and registration:
sites.google.com/view/worksho...
Happy to report that I received a lot of positive feedback on my talk on queer feminist logic and contradictions at the 9th Workshop on Connexive Logics!An outsider topic at a workshop on an outsider logic,so I was a bit nervous about people's reactions but in general they seemed rather interested 😅
September 10, 2024 at 9:45 AM
Happy to report that I received a lot of positive feedback on my talk on queer feminist logic and contradictions at the 9th Workshop on Connexive Logics!An outsider topic at a workshop on an outsider logic,so I was a bit nervous about people's reactions but in general they seemed rather interested 😅
Logic Colloquium 2024 in Gothenburg: It's been such a great conference; I met so many old friends as well as lovely new people 😊 thanks again to the organizers for their amazing job!
July 1, 2024 at 11:25 AM
Logic Colloquium 2024 in Gothenburg: It's been such a great conference; I met so many old friends as well as lovely new people 😊 thanks again to the organizers for their amazing job!