Women and logic