Corey Maley
Associate Professor
// Philosophy
Faculty
Associate Professor
// Cornerstone
Faculty
Office and Contact
Corey Maley is an associate professor of philosophy, coming to Purdue from the University of Kansas. He spent some years as an undergraduate at the University of Nebraska, quadruple-majoring in computer science, mathematics, philosophy, and psychology, and getting both a B.S. and a B.A. for all that effort. He then worked in a cognitive neuroscience lab at Washington University in St. Louis, where he learned to do real science, as well as appreciate that his talents primarily lie in being a philosophical consumer—rather than producer—of science. He then went to graduate school at Princeton University, getting his Ph.D. in the Logic and Philosophy of Science program in the philosophy department.
Corey’s primary focus is on foundational issues in the philosophy of computation and the sciences that use computation as a conceptual framework for understanding other phenomena. This means that the following questions get him excited: What is computation? What kinds of computation are there, besides digital computation? How can looking to the history of computation inform such questions? To what extent must an answer to these questions incorporate analog computation? Is there an answer to these questions that can form the basis for theories that takes minds and brains—both artificial and natural—to be computers themselves, in a literal, non-metaphorical sense? Can non-digital computation shed light on new ways to think about these questions?
Corey was fortunate enough to win an NSF Scholar Award to work on figuring out how to best start answering some of these questions, which he is writing in the form of a book manuscript, tentatively titled “The Analog Brain,” under contract with Oxford University Press.
AI Affiliation
Corey’s research is focused on foundational questions about the nature of computation, particularly how to incorporate analog and other forms of non-digital computation into a coherent conceptual framework for all computation. Part of the aim of this research is to understand how to unify the cognitive and neural computations posited by scientists to explain the nature of mentality, both artificial and natural. For example, neuroscientists routinely claim that certain parts of the brain literally perform computations, while researchers in artificial intelligence and machine learning deploy computational systems to perform increasingly sophisticated cognitive tasks. However, it is unclear what unifies—and justifies—the idea that all of these are literal (and not just metaphorical) computations. This is precisely where his research aims to shed some light.
Currently, Corey is working on characterizing a fuller account of analog computation and representation, showing how it is not necessarily simply a matter of computation over continuous values or variables. Actual analog computers from the twentieth century sometimes used discrete variables, yet they were not digital. Instead, analog computation is fundamentally a matter of use physical magnitudes—either continuous or discrete—to represent the magnitudes of variables, rather than using physical magnitudes to stand as codes for the digits of the values of variables. This makes analog computation much more closely tied to the physical nature of the implementing medium than digital computation, which is largely medium-independent. Other differences between analog and digital computation show that many features we assume to be necessary for computation are only necessary for one type of computation: digital. This is simply because analog computers have been almost completely replaced by digital computers, and as such, digital computation has been taken as the only type of computation there is. While it is true that analog computers are no longer manufactured for use in scientific, academic, or industrial applications (let along for home use), their theoretical importance for understanding computation in general has been neglected. Once we understand analog computation more fully, alongside digital computation, we can understand what computation is in general, such that analog and digital are two particular species, yet similar enough to count as among the same type (i.e., computation). This is where his research aims to shed some light.
Specialization
The philosophy of science, the philosophies of neuroscience, cognitive science, and computation.