• Skip to Content
  • Skip to Main Navigation
  • Skip to Search

Indiana University Bloomington Indiana University Bloomington IU Bloomington

Open Search Menu

The College of Arts & Sciences

Department of Philosophy

  • Home
  • about
    • Statement of Values
    • Minorities and Philosophy (MAP)
    • History
    • About Bloomington
  • Directory
    • Faculty
    • Adjunct Faculty
    • Emeriti Faculty
    • Staff
    • Graduate Students
  • Undergraduate
    • Why Study Philosophy?
    • Majors & Minors
    • Courses
    • Curricular Pathways
    • Honors Program
    • Advising
    • Research Opportunities
    • Funding Opportunities
    • Scholarships & Awards
    • Student Activities & Experience
    • Career Preparation
    • Careers for Philosophy Students
  • Graduate
    • Philosophy Ph.D.
    • Philosophy Ph.D. Minors
    • Philosophy M.A.
    • Research Strengths + Graduate Courses
    • Funding Opportunities
    • Dissertations & Theses
    • Job Placement
    • Student Experience
    • How to Apply
  • Research
    • Faculty Research Areas
    • Books
    • Journal Articles & Book Chapters
    • Editorial Work + Translations
    • Graduate Research
    • Undergraduate Research
    • Undergraduate Journal + Symposium
    • Research Opportunities
    • Resources
  • Alumni & Giving
    • Stay Involved
    • Our Benefactors
    • Newsletter
  • News & Events
    • Departmental News
    • Award Winners
    • Colloquium Series
    • Philosophy in the News
  • Search
  • Contact
  • Student Portal
  • Departmental News
  • Award Winners
  • Colloquium Series
  • Philosophy in the News
  • Home
  • News & Events
  • Departmental News
  • Professor David Charles McCarty memorial

Professor David Charles McCarty memorial

Wednesday, November 25, 2020

Professor David Charles McCarty was born in Chicago, Illinois to Charles Albert and Mary Loretta McCarty. He received his B.S. and M.S. in Mathematics from Iowa State University, an M.A. in Philosophy from the University of Minnesota, and the DPhil from Oxford University in 1984, where he studied with Dana Scott. He began his career as an Assistant Professor at Ohio State in 1983, was a Joint University Lecturer at Edinburgh University from 1984 to 1987, an Assistant Professor at Florida State from 1987 to 1990, and joined Indiana University in 1991, first on a visiting appointment and then as Associate Professor in 1995. He was promoted to Full Professor in 2003. He was the director of the IU Logic Program from 1996 to 2002 and the director of the Cognitive Science Logic Certificate Program from 1996 to 2008. He was a member of the Cognitive Science program and an adjunct professor in Computer Science and in History and Philosophy of Science. Professor McCarty held visiting appointments at Konstanz as a DAAD Research Fellow and a Senior Research Fellow at the Sidney M. Edelstein Center for the History and Philosophy of Science, Technology, and Medicine at the Hebrew University of Jerusalem. He was a Fellow at the Copernicus Center in Cracow, and President of the Indiana Philosophical Association 2012-13.

Professor McCarty’s primary fields of research were foundations of logic and mathematics, early analytic philosophy, and the history of mathematics and logic in the late 19th and early 20th centuries. He published over 120 peer-reviewed papers. He wrote on intuitionism, the completeness problem for intuitionistic logic, Markov’s Principle, constructive validity, realizability and recursive mathematics, potentially infinite sets, denotational semantics, Church’s Thesis, logical truth, the meanings of the connectives, limits of mathematical explanation, mathematical realism, structuralism, antirealism, the philosophy of logical atomism, as well as Hilbert and du Bois-Reymond, Carnap, Brouwer, Helmholtz, Frege, Wittgenstein, Dedekind, Gödel, Anselm’s ontological argument, Goethe, historical fiction, the pathetic fallacy, and other topics. His book To an Infinite Power: Mathematical and Philosophical Writings of Paul du Bois-Reymond will published by Oxford University Press in 2021.

Professor McCarty had several main lines of work in logic. He was one of the world's leading experts on constructive mathematics and intuitionistic logic, and all matters related to their history and philosophy. He proved a number of results on these topics that are of permanent importance both to people in that field and to outsiders. For example, he answered the question of whether one can prove the completeness of intutionisitic logic inside of intuitionistic logic the way one can for classical logic; he showed that this cannot be done. But his work in logic should not be reduced to a list of technical results. Rather, it was a decades-long deep involvement on topics coming from the area of constructive mathematics. While he did do technical work—lots of it—he always did so as part of philosophical or foundational explorations or arguments.

The topics of constructive mathematics and intuitionistic logic have always had a special and noteworthy relationship to the more mainstream views in logic and philosophy of mathematics. Indeed, during the time that McCarty started to work on these topics, they were very much a minority pursuit: a small number of people did study constructive mathematics, but many of these people were doing so in order to provide an outsider's understanding, a translation of constructive mathematics into something other than what it was originally intended. Professor McCarty's work challenged this move. It is also fair to say that he didn't just study constructive mathematics, he advocated it. It should be noted that he was far ahead of his time in this: these days, computer scientists who think about philosophical matters typically are advocates of constructive mathematics. So his contributions as a philosopher of mathematics and of logic will be increasingly more important in the future.

It is sometimes said that the highest form of teaching is iconoclasm. In this, Professor McCarty would be one of our greatest teachers in the philosophy of mathematics. He pioneered the reconsideration of the continuum. Mainstream mathematicians "know all about" the real numbers, since the foundations of the real number system were set by people in the 1800's. Professor McCarty demonstrated that the question of how to think about fundamental objects like the set of real numbers was not settled in a straightforward manner. Indeed, he and his Ph.D. student Lisa Keele (Lee Buckley) brought back from obscurity the views of Paul du Bois-Reymond and others. Even more striking was his reconsideration of the notion of finiteness in mathematics. In a move that he was uniquely qualified to make, he reformulated finiteness from a constructive point of view, obtaining results that were sometimes incompatible with classical mathematics.

Professor McCarty was a legendary if intimidating teacher. He had exacting standards and expected a lot of his students, but he was extraordinarily clear, and an inspirational teacher and entertaining lecturer, known for being very supportive of students and generous with his time. He taught a wide range of subjects, from mathematical logic, intuitionistic logic, computability, category theory, set theory, and the foundations and philosophy of mathematics to cognitive science, philosophy of language, the later Heidegger, Existentialism and Phenomenology, 19th century German philosophy, ancient philosophy, metaethics, political philosophy, aesthetics, and film and philosophy, among others. Recalling Professor McCarty, Joshua Alexander writes, “He was tough as nails but cared so much about our academic success. He would host these amazing weekly work groups with his logic students, which always ran into the night, and then we’d go out afterwards for drinks at Bear's Place, where we’d talk about logic and the profession, but also about music, which he loved almost as much as he loved logic and teaching. He invited us to participate in academic life from day one, but also demanded that we live up to what that invitation meant and that we take seriously what academic life was all about.” Professor McCarty was also notably successful as a dissertation supervisor, providing both encouragement and rigorous feedback, and seeing many students across the finish line. He was exceptionally proud of the accomplishments of his Ph.D. students.

A feeling for Professor McCarty’s philosophical views and expository skills can be gleaned from this short 24 minute interview on the limits of mathematical explanation.

Professor McCarty's illustrious career as a logician and philosopher of mathematics is a message that foundational matters are calls to action, that simple-minded slogans that 'everyone knows' are always worth examining, and that a life of passionate engagement with issues at the heart of mathematics and logic is a life very much worth living.

Professor McCarty leaves behind many students, colleagues, friends and family members who will miss him greatly.

The Indiana University Philosophy department has prepared a Memory Book for Professor McCarty. If you would like to contribute, please email Kirk Ludwig at ludwig@indiana.edu.

  • Faculty + Staff Intranet

Department of Philosophy social media channels

  • Facebook
  • Instagram
  • YouTube
  • College of Arts & Sciences
  • Department of Philosophy

The College of Arts & Sciences

Indiana University

Copyright © 2025 The Trustees of Indiana University

Accessibility | College Scorecard | Privacy Notice

The College of Arts & Sciences

  • about
    • Statement of Values
    • Minorities and Philosophy (MAP)
    • History
      • Philosopher’s Path
      • In Memoriam
    • About Bloomington
  • Directory
    • Faculty
    • Adjunct Faculty
      • Folder Name
    • Emeriti Faculty
    • Staff
    • Graduate Students
  • Undergraduate
    • Why Study Philosophy?
    • Majors & Minors
      • Philosophy B.A.
      • Philosophy & Political Science B.A.
      • Philosophy & Religious Studies B.A.
      • Philosophy Minor
      • Ethics Minor
      • Philosophy of the Arts Minor
      • Philosophy of Mind and Cognition Minor
      • Philosophy, Political Science, and Economics Minor
    • Courses
    • Curricular Pathways
      • Introductory Courses
      • Courses for Premed Students
      • Courses for Prelaw Students
      • Courses for Non-Majors
      • Intellectual Areas
      • Graduate School Pathways
    • Honors Program
    • Advising
    • Research Opportunities
    • Funding Opportunities
    • Scholarships & Awards
    • Student Activities & Experience
    • Career Preparation
      • Career Advising
      • Internships
      • Graduate School
      • Law, Medicine, + Business
    • Careers for Philosophy Students
  • Graduate
    • Philosophy Ph.D.
    • Philosophy Ph.D. Minors
    • Philosophy M.A.
    • Research Strengths + Graduate Courses
    • Funding Opportunities
    • Dissertations & Theses
    • Job Placement
    • Student Experience
    • How to Apply
  • Research
    • Faculty Research Areas
      • Metaphysics and Epistemology
      • Logic and Language
      • Mind
      • Value
      • History
      • Science
      • Work that Crosses Subfields
    • Books
    • Journal Articles & Book Chapters
    • Editorial Work + Translations
    • Graduate Research
    • Undergraduate Research
    • Undergraduate Journal + Symposium
    • Research Opportunities
    • Resources
  • Alumni & Giving
    • Stay Involved
    • Our Benefactors
    • Newsletter
      • Fall 2024
        • Chair’s Corner
        • Everyone is a Philosopher
        • Class Notes
        • Graduate Research Spotlight
        • What's Been Happening?
        • New Faculty
        • Honors and Awards
        • Lectures
        • Undergraduate Research Spotlight
        • Recent Alumni Research Spotlight
        • Featured Faculty Book Publications
  • News & Events
    • Departmental News
    • Award Winners
    • Colloquium Series
      • Archive
    • Philosophy in the News
  • Contact
  • Student Portal
    • Undergraduate
      • Philosophy B.A.
      • Philosophy & Political Science B.A.
      • Philosophy & Religious Studies B.A.
      • Minors
        • Minor in Philosophy
        • Minor in Philosophy of the Arts
        • Minor in Philosophy of Mind and Cognition
        • Minor in Philosophy, Political Science, and Economics
        • Minor in Ethics
      • Honors
    • Graduate
      • Philosophy Ph.D.
        • Areas & Subareas
        • Concentration Requirements
        • Distribution Requirements
        • Qualifying Exam
        • Candidacy
        • Dissertation
        • Graduation
      • Philosophy Ph.D. Minors
      • Philosophy M.A.
      • Funding
      • Forms
    • Courses