•  534
    Reuben Hersh confided to us that, about forty years ago, the late Paul Cohen predicted to him that at some unspecified point in the future, mathematicians would be replaced by computers. Rather than focus on computers replacing mathematicians, however, our aim is to consider the (im)possibility of human mathematicians being joined by “artificial mathematicians” in the proving practice—not just as a method of inquiry but as a fellow inquirer.
  •  518
    Could groups ever be an understanding subject (an epistemic agent ascribed with understanding) or should we keep our focus exclusively on the individuals that make up the group? The way this paper will shape an answer to this question is by starting from a case we are most willing to accept as group understanding, then mark out the crucial differences with an unconvincing case, and, ultimately, explain why these differences matter. In order to concoct the cases, however, we need to elucidate wha…Read more
  •  200
    Artificial Free Will: The Responsibility Strategy and Artificial Agents
    Apeiron Student Journal of Philosophy (Portugal) 7 175-203. 2016.
    Both a traditional notion of free will, present in human beings, and artificial intelligence are often argued to be inherently incompatible with determinism. Contrary to these criticisms, this paper defends that an account of free will compatible with determinism, the responsibility strategy (coined here) specifically, is a variety of free will worth wanting as well as a variety that is possible to (in principle) artificially construct. First, freedom will be defined and related to ethics. With …Read more
  •  31
    Understanding is a valued trait in any epistemic practice, scientific or not. Yet, when it comes to characterizing its nature, the notion has not received the philosophical attention it deserves. We have set ourselves three tasks in this paper. First, we defend the importance of this endeavor. Second, we consider and criticize a number of proposals to this effect. Third, we defend an alternative account, focusing on abilities as the proper mark of understanding.