Skip to main content
Indiana University Bloomington

People | Core Faculty

David Charles McCarty

David Charles McCartyProfessor of Philosophy
Adjunct Professor of Computer Science
Adjunct Professor of History and Philosophy of Science

Office: Sycamore Hall 121
Email: dmccarty at



  • Oxford University, D.Phil

Professor McCarty is a Fellow of the Deutscher Akademischer Austauschdienst (DAAD), has received the Dio Lewis Holl Prize in mathematics, and a Kierkegaard Fellowship in philosophy. He has been a faculty member or visiting faculty member in departments of philosophy, mathematics, computer science or cognitive science at such universities as Pittsburgh, Carnegie-Mellon , Ohio State, Florida State , Edinburgh (Scotland), Monash (Australia), Konstanz (Germany) and Soochow (Taiwan). McCarty has served as Director of the Indiana University Logic Program and as President of the Indiana Philosophical Association. He is also a two-time recipient of the Teaching Excellence Recognition Award of the Trustees of Indiana University, and an elected member of the Indiana Faculty Colloquium on Excellence in Teaching.

Professor McCarty conducts research on the foundations of mathematics and logic, early analytical philosophy, and on the history of mathematics and logic, especially the late 19th and early 20th Centuries. Concerning the foundations of mathematics and logic, he has published on intuitionism, antirealism, realizability, potentially infinite sets, denotational semantics, Church's Thesis, Markov's Principle, and the completeness problem for intuitionistic logic. In the area of history, he has written on Wittgenstein, Carnap, Frege, Hilbert, Brouwer, Dedekind, du Bois-Reymond and on the "Ignorabimus" controversy. In addition to his work in logic and the philosophy of mathematics, McCarty maintains broad interests in and has taught courses on 19th Century German philosophy, cognitive science, philosophy of language, political philosophy, metaethics and aesthetics. To date, he has supervised or is supervising Ph.D. dissertations on such topics as philosophy of language in Wittgenstein's middle period, formal logics that prove their own completeness theorems, Church's Thesis and the philosophy of mind, contemporary metaethics, and the philosophy of mathematics in Wittgenstein's "Tractatus."

Professor McCarty is editor-in-chief of "Logical Reflections: Selected Papers of Dana S. Scott," under contract from Oxford University Press.