LabCompass

Charles McCarty

Computer Science · Indiana University

OpenAlex
Logic, Reasoning, and KnowledgeComputability, Logic, AI AlgorithmsPhilosophy and Theoretical ScienceAdvanced Algebra and LogicLogic, programming, and type systems

Publications

34

Citations

651

Est. group size

—

Recurring co-author estimate

Active years

44

Publishing since 1981

Research summary
AI-generated

Charles McCarty works at the intersection of mathematical logic, the philosophy of mathematics, and the foundations of reasoning. Much of the research focuses on intuitionistic logic and mathematics—an approach that treats mathematical truth as tied to constructive proof rather than abstract existence—examining topics such as set theory, arithmetic, the axiom of choice, and satisfiability under this framework. Related work engages with philosophical questions in logic, including analyses of classic arguments and the writings of figures like Wittgenstein.

Intuitionistic (constructive) logic and mathematicsFoundations and philosophy of mathematicsMathematical logic and set theoryPhilosophical logic and reasoningHistory of logic and philosophy

Publication activity has been steady but low over the last decade, averaging roughly one item per year.

Generated by claude-opus-4-8 from public bibliographic data · Jul 11, 2026

Publication cadence
Publications per year over the last 10 years — averaging 0.6/year recently
172018: 1 publication182019: 1 publication192020: 1 publication202021: 2 publications2212022: 1 publication22232024: 2 publications2242526
Recent publications
Publishes in
  • ˜The œWestern Ontario series in philosophy of science×1
  • Bulletin of Symbolic Logic×1
  • The Philosophical Review×1
  • Studies in Logic Grammar and Rhetoric×1
  • Studia Logica×1

This profile was generated automatically from public scholarly data (OpenAlex). Group size and activity levels are estimates derived from co-authorship patterns.

Last updated Jul 11, 2026.

Claim or correct this profile