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
@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
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
Thanks for sharing, Shawn! :)
30.09.2025 08:21 β π 1 π 0 π¬ 0 π 0It 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 π 0The Women in Logic at the Bochum Feminist Logic workshop.
30.08.2025 14:52 β π 17 π 5 π¬ 1 π 0π¨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... !
CfR: Registration for participation closing soon for the workshop on Feminist Logic at @ruhrunibochum!
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
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!
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/...
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...
Thanks, Andrew! π
25.03.2025 13:24 β π 1 π 0 π¬ 0 π 0Logicians on the Philosopher's Path in Kyoto π
(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...
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 π 0Yes, that's not a good impression to make π
15.01.2025 15:34 β π 1 π 0 π¬ 0 π 0Very 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
Happy World Logic Day, everyone! π₯³π
14.01.2025 05:02 β π 7 π 0 π¬ 0 π 1So true ππ
09.12.2024 09:54 β π 2 π 0 π¬ 0 π 0Just googled it, that looks super nice indeed!
09.12.2024 09:50 β π 2 π 0 π¬ 2 π 0And 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...
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...
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...
I've collected some possible answers to that question here if you want to take a look :)
sites.google.com/view/sara-ay...
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 π 0buuut 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)
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 π 9Could I please be adde, too? :)
20.11.2024 11:34 β π 1 π 0 π¬ 1 π 0Women 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...