I guess not, if you go by the list here. Cora Diamond, it must be said, gets mentioned in a comment. Perhaps by the end of the day there will be more. Do note that ethics and politics are ruled out.
Perhaps if one doesn’t read women philosophers, one wouldn’t know of any.
(thanks to BL for link.)
The original creator of the ‘Women in Logic’ list is once again inspired: Why wait to be added to lists of women in logic, when you can now add your own information to an editable source? See Catarina’s post at NewAPPS for the full instructions, but here’s the quick version explaining her initiative:
I decided to experiment with a new format: a Google docs spreadsheet which can be viewed and edited by anyone, so that everyone can add themselves and others…
So PLEASE pass on the info as widely as you can, add yourself to the list if you are a woman working in logic (but only those already having obtained their PhDs), and encourage all your female colleagues and friends who are logicians to add themselves to the list asap! And do let me know if you encounter technical problems while adding names to the list.