Professor Proops works on Kant's theoretical philosophy and History of Analytic Philosophy. He also has teaching interests in Pre-Kantian Early Modern Philosophy, Metaphysics, and Hegel. His current research interests in History of Analytic Philosophy include: Frege's "concept horse" problem: Russell's logicism and his conception of logic; Russell and Wittgenstein's logical atomism; and Russell’s theory of descriptions. His current and recent work on Kant spans a number of central topics in Kant's theoretical philosophy, including: Kant's conception of analytic judgment; the Paralogisms, Kant's criticisms of the Ontological Argument, and his resolution of the Mathematical Antinomies.