Race, Gender, and the History of Early Analytic Philosophy. Matt LaVine

under discussion. In addition, Marcus provides the key axiom, which explains the relative logical behavior of the quantifiers and the modal operators—the Barcan Formula. And, not satisfied with purely formal contributions to the understanding of modal logic, Marcus also went on to give important reasons to believe these formal systems could weigh in on long-held metaphysical debates. Given various criticisms from Quine, which were taken to show that anything like this was impossible, Marcus’ work was enormously important.