Landon D. C. Elkind

This book examines Bertrand Russell’s complicated relationships to the women around him, and to feminism more generally. The essays in this volume offer scholarly reassessments of these relationships and their import for the history of feminism and of analytic philosophy. Russell is a founder of analytic philosophy. He has also been called a feminist due to his public, decades-long advocacy for women’s rights and equality of the sexes. But his private behavior towards wives and sexual partners, and his apparently dismissive (occasionally public) responses to some women philosophers, raises the question of what sort of feminist (or chauvinist) Russell actually was. Focusing on women in Russell’s circle of acquaintance, including feminist activists and his philosophical interlocutors, this book casts new light on a timeless thinker’s feminism and the women who played critical roles in the making of analytic philosophy.

Interactive theorem provers might seem particularly impractical in the history of philosophy. Journal articles in this discipline are generally not formalized. Interactive theorem provers involve a learning curve for which the payoffs might seem minimal. In this article I argue that interactive theorem provers have already demonstrated their potential as a useful tool for historians of philosophy; I do this by highlighting examples of work where this has already been done. Further, I argue that interactive theorem provers can continue to be useful tools for historians of philosophy in the future; this claim is defended through a more conceptual analysis of what historians of philosophy do that identifies argument reconstruction as a core activity of such practitioners. It is then shown that interactive theorem provers can assist in this core practice by a description of what interactive theorem provers are and can do. If this is right, then computer verification for historians of philosophy is in the offing.