| The new Wittgenstein: A critique I Proops | 97 | 2001 |
| Kant's Legal Metaphor and the Nature of a Deduction I Proops Journal of the History of Philosophy 41 (2), 209-229, 2003 | 78 | 2003 |
| Wittgenstein’s logical atomism I Proops | 54 | 2004 |
| Wittgenstein on the Substance of the World I Proops | 51 | 2004 |
| Kant's first paralogism I Proops Philosophical Review 119 (4), 449-495, 2010 | 45 | 2010 |
| Logic and Language in Wittgenstein's Tractatus I Proops Routledge, 2020 | 44 | 2020 |
| Kant's Conception of analytic judgment I Proops Philosophy and Phenomenological Research 70 (3), 588-612, 2005 | 42 | 2005 |
| The Tractatus on Inference and Entailment I Proops Reck [2002], 283-307, 2001 | 36 | 2001 |
| The Fiery Test of Critique: A Reading of Kant's Dialectic I Proops Oxford University Press, 2021 | 30 | 2021 |
| Russellian Acquaintance Revisited I Proops Journal of the History of Philosophy, 2014 | 30 | 2014 |
| Kant on the ontological argument I Proops Noûs 49 (1), 1-27, 2015 | 28 | 2015 |
| Russell and the universalist conception of logic I Proops Noûs 41 (1), 1-32, 2007 | 28 | 2007 |
| Russell on Substitutivity and the Abandonment of Propositions I Proops Philosophical Review 120 (2), 151-205, 2011 | 27 | 2011 |
| The early Wittgenstein on logical assertion I Proops Philosophical Topics 25 (2), 121-144, 1997 | 27 | 1997 |
| What is Frege's "Concept horse Problem"? I Proops | 26 | 2013 |
| Russell's reasons for logicism I Proops Journal of the History of Philosophy 44 (2), 267-292, 2006 | 26 | 2006 |
| Kant on the cosmological argument I Proops Philosopher's Imprint 14 (12), 2014 | 14 | 2014 |
| Logical atomism in Russell and Wittgenstein I Proops | 14 | 2011 |
| Logical syntax in the Tractatus I Proops Grammar in early twentieth-century philosophy, 163, 2001 | 12* | 2001 |
| Certainty, Error, and Acquaintance in The Problems of Philosophy I Proops Acquaintance, Knowledge, and Logic: New Essays on Bertrand Russell’s The …, 2015 | 9 | 2015 |
