Goodman studies computational models of cognition, integrating logic and probability. He co-invented the probabilistic programming language Church and continues to develop novel inference techniques and applications. His work in cognitive science spans reasoning with concepts and intuitive theories; natural language semantics and pragmatics; social cognition; and cognitive development, especially the acquisition of abstract knowledge.