The other paper is in Topoi on "Inferentialism meets Feminist Logic": rdcu.be/fcXUj I argue (very roughly summarized) that inferentialism can be informed by an approach of feminist logic in an interesting way 😊

I got two (very different 😄) papers published recently, both can be checked out in open access! One is forthcoming in the Review of Symbolic Logic on "Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics": doi.org/10.1017/S175...

Today is officially my first day starting my new job as assistant professor at the Graduate School of Information Sciences at Tohoku University in Sendai, Japan. I'm super excited to be here - the city is lovely, everyone at university so welcoming and friendly and the logic group is amazing! 😍

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

The Women in Logic at the Bochum Feminist Logic workshop.

🚨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...

Logicians 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😊

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

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...

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...

#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

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...

I made a starter pack of Logic folks go.bsky.app/Q6NbAiN

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)

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...

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!

Very much enjoying Gothenburg and the Logic Colloquium 2024 where I'll be giving a talk on obstacles of a truly bilateralist sequent calculus 😊

Still haven't managed to get photo-posting-from-phone to work with the bsky app, which means no on-the-day photos of Women in Logic at the Proofs, Rules, and Meanings workshop in St Andrews yesterday and the day before. But here's a thread with all of them now!

And then here's all of us!

On my way to St Andrews for this exciting workshop on proofs, rules and meaning! Looking forward to the talks and (re-)meeting some great friends and colleagues 😊 www.st-andrews.ac.uk/arche/event/...

I was curious about this X alternative, so here I am! (Only took me 6 months from wanting to do this to actually making an account but yeah...😅🤷‍♀️)